Aof Panel

Soru 1

Aşağıdakilerden hangisi bir çelişki önermesidir?

Soru 2

p: Sartre varoluşçu bir düşünürdür.

q: Camus varoluşçu bir düşünürdür.

r: Sartre bir edebiyatçıdır.

s: Camus bir edebiyatçıdır.

t: Bütün varoluşçu düşünürler edebiyatın

felsefeden ayrılamayacağını savunmaktadır.

Soru 3

Yukarıdaki çözümleyici çizelgeye göre, aşağıdakilerden hangisi kesinlikle yanlıştır?

Soru 4

Aşağıdakilerden hangisi “Her cisim yer kaplar.” önermesi ile aynı yargıyı dile getirir?

Soru 5

Aşağıdakilerden hangisi “En az bir canlı omurgalıdır.” önermesi ile aynı yargıyı dile getirir?

Soru 6

Bir modelin evreni ya da taşıyıcı kümesi aşağıdakilerden hangisidir?

Soru 7

Aşağıdakilerden hangisi x(FA  (GB  Hx)) önermesinin denetlenebileceği bir modeldir?

Soru 8

“Hiçbir F G değildir.” önerme biçiminin sembolik karşılığı olan önerme aşağıdakilerden hangisidir?

Soru 9

A: Dünya

F: a bir gezegendir.

G: a yuvarlaktır.

Soru 10

S_M = {a, b}, F^M = {a}, G^M = {a,b}, A^M = a modeli verilmiş olsun, x (Fx  (GA  yFy)) önermesinin bu modelde doğruluk değerini denetlemek için oluşturulacak çözümleyici çizelgenin 1 numaralı kök noktasına yazılması gereken ifade aşağıdakilerden hangisidir?

Soru 11

Soru 12

Aşağıdaki önermelerden hangisi bir totolojidir?

Soru 13

Aşağıdakilerden hangisi niceleme mantığının formüllerinden biri değildir?

Soru 14

x (Gx  Fx) önermesinin {a, b} kümesindeki açılımı aşağıdakilerden hangisidir?

Soru 15

A: Descartes

F: a bir felsefecidir.

G: a bir matematikçidir.

H: a bir düşünürdür.

J: bir insandır.

Yukarıdaki sembolleştirme anahtarına göre, "Descartes bir felsefeci ve bir matematikçidir. O halde, Descartes bir düşünür değilse, hiçbir insan düşünür değildir." çıkarımının niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir?

Soru 16

x Fx ve y (HA  Fy) önermelerinin birlikte tutarlı olduğunu göstermek için oluşturulacak çözümleyici çizelgenin başlangıcı aşağıdakilerden hangisinde doğru olarak verilmiştir?

Soru 17

Aşağıdakilerden hangisi niceleme mantığında bir basit (atomik) formüldür?

Soru 18

x (Fx  yGy) önermesi aşağıdaki modellerden hangisinde yanlıştır?

Soru 19

Aşağıdaki tümcelerden hangisi bir önermedir?

Soru 20

SEMBOLİK MANTIK

Aşağıdakilerden hangisi bir çelişki önermesidir?

Aşağıdakilerden hangisi “Her cisim yer kaplar.” önermesi ile aynı yargıyı dile getirir?

Aşağıdakilerden hangisi “En az bir canlı omurgalıdır.” önermesi ile aynı yargıyı dile getirir?

Bir modelin evreni ya da taşıyıcı kümesi aşağıdakilerden hangisidir?

Aşağıdakilerden hangisi x(FA  (GB  Hx)) önermesinin denetlenebileceği bir modeldir?

“Hiçbir F G değildir.” önerme biçiminin sembolik karşılığı olan önerme aşağıdakilerden hangisidir?

S_M = {a, b}, F^M = {a}, G^M = {a,b}, A^M = a modeli verilmiş olsun, x (Fx  (GA  yFy)) önermesinin bu modelde doğruluk değerini denetlemek için oluşturulacak çözümleyici çizelgenin 1 numaralı kök noktasına yazılması gereken ifade aşağıdakilerden hangisidir?

Aşağıdaki önermelerden hangisi bir totolojidir?

Aşağıdakilerden hangisi niceleme mantığının formüllerinden biri değildir?

x (Gx  Fx) önermesinin {a, b} kümesindeki açılımı aşağıdakilerden hangisidir?

x Fx ve y (HA  Fy) önermelerinin birlikte tutarlı olduğunu göstermek için oluşturulacak çözümleyici çizelgenin başlangıcı aşağıdakilerden hangisinde doğru olarak verilmiştir?

Aşağıdakilerden hangisi niceleme mantığında bir basit (atomik) formüldür?

x (Fx  yGy) önermesi aşağıdaki modellerden hangisinde yanlıştır?

Aşağıdaki tümcelerden hangisi bir önermedir?

Aşağıdakilerden hangisi tümdengelimli mantığa göre geçerli bir çıkarımdır?

SEMBOLİK MANTIK

Aşağıdakilerden hangisi bir çelişki önermesidir?

Aşağıdakilerden hangisi “Her cisim yer kaplar.” önermesi ile aynı yargıyı dile getirir?

Aşağıdakilerden hangisi “En az bir canlı omurgalıdır.” önermesi ile aynı yargıyı dile getirir?

Bir modelin evreni ya da taşıyıcı kümesi aşağıdakilerden hangisidir?

Aşağıdakilerden hangisi x(FA  (GB  Hx)) önermesinin denetlenebileceği bir modeldir?

“Hiçbir F G değildir.” önerme biçiminin sembolik karşılığı olan önerme aşağıdakilerden hangisidir?

SM = {a, b}, FM = {a}, GM = {a,b}, AM = a modeli verilmiş olsun, x (Fx  (GA  yFy)) önermesinin bu modelde doğruluk değerini denetlemek için oluşturulacak çözümleyici çizelgenin 1 numaralı kök noktasına yazılması gereken ifade aşağıdakilerden hangisidir?

Aşağıdaki önermelerden hangisi bir totolojidir?

Aşağıdakilerden hangisi niceleme mantığının formüllerinden biri değildir?

x (Gx  Fx) önermesinin {a, b} kümesindeki açılımı aşağıdakilerden hangisidir?

x Fx ve y (HA  Fy) önermelerinin birlikte tutarlı olduğunu göstermek için oluşturulacak çözümleyici çizelgenin başlangıcı aşağıdakilerden hangisinde doğru olarak verilmiştir?

Aşağıdakilerden hangisi niceleme mantığında bir basit (atomik) formüldür?

x (Fx  yGy) önermesi aşağıdaki modellerden hangisinde yanlıştır?

Aşağıdaki tümcelerden hangisi bir önermedir?

Aşağıdakilerden hangisi tümdengelimli mantığa göre geçerli bir çıkarımdır?

S_M = {a, b}, F^M = {a}, G^M = {a,b}, A^M = a modeli verilmiş olsun, x (Fx  (GA  yFy)) önermesinin bu modelde doğruluk değerini denetlemek için oluşturulacak çözümleyici çizelgenin 1 numaralı kök noktasına yazılması gereken ifade aşağıdakilerden hangisidir?