Test - 26
1.
2.
3.
4.
l. —3xFx
vx—Fx
III
. —YxFx
IV.
Vx—Fx
SEMBOLİK MANTIK
3x—Fx,
—3xFx,
3x—Fx,
— VxFx
Yukarıda verilen numaralı önerme çiftlerinden hangileri
5.
6.
7.
I. — VxFx
II. — 3xFx
III.
Numaralı önermelerden hangileri niceleyici değilleme
önermesidir?
eş değerdir?
A) Yalnız II
D) II ve III
B) Yalnız IV
E)lveıv
C) ive III
A) I ve II
D
B) II ve III
E) ı, II ve III
D
Aşağıdaki sembolik ifadelerden hangisi tutarlıdır?
C) —pvq
E)
Eş değer Olan herhangi iki önerme hakkında aşağıdaki-
lerden hangisi kesinlikle söylenemez?
A) İkisi de geçersizdir.
B) ikisi de tutarlı olabilir.
C) İkisi de tutarsız olabilir.
D) İkisi de geçerli olabilir.
E) Biri geçerli diğeri tutarsızdır.
Bir açık önerme aşağıdaki özelliklerden hangisine sahip
olamaz?
Bu tabloda "?" olan kısma aşağıdaki önermelerden hangisi
yazılırsa iki önerme eş değer olur?
ı. —wxFx—3xFx]
4.
2.
3.
—Fa (3)
Fa (4)
VxFx:ş 3xFx önermesinin geçerlilik denetlemesi hakkında
aşağıdakilerden hangisi söylenemez?
A)
B)
C)
D)
E)
Önerme eklemine
Terime
Bir bağa
Değişkene
Doğruluk değerine
A)
B)
C)
D)
E)
Önerme geçerlidir.
İkinci adım niceleyici değillemesidir.
Üçüncü adım tümel özellemedir.
İlk önce alt alta yazma kuralı uygulanmıştır.
Tüm yollar kapalı olduğundan önerme geçersizdir.
281
