Page 82 - Konu Özetleri AYT Mantık

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

1. ~(p V q) (Ö) Önerme
Adım sayısı
~p
(1) Kaynak
numarası
~q
Çengel işareti

7. Değillenmiş Koşul Önermesinin Çözümleyici Çizelge Kuralı
• Değillenmiş koşul önermesi “ ~(p ¡q)” başlangıç önermesi olarak yazılır.
• De Morgan eş değerlik kuralına göre ~(p ¡ q) ≡ (p Л ~q) olur.
• Eş değerliği gereği birinci bileşenin aynısı ile 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 yazılır.

1. ~(p ¡ q) (Ö) Önerme
Adım sayısı
p
(1) Kaynak
~q numarası

Çengel işareti

8. Değillenmiş Karşılıklı Koşul Önermesinin Çözümleyici Çizelge Kuralı
• Değillenmiş 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.

• De Morgan eşdeğerlik kuralına göre ~(p ⇔ q) ≡ [(p Л ~q) V (~p Л q)] olur.
• Eş değerliği gereği önermenin altına çatal açılır, çatalın sol tarafına alt alta birinci bileşen olan ön bileşenin kendisi ve
art bileşenin değili yazılırken çatalın sağ tarafına ise ön bileşenin değili ve altına art bileşenin kendisi yazılarak çengel
işaretiyle birleştirilir.
• Çatalın ortasına da adım numarasının aynısı kaynak numarası olarak yazılır.

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

(1) Çatal işareti

p ~ p
Kaynak
numarası
~ q q

Çengel işareti

82 MEBİ KONU ÖZETLERİ MANTIK - AYT