ÇÖZÜMLEYİCİ ÇİZELGE KURALLARI
Adım sayısı
—q
Onerme
Kaynak
numarası
Çengel işareti
7. Değillenmİş Koşul Önermesinin Çözümleyici Çizelge Kuralı
• Değillenmiş koşul önermesi " -(p başlangıç önermesi olarak yazılır.
• De Morgan eş değerlik kuralına göre -(p q) - (p A -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.
Önerme
Adım sayısı
p
—q
Kaynak
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.
• 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 A -q) V (—p A 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.
Önerme
Adım sayısı
p
Çatal işareti
Kaynak
numarası
q
Çengel işareti
MEBİ KONU ÖZETLERİ
MANTIK - AYT
