Mari kita masuk ke analisis logika implikasi. Pernyataannya adalah: Apabila tidak menyajikan makanan bergizi dan higienis, pedagang tidak boleh membuka warungnya. Kita misalkan P adalah menyajikan makanan bergizi dan higienis, dan Q adalah boleh membuka warung. Maka, pernyataan ini dapat kita tuliskan dalam bentuk logika sebagai negasi P maka negasi Q.