Önermlerin sadeleşmesi nasıl oluyor ?



Sagot :

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