Loogikatehe
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:
- 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.
Vaata ka
Viited
Välislingid
This article uses material from the Wikipedia Eesti article Loogikatehe, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Sisu on kasutatav litsentsi CC BY-SA 4.0 tingimustel, kui pole öeldud teisiti. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Eesti (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.