4 önerme için 16 farklı doğruluk durumu vardır.
Demekki n farklı önerme için 2n tane doğruluk durumu vardır.
Önerme sayısı 1 ise 21=2
Önerme sayısı 2 ise 22=2.2=4
Önerme sayısı 3 ise 23=2.2.2=8
Önerme sayısı 4 ise 24=2.2.2.2=16
Şeklinde devam eder.
Denk Önermeler:
Doğruluk değerleri aynı olan önermelere denk önermeler denir. p≡q ile gösterilir.
Bir önermenin olumsuzuna önermenin değili denir. p’ gösterilir.
p≡1 iken p’≡0
p=0 iken p’≡1
Bir önermenin değilinin değili kendisidir.
p≡1 p’≡0 (p’)’≡1 olur.
Bileşik Önermeler
Önermeler birleştirilirken bağlaçlar kullanılır.
p,q önermeleri veya bağlacı ile birleştirilirse p veya q yani pvq olur. Veya’lar doğrulardan yanadır.
p
q
pvq
1
1
1
1
0
1
0
1
1
0
0
0
