ÖNERMELERİN DENKLİĞİ
Doğruluk değerleri aynı olan iki önermeye denk önermeler denir.
p ve q gibi iki önermenin doğruluk değeri aynı ise yani denk iseler p ≡ q şeklinde yazılır.
Örnek:
p : '' 4 x 3 = 12''
q : '' Bir yıl 12 aydır.'' önermeleri doğru olduklarından, p ve q nun doğruluk değeri 1 dir.
Bu durumda, p ≡ q ≡ 1 dir.
ÖNERMELERİN DEĞİLİ (OLUMSUZU)
Bir önermenin hükmünün değiştirilmesi ile elde edilen yeni önermeye önermenin
değili (olumsuzu) denir.
Bir p önermesinin olumsuzu p' şeklinde gösterilir.
Örnek:
p : '' 7 + 5 = 12'' önermesinin değili; p' : '' 7 + 5 ≠ 12'' biçiminde olur.