Erinevus lehekülje "Loogikatehe" redaktsioonide vahel

Eemaldatud 157 baiti ,  6 aasta eest
resümee puudub
'''Loogikatehe''' on [[tõefunktsionaalne tehe]] [[propositsioon]]idega.
'''Loogikatehe''' ehk [[lausearvutus]]e tehe on [[tehe]] ehk operatsioon, mida kasutatakse matemaatilise loogika lausetes või valemites. Loogikatehted on loogiline [[eitus]], [[konjunktsioon]] , [[disjunktsioon]], [[implikatsioon]] ja [[ekvivalents]]. Nendele tehetele vastavad lauses keelelised väljendused: <ref>Loogikatehted. EE, 5. kd, 1990, lk 627</ref>
 
*eitus ‒ eitussõna „ei“;
Loogikatehteid uurib [[lauseloogika]].
*konjunktsioon ‒ sidesõna „ja“ või „ning“;
 
*disjunktsioon ‒ sidesõna „või“;
Sagedamini kasutatavad loogikatehted on [[eitus]], [[konjunktsioon]], [[disjunktsioon]], [[implikatsioon]] ja [[ekvivalents]]. Nende tehete ligikaudsed väljendused loomulikus keeles on muu hulgas: <ref>Loogikatehted. EE, 5. kd, 1990, lk 627</ref>
*implikatsioon ‒ seos „kui …, siis …“;
*eitus ‒ eitussõna „ei“"ei";
*ekvivalents ‒ seos „…parajasti siis, kui …“.
*konjunktsioon ‒ sidesõna „ja“"[[ja]]" või „ning“"ning";
*disjunktsioon ‒ sidesõna „või“"või";
*implikatsioon ‒ seos „kui"kui …, siis …“…";
*ekvivalents ‒ seos „…parajasti"…[[parajasti siis, kui]] …“…".
 
Loogikatehted põhinevad [[Boole'i algebra]]l, kus [[muutuja]]tel saab olla ainult kaks väärtust: [[tõesus|tõene]] või [[väärus|väär]].
==Viited==
{{Viited}}
 
==Välislingid==
*[http://www.pld.ttu.ee/~priidu/courses/os/DigitalLogic.pdf Boole’iBoole'i funktsioonid]
[[Kategooria:Loogika]]