gerekli koşul

Bir olayın meydana gelebilmesi için mutlaka var olması gereken, olmazsa olmaz koşuldur.

• Eğer $q$ gerçekleşmemişse $p$‘nin gerçekleşmesi imkânsızdır.

• “Eğer $q$ yoksa $p$ olabilir mi?” sorusuna verilen cevap “hayır” ise $q$, $p$ için gerekli bir koşuldur.

• $p$: Bir şekil karedir.
  $q$: O şeklin 4 kenarı vardır.

  • Bir şeklin 4 kenarı olması onun kare olması için gereklidir. Eğer bir şeklin dört kenarı yoksa o şeklin kare olma ihtimali sıfırdır.

• $p$: Bir sayı 10’a tam bölünür.
  $q$: O sayı çift sayıdır.

  • Bir sayının çift olması, 10’a tam bölünmesi için gereklidir.