Pengantar Intuisionistik: Logika Konstruktif

Logika intuisionistik, yang dikembangkan oleh L.E.J. Brouwer, menolak hukum tertutched ($\alpha \lor \neg \alpha$) sebagai prinsip universal. Dalam pandangan intuisionistik, suatu proposisi hanya dianggap benar jika kita dapat mengkonstruksi buktinya.

Perbedaan Fundamental

Dalam logika klasik:

Dalam logika intuisionistik, $\alpha \lor \neg \alpha$ hanya dapat diturunkan jika kita memiliki bukti untuk $\alpha$ atau bukti untuk $\neg \alpha$.

Interpretasi BHK (Brouwer-Heyting-Kolmogorov)

Interpretasi ini mendefinisikan makna logika melalui konstruksi:

• $P \land Q$: bukti untuk $P$ dan bukti untuk $Q$
• $P \lor Q$: bukti untuk $P$ atau bukti untuk $Q$ (plus informasi mana)
• $P \to Q$: metode untuk mengubah bukti $P$ menjadi bukti $Q$
• $\neg P$: bukti bahwa $P$ mengarah pada kontradiksi
• $\exists x P(x)$: konstruksi objek $a$ dan bukti $P(a)$
• $\forall x P(x)$: metode untuk mengkonstruksi bukti $P(a)$ untuk setiap $a$

Contoh Konkret

Misalkan kita ingin membuktikan $\exists n (n \text{ adalah bilangan prima dan } n > 10^{1000})$.

Dalam logika klasik, ini benar karena salah satu dari dua hal pasti benar: bilangan prima tersebut ada atau tidak ada.

Dalam logika intuisionistik, kita harus menunjukkan bilangan prima tersebut—yaitu, mengkonstruksinya secara eksplisit.

Artikel ini adalah bagian dari seri Logika Intuisionistik oleh Intuisionistik ID.