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

Eitus

Index Eitus

Loogikas nimetatakse propositsiooni eituseks ehk negatsiooniks selle propositsiooniga kontradiktoorset propositsiooni.

64 suhted: Aleetilised modaalsused, Aristoteles, Ateism, Augustus De Morgan, Šona keel, Üldisuskvantor, Boole'i algebra, Brendan Balcerak Jackson, Busa keel, Charles Sanders Peirce, De docta ignorantia, De interpretatione, Disjunktsioon, EI, EI-loogikaelement, Eitav kõneliik, Ekvivalents, Enesestmõistetavus, Ethics and Language, Eve keel, Fact, Fiction, and Forecast, Filosoofia mõisteid, Filosoofiline loogika, Gottlob Frege, Hassaniija keel, Hüüumärk, Intuitsionistlik loogika, Kategooriad, Kõneliik, Konjunktsioon, Konnektor (keeleteadus), Kontradiktoorsus, Laenamine (muusika), Lauseeitus, Loogikatehe, Maasai keel, Matemaatiliste sümbolite loend, Mõistekiri, MD5, Meaning and Knowledge, Metafüüsika (Baumgarten), Neljas meditatsioon, NING-EI, Njandža keel, Otsustus, Philosophy of Mathematics: An Introduction, Pierre Abélard, Principia Ethica, Rööpvärat, Rundi keel, ..., Space and Time, Täiendkood, Tõeväärtus (andmetüüp), Teine analüütika, Termin (loogika), The Refutation of Idealism, Unaarne tehe, Vabadus, Valetaja paradoks, Vastuolulisus, Väitlause, Välistatud kolmanda seadus, VÕI-EI, Verilog. Laienda indeks (14 rohkem) »

Aleetilised modaalsused

Aleetilised modaalsused on paratamatu tõesusega seotud modaalsused.

Uus!!: Eitus ja Aleetilised modaalsused · Näe rohkem »

Aristoteles

Aristoteles. Koopia Lysippose (4. sajand eKr) kaotsiläinud pronksskulptuurist (1.–2. sajand pKr). Louvre. Aristoteles (384 eKr Stageira – 7. märts 322 eKr Chalkis) oli vanakreeka filosoof, polühistor, Platoni õpilane, Aleksander Suure õpetaja.

Uus!!: Eitus ja Aristoteles · Näe rohkem »

Ateism

Ateism (vanakreeka sõnast ἄθεος atheos, 'jumalata') on laias mõistes usu puudumine Jumala või jumalate olemasolusse.

Uus!!: Eitus ja Ateism · Näe rohkem »

Augustus De Morgan

Augustus De Morgan (27. juuni 1806 Madura, India – 18. märts 1871 London, Inglismaa) oli inglise matemaatik ja loogik, kelle töö on loogikaõpetuse jaoks väga oluline olnud.

Uus!!: Eitus ja Augustus De Morgan · Näe rohkem »

Šona keel

Šona keel on Nigeri-Kordofani hõimkonna Bantu S-rühma keelte hulka kuuluv keel, mida kõneldakse peamiselt Zimbabwes.

Uus!!: Eitus ja Šona keel · Näe rohkem »

Üldisuskvantor

Üldisuskvantor (sümbol \forall) on predikaatloogikas sümbol, mille abil väljendatakse, et miski on tõsi kõige kohta (või kõige asjasse puutuva kohta).

Uus!!: Eitus ja Üldisuskvantor · 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 »

Brendan Balcerak Jackson

Brendan Balcerak Jackson on Ameerika Ühendriikide filosoof, Miami Ülikooli dotsent.

Uus!!: Eitus ja Brendan Balcerak Jackson · Näe rohkem »

Busa keel

Busa keel on mande keelkonda ja Nigeri-Kordofani hõimkonda kuuluv Nigeerias kasutatav keel.

Uus!!: Eitus ja Busa keel · Näe rohkem »

Charles Sanders Peirce

