Loogikatehe
From Wikipedia, the free encyclopedia
Loogikatehe on loogikas tõefunktsionaalne tehe propositsioonidega.
 |
 | See artikkel vajab toimetamist. (Mai 2014) |
Loogikatehteid uurib lauseloogika.
Sagedamini kasutatavad loogikatehted on eitus, konjunktsioon, disjunktsioon, implikatsioon ja ekvivalents. Nende tehete ligikaudsed väljendused loomulikus keeles on muu hulgas:[1]
- eitus ‒ eitussõna "ei";
- konjunktsioon ‒ sidesõna "ja" või "ning";
- disjunktsioon ‒ sidesõna "või";
- implikatsioon ‒ seos "kui …, siis …";
- ekvivalents ‒ seos "…parajasti siis, kui …".
Lausearvutuses kasutatakse loogikatehteid selleks, et moodustada olemasolevatest lausearvutuse valemitest uusi valemeid.
Wikiwand in your browser!
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.
