klassisk logik
Sign in to saveAlso known as standard logic, Frege–Russell logic
class of formal logics
In the Vinony graph
Vinony's link graph records 683 inbound references to klassisk logik, and connects out to semantic theory of truth, mathematical logic and Boolean algebra.
It sits within the topics Classical logic, History of logic and Logic.
Vinony links it to 28 Wikipedia language editions.
Wikidata facts
- Part of
- logic
- Followed by
- non-classical logic
Show 5 more facts
- topic's main category
- Category:Classical logic
- Commons category
- Classical logic
- studied by
- computer science
- topic has template
- Template:Classical logic
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/classical-logic
Sources (3)
via Wikidata · CC0
Article · Svenska
Inom den klassiska logiken utgår man från att alla påståenden antingen är sanna eller falska. Det får som konsekvens att givet ett påstående P är utsagan P eller icke P en tautologi, det vill säga, alltid sann oberoende av vad påståendet P är, till exempel "Antingen regnar det eller så regnar det inte". Påståendet P eller icke P brukar kallas lagen om det uteslutna tredje. Som exempel på icke-klassisk logik kan nämnas intuitionistisk logik.
Abstract from DBpedia / Wikipedia · CC BY-SA