ÇÖZÜMLEYİCİ ÇİZELGE KURALLARI
ÇÖZÜMLEYİCİ ÇİZELGE KURALLARI
1. Tümel Evetleme Önermesinin Çözümleyici Çizelge Kuralı
• Tümel evetleme önermesi "p A q" başlangıç önermesi olarak yazılır.
• Onermenin sol tarafına adım sayısı olan (1), sağ tarafına (O) harfi yazılır.
• Her iki bileşen 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. Buna da kaynak numarası denir.
q (Ö) Önerme
Adım sayısı
p
Kaynak
numarası
q
Çengel İşareti
2. Tikel Evetleme Onermesinin Çözümleyici Çizelge Kuralı
• Tikel evetleme önermesi "p V q" başlangıç önermesi olarak yazılır.
• Önermenin sol tarafına adım sayısı olan (1), sağ tarafına (Ö) harfi yazılır.
• Önermenin altına çatal açılarak birinci bileşen çatalın sol tarafına ikinci bileşen çatalın sağ tarafına yazılır.
• Adım numarasının aynısı önermenin çözümünde çatalın ortasına yazılır. Buna da kaynak numarası denir.
Adım sayısı
p
Önerme
Çatal işareti
q
Kaynak
numarası
3. Koşul Onermesinin Çözümleyici Çizelge Kuralı
Koşul önermesi "p q" başlangıç önermesi olarak yazılır.
• Onermenin sol tarafına adım numarası olan (1) sayısı, sağ tarafına (O) harfi yazılır.
• De Morgan eş değerlik kuralına göre (p —q) (—p V q) olur.
• Onermenin altına çatal açılarak birinci bileşenin değili çatalın sol tarafına, ikinci bileşen ise çatalın sağ tarafına yazılır.
• Adım numarasının aynısı önermenin çözümünde açılan çatalın ortasına yazılır. Buna da kaynak numarası denir.
Adım sayısı
1)
-p
Kaynak
numarası
MEBİ KONU ÖZETLERİ
Onerme
Çatal işareti
q
MANTIK - AYT
