SEMBOLİK MANTIK
I. Aşağıdaki önermenin tutarlı lığmı denetleyiniz.
a) pu (p q) önerrnesi
(p q) Önermesi
2, Aşağıdaki önermelerin birbiriyh tutarlılıklarını
denetleyiniz,
—q
3. Aşağıdaki Önermenin geçerliliğini denetleyiniz.
(p q). '—p v q) önermesi
4. A.ağ'daki önermelerin denetleyiniz.
ÇÖZÜMLEYİCİ ÇİZELGE (LE DENETLEME
Önarrnamin veya çıkarımın bilaşon sayısı vo Oklomi SOrn•
bolleri arttıkça tablosuyla denetlem zorlaşır ve @zürn•
101110do uzun vo karmaşık bir yol olarak karşımıza çıkar, Mantıkta
bu uygulamadaki zorklğu kaldırmak için çözümleyk:.i çizel-
daha bir
miştir, Bu donotlomo yöntomino çözümleyici çIz0190 110 donotlo•
'ne denir,
Çözürnleyk.i çizelge ile denetleme işlemi bir veya birden lazla öner-
menin adım adım t*leşonlerine ayrılması, yani çözümmıesine da-
yanır.
» Çözümleyici çizelgede temel çözümleme kurallarının yanı sıra
türetilmiş çözümleme kuralları da vardır, Çözümlenw kuralla"-
büyük bölüntü , Önermelerin kendilerine eş değer
başka önermelere dönüştürülmesi yoluyla elde edilmiştir. Çözüm-
lame kurallarının elde edilmesinde onaya çıkan bu eş değerlikle-
re De Morgan Kuralları denin Bileşik önermelerin çözümlenmesi
için bu kurallar uygulanır, Bu kurallar çözümleyici çizelge ile do-
İşlernlerİnİn kolaylaştırır,
Eş Değerlikler (De Morgan Aranan)
L TÜMEL EVETLEME ÖNERMESİNİN ÇÖZÜMLEYİCİ ÇİZELGE KURALI
X;' başlangıç
Si olar* yazılır. Her iki bileşen alt alta yazılırve çengel
"1• işweti ile birleştirdir. Adım numarası aynısı önerme-
nin çözümünde çengelin sağ tarafına yazılır, Buna da
kaynak numarası denir,
Numarası
1. p A q (Ö) Önerme
(1) Kaynak Numarası
(alt alta yazma)
