Test - 29
6.
3.
VxFx
2.
3x—Fx
1. —3xFx
vx-Fx (1)
-Fa(2)
Fa (3)
Yukarıdaki birlikte tutarlılık denetlemesi hakkında;
I. Niceleyici değilleme kuralı uygulanmıştır.
II. Tikel özelleme kuralı uygulanmıştır.
III. Tümel özelleme kuralı uygulanmıştır.
yargılarından hangileri doğrudur?
7.
8.
SEMBOLİK MANTIK
A) Yalnız I
D) III
B) Yalnız II
C) Yalnız III
E) ı, II ve III
9.
10.
11.
Yüklemler mantığında verilen bir önermenin denetlemesi
yapılırken öncelik sıralamasına göre ilk önce yapılacak
işlem aşağıdakilerden hangisidir?
A)
Tümel niceleyici değillemesi
B)
Tümel özelleme
C) Alt alta yazma
D)
Çatal açma
Tikel niceleyici değillemesi
E)
Niceleme mantığı aşağıdakilerden hangisi ile önerme
eklemleri mantığından ayrılmaktadır?
A)
B)
C)
D)
E)
"Yarın hava yağmurlu olacak." önermesi ne doğru ne de
yanlıştır. Bu önermelerin doğru ya da yanlış olması gelecekte
mümkündür. Fakat şu an için bir değer vermek imkansızdır.
Bu gibi durumlar dikkate alınarak doğru ve yanlış değerlerine,
belirsiz değeri eklenmiştir. Doğru ve yanlıştan başka belirsiz
diye bir doğruluk değeri öngören mantık sistemidir.
Bu parçada tanımlanan mantık aşağıdakilerden hangisidir?
A)
B)
C)
D)
E)
İki değerli mantık
Üç değerli mantık
Özdeşlik mantığı
Varlık mantığı
Sembolik mantık
Bir yargı bildirmesi
Çıkarım yapılabilmesi
İçyapısının sembolleştirilmesi
Tutarlılık denetlemesi yapılabilmesi
Ağaç yöntemi ile denetlenebilmesi
2.
(p q) (önc.)
1. p —q (önc.)
—q (—son.)
—p
q
(2)
İçinde x, y, z gibi ifadeler bulunan ve belli bir doğruluk
değerine sahip olmayan önermeye ne ad verilmektedir?
Bu çözümleme için aşağıdakilerden hangisi söylenebilir?
A)
B)
C)
D)
E)
Basit önerme
Özelleme Önermesi
Açık önerme
Gerçekleme önermesi
Bileşik önerme
A)
B)
C)
D)
E)
Çıkarım geçersizdir.
ikinci adım koşul önermesinin çözümlemesidir.
İlk işlem koşul ekleminin olumsuzdur.
Çıkarımı oluşturan önermeler birlikte tutarlı değildir.
Sonuç önermesi çift değillenmiştir.
288
