Mine sisu juurde

Loogikatehe

Allikas: Vikipeedia

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.

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

Välislingid

[muuda | muuda lähteteksti]