Page 81 - Konu Özetleri AYT Mantık

ÇÖZÜMLEYİCİ ÇİZELGE KURALLARI

4. Karşılıklı Koşul Önermesinin Çözümleyici Çizelge Kuralı
• Karşılıklı koşul önermesi “p ⇔ q” başlangıç önermesi olarak yazılır.
• Önermenin sol tarafına adım numarası olan (1) sayısı, sağ tarafına (Ö) harfi yazılır.
• Karşılıklı koşul önermesi, De Morgan eş değerlik kuralına göre (p ⇔ q) ≡ [(p Л q) V ( ~p Л~q)] olur.

• Eş değerlik gereği önermenin altına çatal açılarak birinci ve ikinci bileşenin aynısı çatalın sol tarafına, birinci ve ikinci
bileşenin değili çatalın sağ tarafına yazıldıktan sonra çengel işareti ile birleştirilir.
• Adım numarasının aynısı önermenin çözümünde çatalın ortasına kaynak numarası olarak yazılır.

1.p ⇔ q (Ö) Önerme
Adım sayısı

(1) Çatal işareti

p ~ p
Kaynak
q ~q numarası

Çengel işareti

5. Değillenmiş Tümel Evetleme Önermesinin Çözümleyici Çizelge Kuralı

• Değillenmiş tümel evetleme önermesi “ ~(p Л q)” başlangıç önermesi olarak yazılır.
• Önermenin sol tarafına adım numarası olan (1) sayısı, sağ tarafına (Ö) harfi yazılır.
• De Morgan eş değerlik kuralına göre önerme ~(p Л q) ≡ ~p V ~q olur.
• Eş değerliği gereği önermenin altına çatal açılarak birinci bileşenin değili çatalın sol tarafına, ikinci bileşenin değili
çatalın sağ tarafına yazılır.
• Adım numarasının aynısı önermenin çözümünde çatalın ortasına kaynak numarası olarak yazılır.

1. ~(p Л q) (Ö) Önerme
Adım sayısı
(1)
Çatal işareti

~p ~q

Kaynak
numarası

6. Değillenmiş Tikel Evetleme Önermesinin Çözümleyici Çizelge Kuralı
• Değillenmiş tikel evetleme önermesi ~(p V q) başlangıç önermesi olarak yazılır.

• Önermenin sol tarafına adım sayısı olan (1) sayısı, sağ tarafına (Ö) harfi yazılır.
• De Morgan eş değerlik kuralına göre ~(p V q ) ≡ ~p Л ~q olur.
• Birinci ve ikinci bileşenin değili alt alta yazılır ve çengel “]” işareti ile birleştirilir.
• Adım numarasının aynısı önermenin çözümünde çengelin sağ tarafına kaynak numarası olarak yazılır.

MANTIK - AYT MEBİ KONU ÖZETLERİ 81