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ää »