SEMBOLİK MANTIK
7.
3.
2.
Test - 25
-[WxFx) (
vxFx
++3x — Fx
—Fa (2)
6.
Fa (3)
7.
3x— Fx(4)
vxFx (5)
—Fa (6)
Fa (7)
9.
10.
II. pvq,p —q
III. p —q, —p q
Yukarıda verilen çıkarımlardan hangileri geçerlidir?
A) Yalnız I
B) Yalnız II
C) Yalnız III
VxFx, —3x — Fx önermelerinin çözümleme işlemi hakkında
aşağıdakilerden hangisi söylenebilir?
A)
B)
C)
D)
E)
8.
Verilen önermelerin eş değerliği denetlenmiştir.
Verilen önermelerin birlikte tutarlılığı denetlenmiştir.
Verilen önermelerin geçerliliği denetlenmiştir.
Verilen önermeler tutarsızdır.
Verilen önermeler bileşik önermedir.
(p—q), (—pvq)
E) III
Aşağıda ağaç yöntemiyle çözümlenmiş örneklerin hangi-
sinde geçerlilik denetlemesi yapılmıştır?
A)
(2)
p
B)
D)
2.
—p
q
q
2.
p
p
—p
q
q
q
Yukarıdaki çözümleme aşağıdaki denetleme türlerinden
hangisine Örnektir?
A)
B)
C)
D)
E)
Çıkarım
Tutarlılık
Eş değerlik
Tutarsızlık
Birlikte tutarlılık
280
