ÇÖZÜMLEYİCİ ÇİZELGE KURALLARI
4. Karşılıklı Koşul Onermesinin Çözümleyici Çizelge Kuralı
• Karşılıklı 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.
• Karşılıklı koşul önermesi, De Morgan eş değerlik kuralına göre (p q) - [(p A q) V ( -p îHl)] 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.
Adım sayısı
q
I.p q (Ö) Önerme
Çatal işareti
Kaynak
numarası
—q
Çengel işareti
5. Değillenmiş Tümel Evetleme Onermesinin Çözümleyici Çizelge Kuralı
• Değillenmiş tümel evetleme önermesi " -(p A 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 önerme -(p A 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.
Adım sayısı
-p
1. — p A q) (Ö) Önerme
Çatal işareti
-q
Kaynak
numarası
6. Değillenmİş 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 A -q olur.
• Birinci ve ikinci bileşenin değili alt alta yazılır ve çengel "l" 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İ
