Loogikatehe on loogikas tõefunktsionaalne tehe propositsioonidega.
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.
Vaata ka
Viited
- ↑ Loogikatehted. EE, 5. kd, 1990, lk 627
You must be logged in to post a comment.