SEMBOLİK MANTIK

Verilen sembolleştirme anahtarına göre “Bütün pahalı arabalar hem güvenli hem de hızlıdır” önermesinin niceleme mantığındaki sembolleştirmesi aşağıdakilerden hangisidir?

F: a pahalıdır.

G: a arabadır.

H: a güvenlidir.

J: a hızlıdır.

Verilen çeviri anahtarına göre Ǝx(Fx ∧ Gx) ∴ ∀x(Gx → Hx) sembolik çıkarımının gündelik dile çevirisi aşağıdakilerden hangisidir?

F: a kanatlıdır.

G: a kuştur.

H: a canlıdır.

Verilen sembolleştirme anahtarına göre “Bazı canlılar hem denizde hem karada yaşar.” önermesinin niceleme mantığındaki sembolleştirmesi aşağıdakilerden hangisidir?

F: a canlıdır

G: a denizde yaşar

H: a karada yaşar

Verilen sembolleştirme anahtarına göre “Hiçbir sağlıklı insan mutsuz değildir” önermesinin niceleme mantığındaki sembolleştirmesi aşağıdakilerden hangisidir?

F: a sağlıklıdır.

G: a insandır.

H: a mutsuzdur.

Verilen çeviri anahtarına göre Ǝx(Fx ∧ (~Gx ∧ ~Hx)) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir?

F: a şarkıdır

G: a neşelidir

H: a üzüntülüdür