Charles Sanders Peirce umbes 1870 Charles Sanders Peirce (10. september 1839 Cambridge (Massachusetts) – 19. aprill 1914) oli USA filosoof ja mitmekülgne teadlane, polühistor, sealhulgas loogik ja matemaatik.

Uus!!: Eitus ja Charles Sanders Peirce · Näe rohkem »

De docta ignorantia

"De docta ignorantia" ("Õpetatud mitteteadmisest") on Nicolaus Cusanuse teos.

Uus!!: Eitus ja De docta ignorantia · Näe rohkem »

De interpretatione

"De interpretatione" (vanakreeka keeles Περὶ ἑρμηνείας (Peri hermeneias)) on Aristotelese teos, osa Organonist.

Uus!!: Eitus ja De interpretatione · 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 »

EI

EI võib tähendada.

Uus!!: Eitus ja EI · Näe rohkem »

EI-loogikaelement

EI-loogikaelement (ingl k NOT gate või inverter) on ühe sisendi ja ühe väljundiga loogikaelement, mis realiseerib loogilise eituse tehet.

Uus!!: Eitus ja EI-loogikaelement · 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 »

Enesestmõistetavus

Enesestmõistetavus ehk iseenesestmõistetavus ehk iseenesest teada olek (ladina keeles esse per se notum, inglise keeles self-evidence) on filosoofias propositsiooni (mõtte, väite) omadus, mis seisneb selles, et sellest pole võimalik aru saada ilma teadmiseta, et see on tõene.

Uus!!: Eitus ja Enesestmõistetavus · Näe rohkem »

Ethics and Language

"Ethics and Language" ("Eetika keel") on Charles Stevensoni filosoofiline teos.

Uus!!: Eitus ja Ethics and Language · Näe rohkem »

Eve keel

Eve keelt, mida nimetatakse ka ewe või éwé keeleks, kõneldakse Aafrikas, täpsemalt Togos ja Ghana kaguosas.

Uus!!: Eitus ja Eve keel · Näe rohkem »

Fact, Fiction, and Forecast

"Fact, Fiction, and Forecast" on Nelson Goodmani filosoofiline raamat.

Uus!!: Eitus ja Fact, Fiction, and Forecast · Näe rohkem »

Filosoofia mõisteid

Siin on loetletud filosoofia mõisteid.

Uus!!: Eitus ja Filosoofia mõisteid · Näe rohkem »

Filosoofiline loogika

Filosoofiline loogika (inglise philosophical logic) on ratsionaalse mõtlemise filosoofiline uurimine.

Uus!!: Eitus ja Filosoofiline loogika · Näe rohkem »

Gottlob Frege

Frege (umbes 1879) Friedrich Ludwig Gottlob Frege (8. november 1848 Wismar – 26. juuli 1925 Bad Kleinen) oli saksa matemaatik, loogik ja filosoof, keda peetakse tänapäeva matemaatilise loogika rajajaks.

Uus!!: Eitus ja Gottlob Frege · Näe rohkem »

Hassaniija keel

Hassaniija keel on araabia keele murre, mis on Mauritaania araabiakeelsete elanike, enamasti beduiinide emakeel.

Uus!!: Eitus ja Hassaniija keel · Näe rohkem »

Hüüumärk

Hüüumärk Hüüumärk (!) on kirjavahemärk, mida kasutatakse tavaliselt lause lõpus lause rõhutamiseks.

Uus!!: Eitus ja Hüüumärk · 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 »

Kategooriad

"Kategooriad" (vanakreeka keeles Περὶ τῶν κατηγοριῶν (Perì tṓn katēgoriṓn), ladina keeles Categoriae) on Aristotelese teos.

Uus!!: Eitus ja Kategooriad · Näe rohkem »

Kõneliik

Kõneliik on tegusõna grammatiline kategooria, mille liikmed on eesti keeles ja paljudes teistes keeltes jaatav kõne (afirmatiiv) ja eitav kõne (negatiiv).

Uus!!: Eitus ja Kõneliik · 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 »

