Logo
Unionpedia
Viestintä
Get it on Google Play
Uusi! Lataa Unionpedia Android™-laitteella!
Vapaa
Nopeamman yhteyden kuin selaimen!
 

Totuustaulu

Indeksi Totuustaulu

Totuustaulu on propositiologiikassa käytettävä taulukko, jossa on lueteltu tutkittava lause ja sen alikaavat.

21 suhteet: AND, Disjunktio, Ekvivalenssi, Implikaatio, Konjunktio (logiikka), Looginen portti, Ludwig Wittgenstein, NAND-portti, Nor, NOT-portti, OR-portti, Projektio, Propositiologiikka, Ristiriita, Shefferin viiva, Tautologia, Totuusarvo, Totuusfunktio, Tractatus logico-philosophicus, XNOR-portti, XOR-portti.

AND

And tai AND voi tarkoittaa seuraavia.

Uusi!!: Totuustaulu ja AND · Katso lisää »

Disjunktio

Lausetta \scriptstyle A \lor B vastaava Venn-diagrammi Lausetta \scriptstyle A \lor B \lor C vastaava Venn-diagrammi Disjunktio on propositiologiikassa kaksipaikkainen looginen konnektiivi, joka vastaa yleiskielen sanaa tai.

Uusi!!: Totuustaulu ja Disjunktio · Katso lisää »

Ekvivalenssi

Ekvivalenssi voi tarkoittaa seuraavia.

Uusi!!: Totuustaulu ja Ekvivalenssi · Katso lisää »

Implikaatio

Implikaatio on kaksipaikkainen looginen konnektiivi, joka voidaan lukea ”jos…niin”.

Uusi!!: Totuustaulu ja Implikaatio · Katso lisää »

Konjunktio (logiikka)

Lausetta \scriptstyle A \land B vastaava Venn-diagrammi Lausetta \scriptstyle A \land B \land C vastaava Venn-diagrammi Konjunktio on propositiologiikassa kaksipaikkainen looginen konnektiivi, joka vastaa yleiskielen sanaa ja.

Uusi!!: Totuustaulu ja Konjunktio (logiikka) · Katso lisää »

Looginen portti

Looginen portti muodostuu kytkimistä, joiden avulla voidaan tehdä laskutoimituksia tai loogisia konnektiiveja Boolen algebran avulla digitaalisissa piireissä.

Uusi!!: Totuustaulu ja Looginen portti · Katso lisää »

Ludwig Wittgenstein

Ludwig Josef Johann Wittgenstein (26. huhtikuuta 1889 Wien, Itävalta-Unkari – 29. huhtikuuta 1951 Cambridge, Yhdistynyt kuningaskunta) oli itävaltalais-englantilainen filosofi, joka vaikutti 1900-luvun alkupuolella loogiseen empirismiin ja analyyttisen filosofian syntyyn.

Uusi!!: Totuustaulu ja Ludwig Wittgenstein · Katso lisää »

NAND-portti

NAND-portti (ANSI) NAND-portti (IEC) NAND-portti (sanoista not and, käytetään suomalaista nimitystä ei-ja) on looginen portti, joka vastaa Shefferin viiva -operaatiota.

Uusi!!: Totuustaulu ja NAND-portti · Katso lisää »

Nor

NOR tai Nor voi tarkoittaa seuraavia.

Uusi!!: Totuustaulu ja Nor · Katso lisää »

NOT-portti

EI-portti. NOT-portti (tai inverter, käytetään suomalaista nimitystä ei) on looginen portti, joka vastaa loogista negaatiota ja siten sanaa ”ei”.

Uusi!!: Totuustaulu ja NOT-portti · Katso lisää »

OR-portti

OR-portti. OR-portti (josta käytetään suomalaista nimitystä tai) on looginen portti, joka vastaa loogista disjunktiota ja siten sanaa ”tai”.

Uusi!!: Totuustaulu ja OR-portti · Katso lisää »

Projektio

Projektio tarkoittaa seuraavia asioita.

Uusi!!: Totuustaulu ja Projektio · Katso lisää »

Propositiologiikka

Propositiologiikka eli lauselogiikka on symbolisen logiikan alue, jossa tutkitaan propositiosymboleja ja loogisia konnektiiveja sisältävien formaalikielen lauseiden ominaisuuksia.

Uusi!!: Totuustaulu ja Propositiologiikka · Katso lisää »

Ristiriita

Ristiriita voi tarkoittaa.

Uusi!!: Totuustaulu ja Ristiriita · Katso lisää »

Shefferin viiva

Shefferin viiva on propositiologiikassa konnektiivi, jolla on seuraavanlainen totuusarvotaulukko: (Shefferin viiva merkitään symbolilla |.) Toisin sanoen Shefferin viivalla muodostettu yhdistetty lause on epätosi vain, jos sillä yhdistetyt lauseet ovat molemmat tosia, kaikissa muissa tapauksissa tosi.

Uusi!!: Totuustaulu ja Shefferin viiva · Katso lisää »

Tautologia

Tautologia voi tarkoittaa.

Uusi!!: Totuustaulu ja Tautologia · Katso lisää »

Totuusarvo

Totuusarvo on kaksiarvoisessa logiikassa formaalikielen lauseen ominaisuus, joko "tosi" tai "epätosi"; totuusarvoja merkitään usein myös "t" ja "e" tai "1" ja "0".

Uusi!!: Totuustaulu ja Totuusarvo · Katso lisää »

Totuusfunktio

Totuusfunktio on matemaattisen logiikan termi, joka tarkoittaa totuusarvon (tavallisesti tosi tai epätosi) antamista väitelauseelle (propositio).

Uusi!!: Totuustaulu ja Totuusfunktio · Katso lisää »

Tractatus logico-philosophicus

Tractatus logico-philosophicus eli Loogis-filosofinen tutkielma on Ludwig Wittgensteinin varhaiskauden pääteos ja eräs loogisen empirismin tärkeimmistä vaikuttajista.

Uusi!!: Totuustaulu ja Tractatus logico-philosophicus · Katso lisää »

XNOR-portti

XNOR-portti. XNOR-portti (sanoista exclusive not or, joskus käytetään suomalaista nimitystä poissulkeva ei-tai tai sama) on looginen portti.

Uusi!!: Totuustaulu ja XNOR-portti · Katso lisää »

XOR-portti

XOR-portti. XOR-portti (sanoista exclusive or, joskus käytetään suomalaista nimitystä poissulkeva tai, ehdoton tai tai eri) on looginen portti, joka vastaa eksklusiivinen disjunktio -operaatiota.

Uusi!!: Totuustaulu ja XOR-portti · Katso lisää »

LähteväSaapuvat
Hei! Olemme Facebookissa nyt! »