Loogikatehe

See artikkel on esitatud liitmiseks artikliga Konnektor (keeleteadus). Lisateavet artikli arutelust

See artikkel vajab toimetamist. (Mai 2014) Palun aita artiklit toimetada. (Kuidas ja millal see märkus eemaldada?)

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.