Konnektor (keeleteadus)

Konnektoriks ehk konnektiiviks nimetatakse formaalse keele või loomuliku keele loogilisi konstante, mille abil lausetest moodustatakse liitlauseid.

Uus!!: Eitus ja Konnektor (keeleteadus) · 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 »

Laenamine (muusika)

Laenamine (inglise keeles borrowing) on muusika kompositsioonimeetod, mille puhul uues muusikas kasutatakse olemasoleva materjali või printsiipi.

Uus!!: Eitus ja Laenamine (muusika) · 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 »

Loogikatehe

Loogikatehe on loogikas tõefunktsionaalne tehe propositsioonidega.

Uus!!: Eitus ja Loogikatehe · Näe rohkem »

Maasai keel

Maasai keel ehk masai keel (maasai keeles ɔl Maa) on Niiluse-Sahara keelehõimkonna Ida-Niiluse harusse kuuluv keel, mida räägitakse Lõuna-Keenias ja Põhja-Tansaanias.

Uus!!: Eitus ja Maasai keel · Näe rohkem »

Matemaatiliste sümbolite loend

Siin on valik sümboleid matemaatika eri valdkondadest.

Uus!!: Eitus ja Matemaatiliste sümbolite loend · Näe rohkem »

Mõistekiri

"Mõistekirja" tiitelleht "Mõistekiri" ("Begriffsschrift") on Gottlob Frege umbes 80-leheküljeline raamat loogikast.

Uus!!: Eitus ja Mõistekiri · Näe rohkem »

MD5

MD5 (ingliskeelsest nimest Message Digest 5) on levinud räsifunktsioon, mille väljundiks on 128-bitine kontrollsumma (ingl. checksum).

Uus!!: Eitus ja MD5 · Näe rohkem »

Meaning and Knowledge

"Meaning and Knowledge" ("Tähendus ja teadmine") on Hilary Putnami 1976.

Uus!!: Eitus ja Meaning and Knowledge · Näe rohkem »

Metafüüsika (Baumgarten)

"Metafüüsika" ("Metaphysica") on Alexander Gottlieb Baumgarteni ladinakeelne teos.

Uus!!: Eitus ja Metafüüsika (Baumgarten) · Näe rohkem »

Neljas meditatsioon

Neljas meditatsioon on René Descartesi teose "Meditatsioonid esimesest filosoofiast" neljas peatükk.

Uus!!: Eitus ja Neljas meditatsioon · Näe rohkem »

NING-EI

NING-EI (ingl k NAND sõnadest not and) on konjunktsiooni eituse loogikatehe (Shefferi funktsioon).

Uus!!: Eitus ja NING-EI · Näe rohkem »

Njandža keel

Njandža keel on Nigeri-Kordofani hõimkonda Bantu keelte hulka kuuluv keel.

Uus!!: Eitus ja Njandža keel · Näe rohkem »

Otsustus

Otsustus (inglise keeles judgment, saksa keeles Urteil) on loogikas mõtlemisvorm, milles midagi jaatatakse või eitatakse, st tunnistatakse (mõttes) mingi propositsioon tõeseks või vääraks.

Uus!!: Eitus ja Otsustus · Näe rohkem »

Philosophy of Mathematics: An Introduction

"Philosophy of Mathematics: An Introduction" on David Bostocki filosoofiline raamat, mis ilmus 2009.

Uus!!: Eitus ja Philosophy of Mathematics: An Introduction · Näe rohkem »

Pierre Abélard

Jean Vignaud. Abélard ja Héloïse Fulberti poolt üllatatuna. Õli lõuendil, 1819 Abélard ja Héloïse ühes "Roosiromaani" käsikirjas, Chantilly, musée Condé (14. sajand) Pierre Abélard (ladinapäraselt Petrus Abaelardus; umbes 1079 Le Pallet Nantes'i lähedal – 21. aprill 1142 Saint-Marceli klooster Chalon-sur-Saône'i lähedal) oli prantsuse skolastiline filosoof ja teoloog.

