"Amaç için her yol mubah" mıdır?

KONU: «Amaç için her yol mubah» önermesinin irdelenmesi:

Matematik Lojik'ten:

(1) ¬[∀x ∈ A, P(x)] ⇔ ∃x ∈ A, ¬P(x)

(2) (yukarıdakinden elde edilir:) ¬[∀x ∈ A, ¬P(x)] ⇔ ∃x ∈ A, P(x)

Notasyon: ¬: değil; ∀: her, tüm; ∃: vardır, bazı.

A: yollar, P(x): x mubahtır alırsak:

(1): "Tüm yollar mubahtır"'ın tersi (değili) "Mubah olmayan bazı yollar vardır"

(2): "Hiçbir yol mubah değildir"'in tersi (değili) "Bazı mubah yollar vardır"

Dikkat! Yukarıdaki iki sözel ifade birbirinin tersi (değili) değildir.

SONUÇ: Ben, "Tüm yollar mubahtır"= yanlış (0) olduğunu kabul ediyorum. Bu durumda "Mubah olmayan bazı yollar vardır"= doğru (1) demiş oluyorum.

A.Şükran Demiralp – Mehmet Demiralp

Derleyen: AŞD