intuitionistinen logiikka
Kieliopillinen koodaus (suomi)
Sanaluokka | substantiivi |
Sanamuoto | |
Perussanatyyppi | |
Johdostyyppi | |
Yhdysosamuoto | |
Suku | |
Alkuperä |
klassiselle logiikalle vaihtoehtoinen logiikka, jossa ei hyväksytä mm. kolmannen poissuljetun lakia intuitiivisesti päteväksi
Sanaluokka | substantiivi |
Sanamuoto | |
Perussanatyyppi | |
Johdostyyppi | |
Yhdysosamuoto | |
Suku | |
Alkuperä |
Lähdeviittaus tähän sivuun:
Tieteen termipankki 20.04.2024: Nimitys:intuitionistinen logiikka.
(Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:intuitionistinen logiikka.)