Test - 27
8.
Yukarıdaki doğruluk çizelgesi tablosu ile geçerliliği denetlenen
(p q), (p — q) q çıkarımı geçerlidir.
Buna göre çıkarımın geçerli olması;
I. Oncüller ile sonucun değilinin tutarlı olması,
II. Öncüller İle sonucun değilinin tutarsız olması,
III. Öncüller ile sonucun eş değer olması
koşullarından hangilerine bağlıdır?
9.
SEMBOLİK MANTIK
10.
11.
Aşağıdaki önermelerden hangisi açık önermedir?
A)
C)
D)
E)
Hava yağmurludur.
YxFx v 3xFx
x tek sayıdır.
Güneş doğarsa gündüz olur.
Aşağıdaki önermelerden hangisi basit önermedir?
A) Yalnız I
B) Yalnız II
D)lveıı
C) Yalnız III
E) II ve III
A)
B)
C)
D)
t/xFx Fa
vxFx — 3XFX
vx(Fx Gx)
_ Fa
12. 3xFx Fa önermesinin geçerlilik denetlemesi aşağıda-
kilerden hangisidir?
A) i . 3XFX Fa
—3xFx Fa
—Fa (2)
Fx(2)
—Fa (3)
2.
2.
3.
-exFx Fa)
3xFx
—Fb(2)
3XFX Fa
Geleceğe yönelik kurulan önermeler örneğin, "Yarın kar ya-
ğacak. " gibi bir önerme ne doğru ne de yanlıştır. Bu durumda
doğru veya yanlış değerlerin yanında başka değerlerin de
kabul edilmesi gerekir.
Bu parçada açıklaması yapılan mantık bölümü aşağıda-
kilerden hangisidir?
A)
B)
C)
D)
E)
İki değerli mantık
Sembolik nıantlk
Çok değerli mantık
Varlık mantığı
Özdeşlik mantığı
3xFx
E) 1. 3xFx—Fa
Fb
284
