SEMBOLİK MANTIK
B. DEĞİLLENM(Ş ERKŞILIKLI EOşüL ÖNERMESİNİN ÇÖZÜMLEYİCİ ÇİZELGE ZURRLI
» karşlllkh koşul q) " baş- Adım
"angıç önermesi olarak yazılır. Karşılıklı koşul önermesi,
Nurnarası
De Morgan oş değerlik kuralıma göre —İp. q)
q) v (—p q) dur. Eş değerliği gereği önwrnenin altına
çatal açılır. çatalın sol tarafına alt alta birinci bileşen olan
Ön bileşenin kendisi art çata-
im sağ tarafina ise ön bileşeni değili ve altına art bileşe-
nin kendisi yazılarak çenge işaretiyle tirleştirilir Çatalın
Ortasına da alım numarasının aynısı kaynak nurnaraş'
olarak yazılır.
Kaynak
Çatal
ÇÖZÜMLEYİCİ ÇİZELGE İLE DENETLEME TRBLOSU
Alt Ana Yazma Kuralları
Tümel evetlemenin
çözümleme kural'
Tikel evetlemenin
değillernesinin
çözümleme kural'
Koşullu değillemOSİnİn
çözümleme kural'
Tikel evetlemenin
çözümleme kuralı
Tümel evetlemenin
değillemesinin
çözümleme kuralı
Koşullunun
çözümlomo kurall
Çatal Açma Kurallar
Karşı likl'
koşullunun
«jzümlenıe
kuralı
Karşil'kl'
koşullu
değillemosinin
çözümleme
kuralı
ÇÖZÜMLEYİCİ ÇİZELGE ADIMLARI
» Çözümlenecek Önerme, başlangıç Önermenin tarafına tarafıma (Ö) ham
» Çözümlenecek önermenin ana eklemi ve ana bileşenleri belitlonir,
» Çözümlenwde önce alt alta vazrna kural', g«lra *İtal açma kuralı uygulanır,
» Aymı çözümlenw kural' ile çözümlenecek önermeler varsa çözümlemeye ilk yazılan önermeden başlanır.
» Çözümlenw yapıldıkça önermelere sırasına göre kaynak numarası yazılır.
» Çatal açma kuralından sonra işlem devam ediyorsa çatalın sol tarafımdaki önermeden devam edilir,
» Çözümlem işlemine çekirdek &ıerrnelere (p, q, —p, ulaşıncaya kadar devam edilir.
» Her çözümlenmeden sonra yol üzerinde birbiriyle çelişen önerme olup olmadığına bakılır, Çözümlemeden sonra yol üzerin-
de birbiriyle çelişen önermeler varsa o yol 'x" işareti ile kapatılın Kapatılan yol üzerinde çözümlenmeyen önerme olsa bile ar-
tık İşlem yapılmaz, İşleme açık yollardan devam edilir, Çelişki, aynı bir Önermenin hem kendisinin hem de deği-
linin bulunması durumudur, Örneğin q ve —q önermesi birbiriyle çelişiktir,
