T KİNLİK-'
Aşağıdaki tabloda boş bırakılan doldurunuz.
Önerme
l(p q)
(q pil q
Ana Eklem
SEMBOLİK MANTIK
Ana Bileşen
ÖNERMELERİN DOĞROLOK DEĞERLERİ
» Sembolik mantıkta har önerme farklı değer alır, Bunlar doğru ve yanlış değerleridir, Bir önermenin doğru Olduğunu
göstermek için yanlış olduğunu göstermek Çin • y- sembolü kullanılır, Bundan dolayı bil mantığa iki değerli nunt/k
denir,
Örnek
Spor vararildır.
» en fazla iki alabilir, Yandaki örnekle de
Oİbİ (Y j,
Doğruluk Tablosunun Kaç Satırdan 26 Formülüyle Bulunur.
önormo varsa 20.2 satır
o
önerme vatsa 22 4
önerme varsa 23 satır
ÖNERME EKLEMLERİ TEMEL DOĞRULUK ÇİZELGELERİ
Değineme Eklemi Değil)
» Değineme eklemi önüne geldiği önermenin değerini değiştirir,
Sembolik mantıkta "Ahmet çalışkandır." önermesine "p" sembolü verilin
"Ahmet çalışkan değildir," önermesi ise p'nin önüne (değil) işareti kona-
rak. "p'nin değil” olarak okunur. G p)
» p'nin doğru olduğu yerde —p yanlış olur Eğer bir önermenin önüne
işareti gelirse bu da çift değilleme olarak alınır ve p ile aynı değe-
ri taşır,
MANTIK