Logo
Unioonpeedia
Side
Hankige see Google Play
Uus! Lae Unioonpeedia oma Android ™!
Free
Kiiremini kui brauser!
 

Loogikatehe

Index Loogikatehe

Loogikatehe on loogikas tõefunktsionaalne tehe propositsioonidega.

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 »

Ümbersuunamised siin:

Loogiline tehe.

VäljuvSaabuva
Hei! Oleme Facebookis nüüd! »