202
mantık, klasik/sembolik mantık, mantık felsefesi
A B ise A C'dir. (1)
A C'dir. A B'dir. İnsan bir hayvan ise o (insan) canlıdır.
(1)
İnsan canlıdır. O halde, insan hayvandır. A B ise C D'dir.
(2)
C D'dir. A B'dir. Yağmur yağıyorsa şemsiye açılır.
(2)
Şemsiye açılıyor. O halde, yağmur yağıyor. A B değilse A C değildir.
(3)
A C değildir. A B değildir. Hava soğuk değilse palto giyilmez.
(3)
Palto giyilmiyor. O halde, hava soğuk değildir. A B değilse C D değildir.
(4)
C D değildir. A B değildir.