next up previous contents
Next: Isomorfism (isomorphism) Up: No Title Previous: Interpretatsioon (interpretation)

Intuitsionistlik loogika (intuitionistic logic)

- filosoofiline suund matemaatikas, mis peab matemaatikas tõeseks vaid intuitsiooniga kooskõlas olevaid väiteid. Intuitsionistlikus loogikas on tuletatavad vaid need väited, mille jaoks leidub realisatsioon. Näiteks väide tex2html_wrap_inline445 on tõestatav vaid juhul, kui saab konstrueerida muutuja x konkreetse väärtuse tex2html_wrap_inline449 , nii et valemi tex2html_wrap_inline451 väärtus on tõene.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996