Test - 24
1.
2.
3.
SEMBOLİK MANTIK
Bir bileşik önermenin bileşenleri D D veya Y Y doğruluk
değerlerini aldığında doğru olmasını sağlayan önerme
eklemleri;
I. Değilleme eklemi
II. Karşılıklı koşul eklemi
III. Tümel evetleme eklemi
IV. Koşul eklemi
bunlardan hangileridir?
4.
5.
6.
Her inşan çalışırsa başarır.
Kemal çalışıyor.
Öylese Kemal başarır.
Yukarıdaki çıkarımın niceleme mantığına göre sembolik
ifadesi aşağıdakilerden hangisidir?
A) ive II
A)
B)
C)
D)
E)
Bx, -3xBx Ba
vxÇx—Bx, ça Ba
'şxçx— 3XBx, ça Ba
3xçx-— ça Ba
D) ive III
q
D
B) II ve III
D
E) III ve IV
D
Aşağıdaki sembolik ifadelerden hangisinin ana eklemi
değilleme eklemidir?
p
D
Bu tabloda " ? " İle gösterilen alanlara
III.
IV.
doğruluk değerlerinden hangileri gelmelidir?
A)
B)
C)
D)
E)
4.
2.
3.
A) Yalnız I
B) Yalnız II
D) Yalnız IV
C) Yalnız III
E) Iveıı
vx(Fx Gx) Ö.
Fa ö.
— (Fxn Gx) (1)
(3)
x 5.Fa
Aşağıdaki ifadelerden hangisi (p q) biçiminde sembol-
leştirilebilir?
Birlikte tutarlılığın denetlendiği bu çözümlemede aşağı-
dakilerden hangisine yer verilmemiştir?
A)
B)
C)
D)
E)
Bilgisayar kullanımı kontrol edilirse faydalıdır.
Spor yap sağlıklı kal.
Spor yapan insanlar sağlıklıdır.
Ayhan ne spor yapar ne de düzenli beslenir.
Bilgisayar kursuna veya gitar kursuna gidilir.
A)
B)
C)
D)
E)
Niceliyici değillemesine
Tümel özellemeye
Çatal açmaya
Alt alta yazmaya
Koşullu önermenin çözümüne
