SEMBOLİK MANTIK
u. Yol
Sonucun değillemesi alınarak elde edilen önermelerin tutarlılığı denetlenin
Öncüller ve sonuç birbiriyle tutarlı ise çıkarım geçersiz, öncüller ve sonuç birbiriyle tutarsız ise çıkarım geçerlidir.
Örnek'.
Öncül
Öncü I
Sonuç
Öncüllerle Sonucun dağİlİ anda tutarsızdır, Çünkü Öncül İle değinenmiş Sonucun hiçbir Satırı doğrulardan
mıştır. Çıkarım geçerlidir.
ÖNERMELER MANTIĞINDA DENETLEMELER (ÖZET)
TUTARLILIK
TEK BİR ÖNERMENİN TUTARLILIĞI
2)) Bir
(doğruluk yorumunda) om az bir
varsa tutar"dır,
BİRDEN FAZLA ÖNERMENİN
TUTARLILIĞI
Önermeler en az bir kere ayrıl satırda
doğru değeri alırsa örurnoler birlikte
tutarlıdır
En az bir doğrulayıcı mumu
olan önerrrwler tutarlıdır,
Tüm yorumlamaları yanlış
olan önermeler tutarsızdır
Ve çelişkidir,
Tüm yorumlamaları doğru
olan önermeler geçerlidir
DENETLEMELER
Eş DEĞERLİLİK
ÖNERMENİN Eş
DEĞERLİLİĞİ
» Bir drAruIuk tablosunda
aym doğmalı*
önermol« eşdeğerdir.
UNUTMMRLIM
En az bir yanlış yorumu
Olan Önermeler geçersizdir,
Tüm yorumlamaları
olan önermeler eş değerdir,
Geçerli Olan her önerme
mutlaka tutarlıdır ve toto-
lojiktir,
GEÇERLİLİK
ÖNERMENİN GEÇERLİLİĞİ
» SOMIÇ tüm
d090rin d@ru Olmasıdır.
ÇIKARIMIN GEÇERLİLİĞİ
1, YCX: Öncülhli tümel ile,
nucxl koşul oklonüylo bağla sonuçta
tüm yorumlar ise geçerlidir.
2.YOL: Önciillerh sonucun aynı
anda
Tutar'ıysa qoçersizdir.
o
O
Tutarlı Olan hor önormo
geçerli değildir,
Tutarlı önerrne geçerli de
olabilir geçersizdir de.
Bütün geçerli ve tutar-
SIZ eş
Çünkü aym doğruluk de-
ğerlerini alırlar
MANTIK
