Loogikatehe

Allikas: Vikipeedia
Jump to navigation Jump to search

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]