Loogikatehe
(Ümber suunatud leheküljelt Loogiline tehe)
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
Viited
Välislingid
🔥 Top keywords: Vikipeedia:EsilehtEri:OtsimineEri:Viimased muudatusedKategooria:Eesti näitlejadLeelo TungalMarko VeissonAnna-Magdaleena KangroEestiKirke KangroTartuMaarja KangroKategooria:Eesti kirjanikudUus-KaledooniaMittebinaarne sooidentiteet2024. aasta jäähoki maailmameistrivõistlusedEesti kirjanike loendRobert Fico5MIINUSTKeemiliste elementide loendKetserlusCarles PuigdemontRaimo KangroMartin VilligEric EdmeadesDominikaani VabariikLooduskaitse all olevad liigid EestisKategooria:Karl Ristikivi teosedEuroopa LiitSlovakkiaEsilehtPuumaSaksamaa linnade loendVõilillTeine maailmasõdaEesti Eurovisiooni lauluvõistluselIthaka MariaAmeerika Ühendriikide kirjanike loendMarkus VilligLumeleopard