MNT102U
SEMBOLİK MANTIK
2017-2018
Ara Sınav
T6K-1-6
Soru 1
p: Ahmet felsefe öğrencisidir.
q: Ahmet’in en başarılı olduğu ders mantıktır.
r: Ahmet bol alıştırma çözerek çalışır.
Soru 2
m. ((p
↔ r)
q)
m1 X (m)
m2 Y(m)
Soru 3
Aşağıdakilerden hangisi düzgün bir tümcedir?
Soru 4
Aşağıdaki önermelerden hangisi olumsal olarak doğrudur?
Soru 5
Aşağıdaki önermelerden hangisi mantıksal olarak doğrudur?
Soru 6
Aşağıdaki ifadelerden hangisi doğrusal bir önerme eklemi değildir?
Soru 7
Aşağıdaki önermelerden hangisi önermeler mantığı bakımından basit bir önermedir?
Soru 8
Aşağıdaki önermelerden hangisi “Bir cismin bırakılması yere düşmesi için yeterli koşuldur.” önermesi ile aynı yargıyı bildirir?
Soru 9
Aşağıdaki önermelerden hangisi bir çelişki önermesidir?
Soru 10
{x}
- {y}. soruları
aşağıdaki sembolleştirme anahtarına göre cevaplayınız.
p: Satranç kuralları karmaşıktır.
q: Dama kuralları karmaşıktır.
r: Satranç öğreticidir.
s: Dama öğreticidir.
t. Satranç eğlencelidir.
u: Dama eğlencelidir.
Soru 11
{x}
- {y}. soruları
aşağıdaki sembolleştirme anahtarına göre cevaplayınız.
Soru 12
{x}
- {y}. soruları
aşağıdaki sembolleştirme anahtarına göre cevaplayınız.
p: Tavuk kanatlıdır.
q: Güvercin kanatlıdır.
r: Bazı kanatlılar uçamaz.
s: Bazı kanatlılar uçabilir.
Soru 13
{x}
- {y}. soruları
aşağıdaki sembolleştirme anahtarına göre cevaplayınız.
Soru 14
m. X
n. (p ↔ q) (m) n. ~(p ↔ r)(m)
n+1. ~r (m) n+1. Y (m)
Soru 15
Bir çıkarımın geçerli olduğunu göstermek için çözümleyici çizelge yöntemine göre yapılması gereken aşağıdakilerden hangisidir?
Soru 16
{x}
- {y}. soruları
aşağıdaki çizelgeye göre cevaplayınız.
Soru 17
{x}
- {y}. soruları
aşağıdaki çizelgeye göre cevaplayınız.
Soru 18
Aşağıdaki tümcelerden hangisi bir önermedir?
Soru 19
Aşağıdaki önerme çiftlerinden hangisi birlikte tutarsızdır?
Soru 20