SEMBOLİK MANTIK
Tümel Evetleme Eklemi (A. ve)
» TİİrneI evetleme bileşenlerden İkisi
de doğruyken doğru, diğer bütün hâllerde yanlıştır.
Koşul Eklemi İse)
Koşul önermelerinde birinci bileşen ikinci bi-
laşen yanlışken önerme yanlış, diğer bütün hâller-
de doğrudur.
Aşağıdaki tabloyu uygun doğruluk
—q
Tikel Evetleme Eklemi ( V. veya)
» Tikel evetleme Önermesi, bileşenlerinden her İkisi
de yanlışken yanlış. diğer bütün hâllerde doğrudur,
Karşılıklı Koşul Eklemi
( ancak ve ancak)
» Karşılıklı koşul önermesinde bileşenlerden her ikisi
de aynı değerdeyken değerler-
devse önerme yanlıştır.
0
ÖNERMELER MANTIĞINDA DENETLEMELER
TUTARLILIK
TEK BİR ÖNERMENİN
TOTARuuĞ'
BİRDEN FAZLA ÖNERMENİN
TUTARLILIĞI
DENETLEMELER
Eş DEĞERLİLİK
ÖNERMENİN EŞ
DEĞERLİLİĞİ
GEÇERLİLİK
ÖNERMENİN
GEÇERLİLİĞİ
ÇIKARIMIN
GEÇERLİLİĞİ
