Test - 22
7.
8.
9.
SEMBOLİK MANTIK
3.
2.
4.
VxFx — 3xFx
vxFx
Fa (3)
—Fa (4)
10. 1
2.
12. 1
(2)
Yukarıda çözümlenmiş önerme hakkında aşağıdakilerden
hangisi söylenemez?
A)
B)
C)
D)
E)
Önerme tutarsızdır.
Niceleyici değillemesi yapıldı.
Tümel özelleme yapıldı.
Alt alta yazma kuralı uygulandı.
Tikel özeneme yapıldı.
Çözümlemesi tutarlı olan önerme aşağıdakilerden han-
gişidir?
A)
B)
C)
E)
p, q r çıkarımının geçerlilik denetlemesi hakkında;
I. (p q) r önermesi geçerli ise çıkarımda geçerlidir.
—r sonucu değillenmiş durumda tüm yollar
II. p, q
kapalıysa geçerlidir.
III. p, q r denetlediğimizde öncüller ve sonuç birlikte
tutarlıysa geçerlidir.
ifadelerinden hangileri doğrudur?
Aşağıdaki doğruluk değerlerini alan önermelerden han-
gisinin sonucu doğrudur?
A)
B)
C)
D)
E)
(p v q) önermesi ile (p q) önermesinin eş değerlik de-
netlemesinin içerdiği işlemler aşağıdakilerden hangisinde
uygulanmıştır?
A)
C)
D)
E)
A) Yalnız I
2.
B) Yalnız II
E) II ve III
D) ive III
(ö)
(ö)
Bu çözümlemede soru işaretlerinin olduğu yerlere gelecek
ifadeler sırasıyla aşağıdakilerden hangisidir?
274
