Soru 1
'Tüm mantıkçılar düşünür' önermesinin klasik mantıktaki sembolleştirmesi A ise, bu önermenin çelişiği olan önerme hangi harf ile sembolleştirilir?
- A
A: Tüm mantıkçılar düşünmez
- B
E: Hiçbir mantıkçı düşünmez
- C
I: Bazı mantıkçılar düşünür
- Doğru cevap
O: Bazı mantıkçılar düşünmez
- E
Hiçbiri
Çözüm
Klasik mantıkta, A tipi tümel olumlu önermenin çelişiği O tipi tikel olumsuz önermedir. 'Tüm mantıkçılar düşünür' (A) önermesinin çelişiği 'Bazı mantıkçılar düşünmez' (O) önermesidir. Bu nedenle doğru cevap O'dir.