13 suhted: Boole'i algebra, Digitaalloogika, Disjunktsioon, Eitus, Ekvivalents, Implikatsioon, Ja, Konjunktsioon, Lauseloogika, Loogika, Loogikavärav, Parajasti siis, kui, Propositsioon.
Boole'i algebra
Boole'i algebra on hulk koos sellel defineeritud kahe kommutatiivse, assiotsiatiivse, teineteise suhtes distributiivse ja neelduva binaarse algebralise tehtega, mida nimetatakse konjunktsiooniks (tähis ∧) ning disjunktsiooniks (tähis ∨), ja involutsioon, mis kannab nime eitus või täiend (tähis ¬).
Uus!!: Loogikatehe ja Boole'i algebra · Näe rohkem »
Digitaalloogika
Digitaalloogika on andmetöötluse süsteem, mis põhineb Boole'i algebra loogikatehetel.
Uus!!: Loogikatehe ja Digitaalloogika · Näe rohkem »
Disjunktsioon
Tehte \scriptstyle A \lor B Venni diagramm Tehte \scriptstyle A \lor B \lor C Venni diagrammDisjunktsioon ehk loogiline liitmine on binaarne loogikatehe: lausete A ja B disjunktsioon A\veeB loetakse vääraks parajasti siis, kui laused A ja B on mõlemad väärad ning tõeseks kõigil muudel juhtudel.
Uus!!: Loogikatehe ja Disjunktsioon · Näe rohkem »
Eitus
Loogikas nimetatakse propositsiooni eituseks ehk negatsiooniks selle propositsiooniga kontradiktoorset propositsiooni.
Uus!!: Loogikatehe ja Eitus · Näe rohkem »
Ekvivalents
Ekvivalents ehk bikonditsionaal ehk vastavus on loogikatehe, mis vastab seosele "...
Uus!!: Loogikatehe ja Ekvivalents · Näe rohkem »
Implikatsioon
A \rightarrow B. The circle on the left bounds all members of set A, and the one on the right bounds all members of set B. The red area describes all members for which the material conditional is true, and the white area describes all members for which it is false. The material conditional differs significantly from a natural language's "if...then..." statement. It is only false when both the antecedent A is true and the consequent B is false Implikatsioon ehk materiaalne implikatsioon on tõeväärtuste algebras ehk loogikaalgebras binaarne tehe, mille tulem on väär parajasti siis, kui tehte esimene operand on tõene ja teine operand on väär. Implikatsiooni saab tähistada järgnevalt.
Uus!!: Loogikatehe ja Implikatsioon · Näe rohkem »
Ja
Ja on sidesõna, mida loomulikus keeles (nt eesti keeles) kasutatakse muu hulgas konnektorina konjunktsiooni väljendamiseks.
Uus!!: Loogikatehe ja Ja · Näe rohkem »
Konjunktsioon
Konjunktsioon ehk loogiline korrutamine ehk "ning" on üks binaarne loogikatehe lauseloogikat sisaldavates sümbolloogika süsteemides.
Uus!!: Loogikatehe ja Konjunktsioon · Näe rohkem »
Lauseloogika
Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega (loogikatehteid).
Uus!!: Loogikatehe ja Lauseloogika · Näe rohkem »
Loogika
Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest.
Uus!!: Loogikatehe ja Loogika · Näe rohkem »
Loogikavärav
Loogikavärav (ingl logic gate) ehk loogikaelement on digitaalne elektroonikalülitus, mis sooritab Boole'i algebra operatsioone.
Uus!!: Loogikatehe ja Loogikavärav · Näe rohkem »
Parajasti siis, kui
"Parajasti siis, kui" ja "siis ja ainult siis, kui" on loomuliku keele väljendid, millega loogikas, matemaatikas, filosoofias ja nende rakendustes väljendatakse loogilist ekvivalentsi.
Uus!!: Loogikatehe ja Parajasti siis, kui · Näe rohkem »
Propositsioon
Propositsioon on lausesisu ehk lause tähendus, see mida uskumuse puhul usutakse, soovi puhul soovitakse, teadmise puhul teatakse jne, ehk teisisõnu propositsioonilise hoiaku sisu.
Uus!!: Loogikatehe ja Propositsioon · Näe rohkem »