Loogikatehe

Allikas: Vikipeedia
(Ümber suunatud leheküljelt Loogiline tehe)
Mine navigeerimisribale Mine otsikasti

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[muuda | muuda lähteteksti]

Viited[muuda | muuda lähteteksti]

  1. Loogikatehted. EE, 5. kd, 1990, lk 627

Välislingid[muuda | muuda lähteteksti]