Intuitsionistlik loogika
From Wikipedia, the free encyclopedia
From Wikipedia, the free encyclopedia
Intuitsionistlik loogika (inglise intuitionistic logic) on mitteklassikaline loogika, millele pani aluse hollandi matemaatik Arend Heyting (1898-1980).
Intuitsionistlikus loogikas ei tunnistata välistatud kolmanda seadust ega kahekordse eituse seadust (s.t väite eituse eitusest tulenevat jaatust).
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.