Doğru ya da yanlış hüküm bildiren ifadelere “önerme” denir.
Doğruluk değeri aynı olan önermelere denk önermeler denir.
Bir p önermesinin sonuna “değil” kelimesi getirerek hükmünün olumsuz yapılmasıyla elde
edilen yeni önermeye p önermesini olumsuzu (değili) denir.
En az iki önermenin “veya” , “ve” , “ise” , “ancak ve ancak” gibi bağlaçlardan en az birisi ile
birleştirilmesiyle elde edilen yeni önermelere “bileşik önermeler” denir.
P ile q önermelerinden oluşan “p v q” bileşik önermesi, p ile q önermelerinden az biri doğru iken
doğru, p ile q önermelerinden her ikisi de yanlış iken yanlıştır.
p ve q önermelerinden oluşan “p ^ q” bileşik önermesi , p ile q önermelerinden her ikisi
doğru iken doğru , diğer durumlarda yanlıştır.
^ ve v Bağlaçlarına Ait Özellikler
Tek Kuvvet Özelliği
pvp=p p^p=p
Değişme Özelliği
pvq=qvp p^q=q^p
Birleşme Özelliği
pv(q^r) v(p^q)vr
p^(qvr) ^(pvq)^r
Dağılma Özelliği
a) pv(q^r) =(pvq)^(pvr)
b) (p^q)vr =(pvr) ^(qvr)
De Morgan Kuralı
(pvq)' = p'^q' / (p^q)' = p'vq'
Totoloji ve Çelişki
Bir bileşik önermenin sonucu kendisini meydana getiren önermelerin bütün değerleri için 1
oluyorsa, bu bileşik önermeye totoloji; 0 oluyorsa, bu bileşik önermeye çelişki denir.
Hiç yorum yok:
Yorum Gönder