27 suhted: Algebra, Apofaasia, Boole'i algebra, Disjunktsioon, Eitav kõneliik, Ekvivalents, Identsus, Implikatsioon, Intuitsionistlik loogika, Jaatav kõneliik, Klassikaline loogika, Konjunktsioon, Kontradiktoorsus, Lauseeitus, Loogika, Loogikatehe, Operand, Pealause, Propositsioon, Tõesus, Tõeväärtus, Tehe, Unaarne tehe, Vastuolulisus, Väär, Väärus, Väitlause.
Algebra
Algebra (araabia sõnast al-džabr) on matemaatika haru, mis uurib tehteid (enamasti algebralisi tehteid) ja nende omadusi.
Uus!!: Eitus ja Algebra · Näe rohkem »
Apofaasia
Apofaasia on retooriline võte, mille puhul kõneldakse millestki läbi puuduoleva.
Uus!!: Eitus ja Apofaasia · Näe rohkem »
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!!: Eitus ja Boole'i algebra · 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!!: Eitus ja Disjunktsioon · Näe rohkem »
Eitav kõneliik
Eitav kõneliik ehk negatiiv on kõneliik, mis väljendab öeldisverbiga kirjeldatava tegevuse eitust, nt Kati ei läinud poodi.
Uus!!: Eitus ja Eitav kõneliik · Näe rohkem »
Ekvivalents
Ekvivalents ehk bikonditsionaal ehk vastavus on loogikatehe, mis vastab seosele "...
Uus!!: Eitus ja Ekvivalents · Näe rohkem »
Identsus
Identsus ehk samasus (keskaja ladina keele sõnast identitas, mis on tuletatud ladina sõnast idem 'sama', 'seesama') on filosoofias ja loogikas suhe, milles entiteet on iseendaga ja mitte ühegi teise entiteediga (arvuline identsus ehk numeeriline identsus).
Uus!!: Eitus ja Identsus · 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!!: Eitus ja Implikatsioon · Näe rohkem »
Intuitsionistlik loogika
Intuitsionistlik loogika (inglise intuitionistic logic) on mitteklassikaline loogika, millele pani aluse hollandi matemaatik Arend Heyting (1898-1980).
Uus!!: Eitus ja Intuitsionistlik loogika · Näe rohkem »
Jaatav kõneliik
Jaatav kõneliik ehk afirmatiiv on kõneliik, mis väljendab öeldisega kirjeldatava tegevuse jaatust.
Uus!!: Eitus ja Jaatav kõneliik · Näe rohkem »
Klassikaline loogika
Klassikaline loogika (inglise classical logic), ka standardloogika (inglise standard logic), on matemaatilise loogika osa, mis koosneb klassikalisest lauseloogikast ja predikaatloogikast.
Uus!!: Eitus ja Klassikaline loogika · Näe rohkem »
Konjunktsioon
Konjunktsioon ehk loogiline korrutamine ehk "ning" on üks binaarne loogikatehe lauseloogikat sisaldavates sümbolloogika süsteemides.
Uus!!: Eitus ja Konjunktsioon · Näe rohkem »
Kontradiktoorsus
Kontradiktoorsus on teatud tüüpi suhe kahe propositsiooni, otsustuse või väite vahel.
Uus!!: Eitus ja Kontradiktoorsus · Näe rohkem »
Lauseeitus
Lauseeitus on üks kahest kõneliigist (jaatav ja eitav kõneliik), mida laiemalt mõistetakse ühe tegusõna grammatilise kategooriana.
Uus!!: Eitus ja Lauseeitus · Näe rohkem »
Loogika
Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest.
Uus!!: Eitus ja Loogika · Näe rohkem »
Loogikatehe
Loogikatehe on loogikas tõefunktsionaalne tehe propositsioonidega.
Uus!!: Eitus ja Loogikatehe · Näe rohkem »
Operand
Operand on matemaatikas element, millega sooritatakse tehet.
Uus!!: Eitus ja Operand · Näe rohkem »
Pealause
Pealause on põimlause osa, mis on seda täpsustava kõrvallausega alistusseoses: Ma jooksin staadionil (pealause), MILLAL?: kui Mari mulle helistas (kõrvallause).
Uus!!: Eitus ja Pealause · 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!!: Eitus ja Propositsioon · Näe rohkem »
Tõesus
Tõesus on teatav omadus, mida omistatakse propositsioonidele, väidetele, mõtetele, uskumustele jne ning ka lausetele ja lausungitele.
Uus!!: Eitus ja Tõesus · Näe rohkem »
Tõeväärtus
Tõeväärtus on loogikas väärtus, mis iseloomustab propositsiooni suhet tõesse.
Uus!!: Eitus ja Tõeväärtus · Näe rohkem »
Tehe
Tehe ehk operatsioon on toiming, mis seab mingi kindla tulemuse kindlate eeskirjade järgi vastavusse ühe või enama matemaatilise objektiga (nt liitmine, jagamine, ruutjuure võtmine).
Uus!!: Eitus ja Tehe · Näe rohkem »
Unaarne tehe
Unaarne tehe ehk unaarne operatsioon on matemaatikas ainult ühe operandiga algebraline tehe.
Uus!!: Eitus ja Unaarne tehe · Näe rohkem »
Vastuolulisus
Vastuolulisus on propositsioonide kogumi omadus, mis seisneb selles, et on loogiliselt võimatu, et kõik sellesse kuuluvad propositsioonid oleksid tõesed.
Uus!!: Eitus ja Vastuolulisus · Näe rohkem »
Väär
Väär on üks tõeväärtustest.
Uus!!: Eitus ja Väär · Näe rohkem »
Väärus
Väärus on tõesusele vastandlik omadus, mida omistatakse propositsioonidele, väidetele, mõtetele, uskumustele jne ning ka lausetele ja lausungitele.
Uus!!: Eitus ja Väärus · Näe rohkem »
Väitlause
Väitlause ehk jutustav lause on sisult ja vormilt markeerimata lausetüüp.
Uus!!: Eitus ja Väitlause · Näe rohkem »