SEMBOLLEŞTİRME VE ÇEVİRİ
Bir gündelik dil önermesindeki her bir farklı basit önermeyi farklı bir önerme değişkeni ile eşleştiren bir listeye ne isim verilir?
Sembolleştirme anahtarı.
Bir önermenin mantıksal biçimini ortaya çıkarmak için gerekli olan ilk şey nedir?
Önermenin standart biçimde ifade edilmesidir.
Sembolleştirmenin birinci adımı, önermenin standart biçimde ifade edilmesidir. İkinci adımı nedir?
Standart biçimde geçen önerme eklemlerinin sembollerinin konmasıdır.
Sembolleştirmenin birinci adımı bir önermenin standart biçimde ifade edilmesidir. İkinci adımı ise standart biçimde geçen önerme eklemlerinin sembollerinin konmasıdır. Üçüncü adım nedir?
Sembolleştirmenin üçüncü adımı, basit önermelerin yerine, sembolleştirme anahtarında verilen karşılıkları olan, önerme değişkenlerinin yerleştirilmesidir.
Önermeler mantığının bir sembolik önermesinin gündelik dilde bir önerme olarak karşılığına ne isim verilir?
Önermenin gündelik dile çevirisi.
"Çeviri anahtarı" nedir?
Bir sembolik önermede geçen her bir önerme değişkeninin hangi gündelik dil önermesiyle karşılanacağını gösteren bir listeye “çeviri anahtarı” adı verilir.
Gündelik dile çevirme işleminde birinci adım nedir?
Verilen sembolik önermede, kısaltma amacıyla eksik bırakılmış parantezler yerine konur.
Gündelik dile çevirmede ikinci adım nedir?
Sembolik önermede geçen önerme değişkenleri yerine, çeviri anahtarında belirtilen gündelik dil önermeleri konur.
Gündelik dile çevirmede üçüncü adım nedir?
Önerme eklemi sembolleri yerine önerme eklemleri konur.
"Kadir yeterince spor yaparsa, kilo verebilir" önermesinin sembolleştirilmiş hali nasıl olur?
p → q
"Nazilli ya Aydın'ın bir ilçesidir ya da Denizli'nin bir ilçesidir" önermesinin sembolleştirilmiş hali nasıl olur?
p v q1. "Nazilli Aydın'ın bir ilçesidir" 2. "Nazilli Denizli'nin bir ilçesidir"
İki önerme "veya" önerme eklemi ile bağlanır.
"Bir yabancı dil öğrenmek için düzenli olarak çalışmak ve dili sıklıkla kullanmak gerekir" önermesinin sembolleştirilmiş hali nasıl olur?
p ∧ q → r
r → p ∧ q sembolleştirme işleminin eş değeri nasıl sembolleştirilir?
p ∧ q → r
"Schengen Vizesine veya yeşil pasaporta sahipsen, herhangi bir Avrupa ülkesine gidebilir ve oradan diğer Avrupa ülkelerine de geçebilirsin" önermesinin sembolleştirilmiş hali nasıl olur?
p v q → r ∧ s
"Cenk Cansu'yu seviyorsa ve Cansu Cenk'i seviyorsa, Cenk ve Cansu evlenecektir" önermesinin sembolleştirilmiş hali nasıl olur?
p ∧ q → r
"Hava soğuksa dışarı çıkmayıp evde oturacağız, ancak hava sıcaksa, dışarı çıkacağız" önermesinin sembolleştirilmiş hali nasıl olur?
(p → r ∧ s) ∴ (q → t)
Bir önermenin semantik statüsünün önermeler mantığı bakımından belirlenmesi ne demektir?
Önermenin, totoloji mi, çelişme önermesi mi, yoksa olumsal önerme mi olduğunun ortaya konması demektir.
Sembolleştirme ve gündelik dile çeviri işlemleri kesin kurallarla ortaya konamaz. Bunun sebebi nedir?
Gündelik dilin hem terim sayısı hem de tümce yapıları bakımından zenginliğidir.
Gündelik dile çevirme ve sembolleştirme arasındaki fark nedir?
Gündelik dile çevirme işlemi, sembolleştirme işleminin tersidir.
Bir çıkarımı denetlemek ne demektir?
Çıkarımın geçerli mi geçersiz mi olduğunun ortaya konması demektir.