SEMBOLİK MANTIK
7.
8.
9.
II.
III.
IV.
Test - 28
En az bir doğru yorumu Olan önerme tutarlıdır.
Tutarlı her önerme geçerlidir.
Yanlış yorumu Olan her önerme geçersizdir.
Eş değer önermelerin doğruluk değerleri aynıdır.
10.
Bu yargılardan hangileri yanlıştır?
A) Yalnız I
B) Yalnız II
C) Yalnız III
VxFx v 3xFx önermesinin geçerlilik denetlemesi yapıldı-
ğında 2. Adımda;
I. Tümel niceleyici değilleme kuralı
II. Tikel niceleyici değilleme kuralı
III. Tikel özelleme kuralı
IV. Tümel özelleme kuralı
işlemlerinden hangileri kullanılmış Olabilir?
A) Yalnız I
B) Yalnız II
D) Yalnız IV
vx(Fx— Hx)
C) Yalnız III
Vx(Fx Gx) bu basit önermenin E (a, b) evrenindeki
açılımı aşağıdakilerden hangisidir?
A)
B)
C)
E)
(Fa Gb) v (Fa Gb)
(Fa Ga) v (Fb Gb)
(Fa Ga) (Fb Gb)
(Fa Gb) (Fa Gb)
4.
6.
p
D
q
D
Yx(Fx Gx) öncül
Hx) öncül
2. sx— (Fx—Hx) (1)
5. FazGa(4)
_ Fa
7. Gaz. Ha (6)
(7)
Bu tablodan hareketle (—p v q) (p q) önermesi
hakkında;
I. geçerlidir.
II. tutarlıdır.
III. tutarsızdır
yargılarından hangileri doğrudur?
Geçerli olan bu çıkarımda aşağıdakilerden hangisine yer
verilmemiştir?
A) Yalnız I
D) I ve III
B) Yalnız III
E) ı, II ve III
286
A)
B)
C)
D)
E)
Tümel niceleyici değillenme kuralına
Tümel özelleme kuralına
Çatal açma kuralına
Alt alta yazma kuralına
Tikel niceleyici değilleme kuralına