Page 139 - 3 ADIM AYT FELSEFE GRUBU

MANTIK
AYT 2.
ADIM
Sembolik Mantık

1. Elektrikler kesilirse maçı izleyemeyiz. 4.
Maçı izliyoruz.
Öyleyse elektrikler kesilmedi.
Bu çıkarımın doğru sembolleştirilmesi aşağıdakilerden
hangisidir?
A) p ⇒ q, p ∴ q
Verilen doğruluk tablosuyla ilgili aşağıdaki yargılardan
B) ∼p ⇒ q, ∼p∴ ∼q hangisi yanlıştır?
C) p ⇒ q, ∼q ∴ ∼p A) II. önerme tutarsızdır.
D) p ⇒ q, ∼p ∴ ∼q B) IV. önerme tutarlı ve geçerlidir.
E) p ⇒ ∼q, q ∴ ∼p C) III, IV. ve V. önerme birlikte tutarlıdır.
D) I. ve III. önerme eşdeğerdir.

E) I. ve II. önerme birlikte tutarsızdır.

5. Aşağıdakilerden hangisi çözümleyici çizelge kurallarına
uygun değildir?

2. “Sen iyi olursan herkes iyi olur.” önermesi “p⇒q” şeklinde
sembolleştirilir.
Bu önerme aşağıdaki hangi durumda yanlış olur?
A) p doğru, q doğru

B) p yanlış, q yanlış
C) p doğru, q yanlış
D) p yanlış, q doğru
E) ∼p doğru, ∼q doğru

6.
3. Bir çıkarımın geçerli olup olmadığının denetlenmesi için öncüller
ile sonuç önermesinin değili alınır. Ortaya çıkan üç bağımsız
önermenin birlikte tutarlı olup olmadığına bakılır.
Buna göre “p ⇒ q, p ∨ q ∴ q” çıkarımı ile ilgili aşağıdaki
ifadelerden hangisi doğrudur?
Verilen çözümleme aşağıdaki önermelerden hangisine aittir?
A) Önermeler tutarsız ve çıkarım geçersizdir. A) ∼(p⇒q)
B) ∼p∧q
B) Önermeler tutarlı ve çıkarım geçerlidir.
C) ∼(p⇔q)
C) Önermeler tutarsız, çıkarım geçerlidir.
D) p⇔q
D) Önermeler tutarlı, çıkarım geçersizdir.
E) Önermeler eş değerdir, çıkarım geçersizdir. E) ∼p⇔∼q

137