Uus!!: Eitus ja Pierre Abélard · Näe rohkem »

Principia Ethica

"Principia Ethica" on 1903.

Uus!!: Eitus ja Principia Ethica · Näe rohkem »

Rööpvärat

Paralleelport (rööpvärat, rööpport) on liides, mida kasutatakse erinevate välisseadmete ühendamiseks arvutiga.

Uus!!: Eitus ja Rööpvärat · Näe rohkem »

Rundi keel

Rundi keel on bantu keelte hulka kuuluv keel, mis on Ida-Aafrikas asuva Burundi Vabariigi rahvuskeeleks (koos prantsuse keelega).

Uus!!: Eitus ja Rundi keel · Näe rohkem »

Space and Time

"Space and Time" on Richard Swinburne'i filosoofiline raamat.

Uus!!: Eitus ja Space and Time · Näe rohkem »

Täiendkood

Täiendkood on kahendarv, mis saadakse, kui otsekoodi madalamad (väiksema kohakaaluga) kohad kopeeritakse (kirjutatakse ümber) kuni esimese 1-ni kaasa arvatud ja ülejäänud kõrgemad (suurema kohakaaluga) kohad inverteeritakse (inverteerimisega tehakse loogilise eituse ehk negatsioonitehe).

Uus!!: Eitus ja Täiendkood · Näe rohkem »

Tõeväärtus (andmetüüp)

Tõeväärtus on arvutiteaduses kahe võimaliku väärtusega andmetüüp, mille väärtusteks on kas tõene või väär.

Uus!!: Eitus ja Tõeväärtus (andmetüüp) · Näe rohkem »

Teine analüütika

"Teine analüütika" on Aristotelese teos, mis on kirjutatud umbes 350 eKr.

Uus!!: Eitus ja Teine analüütika · Näe rohkem »

Termin (loogika)

Termin (kreeka keeles horos, ladina keeles terminus, inglise keeles term) on traditsioonilises loogikas propositsiooni (predikatsiooni, otsustuse) põhiosa.

Uus!!: Eitus ja Termin (loogika) · Näe rohkem »

The Refutation of Idealism

"The Refutation of Idealism" ("Idealismi kummutus") on George Edward Moore'i artikkel, mis ilmus 1903 ajakirjas Mind.

Uus!!: Eitus ja The Refutation of Idealism · 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 »

Vabadus

Vabadus, ka priius, kõige üldisemas mõttes on takistuste, piirangute või sunni puudumine.

Uus!!: Eitus ja Vabadus · Näe rohkem »

Valetaja paradoks

Valetaja paradoks on paradoks, mis tekib, kui mingi propositsiooni kohta jõutakse järeldusele, et ta on tõene parajasti siis, kui ta ei ole tõene.

Uus!!: Eitus ja Valetaja paradoks · 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äitlause

Väitlause ehk jutustav lause on sisult ja vormilt markeerimata lausetüüp.

Uus!!: Eitus ja Väitlause · Näe rohkem »

Välistatud kolmanda seadus

Välistatud kolmanda seadus ehk välistatud kolmanda reegel ehk välistatud kolmanda printsiip ehk välistatud kolmanda põhilause (ka tertium non datur, principium exclusi tertii) on reegel loogikas, mille kohaselt tõene on kas propositsioon või tema eitus, kolmandat võimalust pole.

Uus!!: Eitus ja Välistatud kolmanda seadus · Näe rohkem »

VÕI-EI

VÕI-EI (ingl k NOR sõnadest not or) on disjunktsiooni eituse loogikatehe (Peirce’i funktsioon).

Uus!!: Eitus ja VÕI-EI · Näe rohkem »

Verilog

Verilog, standardiseeritult IEEE 1364, on riistvarakirjelduskeel (HDL), mida kasutatakse elektriliste süsteemide modelleerimiseks.

Uus!!: Eitus ja Verilog · Näe rohkem »

Ümbersuunamised siin:

EI (loogika), Negatsioon.

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