SEMBOLİK MANTIK
G: a hata yapabilir.
H: a bir hatadır.
K: a kolay affedilir. ∀x (Fx → Gx) ∧ ∃y (Hy ∧ ~Ky) sembolik önermesinin gündelik karşılığı aşağıdakilerden hangisidir?
F: a Türkiye'de doğmuştur.
G: a doktordur.
H: a evrenseldir. Sembolik önermenin gündelik dildeki karşılığı nedir?
F: a renktir
G: a sıcaktır
A: Kırmızı
II.En az bir modelde yanlış olan bir önerme geçersizdir.
III.En az bir modelde doğru ve en az bir modelde yanlış olan bir önerme olumsaldır.
IV.Tutarlı ama geçersiz bir önerme olumsaldır.
V. Tüm modellerde doğru olan bir önerme geçersizdir.
Yukarıdaki bilgilerden hangisi yanlıştır?
II.İfadede geçen her yüklem sembolü yerine, sembolleştirme anahtarında verilen yüklem ifadesi küme parantezleri içine konur.
III.Niceleyiciler ve önerme eklemi sembolleri yerine gündelik dildeki niceleme ifadeleri ve önerme eklemleri konur.
Yukarıda verilen "Gündelik dile çeviri adımları"ndan hangisi veya hangileri doğrudur?
gündelik dile çevrilmiş hali aşağıdakilerden hangisidir?
F: a İlkçağda yaşamıştır.
G: a filozoftur.
H: a Anadolu’ludur.
sembolleştirme anahtarına göre sembolleştirilmiş hali aşağıdakilerden hangisidir?
F: a ilktir.
G: a canlıdır.
H: a üremiştir
II.Sembolik bir çıkarımı geçerli bir gündelik dil çıkarımına çevirmekle, o sembolik çıkarımın geçerli olduğu sonucuna varabiliriz.
III.Bir sembolik çıkarımın bir çeviri anahtarına göre gündelik dile çevirisi olan çıkarımın öncülleri doğru ancak sonucu yanlış ise, bu sembolik çıkarım geçersizdir.
Yukarıda Gündelik dile çevirinin semantik statüsü hakkında verilen bilgilerden hangisi veya hangileri doğrudur?
Behiç zengin ama, arkadaşları tarafından sevilmeyen bir insandır.” çıkarımını
aşağıdaki sembolleştirme anahtarına göre sembolleştirildiğinde şıklardan hangisi doğru olur?
F: a zengindir
G: a insandır.
H: a arkadaşları tarafından sevilir.
A: Behiç
F: a bir martı
G: a’nın kanadı vardır.
H: a serçedir.
G: a bir insandır.
A: Marie Curie
Yukarıdaki çeviri anahtarına göre, GA ∧ FA ∨ (~FA → ∀x (Gx → ~Fx)) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir?
G: a denizde yaşar.
H: a karada yaşar.
Yukarıdaki sembolleştirme anahtarına göre, “Bazı hayvanlar ne denizde yaşar ne de karada yaşar” önermesinin niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir?
G: a ısıtılır.
H: a buharlaşır.
Yukarıdaki sembolleştirme anahtarına göre, “Sıvılar ısıtıldığında buharlaşır” önermesinin niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir?