SEMBOLİK MANTIK
2. TİKEL EVETLEME ÖNERMESİNİN ÇÖZÜMLEYİCİ ÇİZELGE KURALI
Tikel evetleme önermesi "p V q” başlangıç önermesi
olarak yazılır Önermenin altına çatal açarak birinci bi-
leşen çatalın sol tarafına, ikinci bileşen çatalın sağ ta-
rafina yazılır. Adım numarasının aynısı önermenin çö-
Buna da kaynak
numarası denir,
| p V q (Ö) Öne rn•w
Numarası
(l) Kaynak Numarası
Çatal
3. goşüL ÖNERMESİNİN Çö7üMLEYic( ÇİZELGE KURALI
Koşul önermesi "p q" başlmgıç önermesi olarak
De aş değerlik p q
—pv q Olur. Önermenin altına çatal açarak birinci bi-
Eşenin değili çatalın tarama ve *inci bileşen ise
çatalın sağ tarama yazılır, Adım numarasının aynısı
önermenin çözümünde çatalın ortasına yazılır, Buna
da kaynak denir,
I p q (Ö) Ö rwrme
Numarası
(1) Kaynak Numarası
Çatal
q. ERRŞILIKLI EOşüL ÖNERMESİNİN ÇÖZÜMLEYİCİ ÇİZELGE ZURRLI
» Karşılıklı koşul önemwsi "p q" başlangıç önernw
si olarak yazılır, Karşılıklı koşul önermesi, De
kuralına "Öre q) p, (—p
Olur. Eş gereği örwrrnenin altına çatal açarak
birinci ve ikiru:i bileşenin aynısı çatalın sol tarama, b$
rinci ve ikinci bileşenin değili çatam sağ tMafina ya-
zılarak çengel işareti ile birleştirilir. Adım
aynısı önemenin çözümümle çatalın ortasına kaynak
numarası olarak yazılır.
Adım
| p q (Ö) Önerrrw
Numarası
çalal
Kaynak Numarası
S. OEĞİLLENMİŞ TÜMEL EVETLEME ÖNERMESİNİN ÇÖZÜMLEYİCİ ÇİZELGE KURALI
Değillenmiş örwrmesi başlan-
gıç önornwsi olarak yazdır. De Morgan eş değerlik kura-
göre -(pnq). —pv-q olur, Eş "r-
menin altına çatal açarak binci t*lepnin çatalın
sol tarafıma, ikinci biloşomin th-ğib çatalın sağ tMafma
çatalın ortasına kaynak numarası olarak yazılır.
Adim
1. q) (Ö) Önerme
Kaynak Numuas•
çata
DEĞİLLENMİŞ TİZEL EVETLEME ÖNERMESİNİN ÇÖZÜMLEYİCİ ÇİZELGE KURALI
» O"llonrniş tikel ovotlonw önermesi (p v q)" başlangıç &ıormosi
olarak yazılır De Morgan eş dqğellik kuralına göre — (p v q). —p A—
q Olur, Birinci ve ikici bileşenin değili alt alta yazılır ve çenwl "l"
reti ile birleştirilir, Adım numarasının aynısı önermenin çözümümde ça-
kaynak yazılır,
Adım
| _ (p V q) (Ö) Önerme
Numarası
i. DEĞİLLENMİŞ KOŞUL ÖNERMESİNİN ÇÖZÜMLEYİCİ ÇİZELGE EURRLI
Wilenmiş koşul önermesi (p q)" başlangç Merrnesi olMak yazılır. Karşılıklı koşw önermeş.
eş değerlik kuralına göre — (p q) p h— q EŞ birinci ay-
nısı ile ikinci bileşenin değili at alta yazılır ve çengel "I” işaret ile birleştirdir. Adım numarasının aynısı
önermenin çözümünde çelWin sağ tarafıma yazılır,
MANTIK
