31 suhteet: AND-portti, Atomilause, Disjunktio, Eheys, Eksklusiivinen disjunktio, Elektroniikka, Formaali kieli, Funktio, Gaudeamus, Implikaatio, Ja/tai, Jos ja vain jos, Konjunktio (logiikka), Looginen portti, Matemaattinen induktio, Matematiikan käsikirja, NAND-portti, NOR-portti, NOT-portti, OR-portti, Päättely, Peircen nuoli, Predikaattilogiikka, Propositiologiikka, Rekursio, Shefferin viiva, Stoalaisuus, Symbolinen logiikka, Totuus, Välttämätön ja riittävä ehto, XOR-portti.
AND-portti
AND-portti. AND-portti (käytetään suomalaista nimitystä ja) on looginen portti, joka vastaa loogista konjunktio-operaatiota ja siten sanaa ”ja”.
Uusi!!: Propositiologiikka ja AND-portti · Katso lisää »
Atomilause
Atomilause on logiikassa lause, jonka mikään osa ei voi toimia lauseena.
Uusi!!: Propositiologiikka ja Atomilause · 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!!: Propositiologiikka ja Disjunktio · Katso lisää »
Eheys
Eheys voi tarkoittaa ainakin seuraavia asioita.
Uusi!!: Propositiologiikka ja Eheys · Katso lisää »
Eksklusiivinen disjunktio
Eksklusiivinen disjunktio eli eksklusiivinen tai on looginen konnektiivi, jolla muodostettu yhdistetty lause on tosi, jos ja vain jos yhdistettävillä lauseilla on eri totuusarvot (toinen on tosi ja toinen epätosi).
Uusi!!: Propositiologiikka ja Eksklusiivinen disjunktio · Katso lisää »
Elektroniikka
Elektroniikka on sähkötekniikan osa, joka perustuu elektronien liikkeen ohjaamiseen.
Uusi!!: Propositiologiikka ja Elektroniikka · Katso lisää »
Formaali kieli
Formaali kieli on tietojenkäsittelytieteessä, matematiikassa ja logiikassa äärellisen pituisten merkkijonojen joukko, jotka on muodostettu jostakin äärellisestä aakkostosta.
Uusi!!: Propositiologiikka ja Formaali kieli · Katso lisää »
Funktio
Funktio f: X \rightarrow Y liittää jokaiseen joukon ''X'' alkioon täsmälleen yhden maalijoukon ''Y'' alkion. Funktio eli kuvaus kertoo olioiden välisistä riippuvuussuhteista.
Uusi!!: Propositiologiikka ja Funktio · Katso lisää »
Gaudeamus
Gaudeamus on Helsingin yliopiston omistama tieto- ja tiedekirjakustantamo.
Uusi!!: Propositiologiikka ja Gaudeamus · Katso lisää »
Implikaatio
Implikaatio on kaksipaikkainen looginen konnektiivi, joka voidaan lukea ”jos…niin”.
Uusi!!: Propositiologiikka ja Implikaatio · Katso lisää »
Ja/tai
Ja/tai (ei-poissulkeva tai, ehdollinen tai) on suomen kielessä käytettävä sanayhdistelmä, joka koostuu rinnastuskonjunktioista ja sekä tai.
Uusi!!: Propositiologiikka ja Ja/tai · Katso lisää »
Jos ja vain jos
Jos ja vain jos (lyhenne: joss, (lyhenne: iff)) on konnektiivi eli looginen yhdistäjä, jota käytetään logiikassa ja sitä soveltavilla aloilla kuten matematiikassa ja filosofiassa.
Uusi!!: Propositiologiikka ja Jos ja vain jos · 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!!: Propositiologiikka 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!!: Propositiologiikka ja Looginen portti · Katso lisää »
Matemaattinen induktio
dominopalikoihin. Matemaattinen induktio on matemaattinen todistusmenetelmä, joka kuuluu matemaattisen algebran päähaaraan.
Uusi!!: Propositiologiikka ja Matemaattinen induktio · Katso lisää »
Matematiikan käsikirja
Matematiikan käsikirja on vuonna 1994 suomeksi ilmestynyt Virpi Kaukon suomentama teos.
Uusi!!: Propositiologiikka ja Matematiikan käsikirja · 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!!: Propositiologiikka ja NAND-portti · Katso lisää »
NOR-portti
NOR-portti (IEC) NOR-portti (ANSI) NOR-portti (sanoista not or) on digitaalielektroniikassa looginen portti, joka vastaa loogista Peircen nuoli -konnektiivia.
Uusi!!: Propositiologiikka ja NOR-portti · 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!!: Propositiologiikka 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!!: Propositiologiikka ja OR-portti · Katso lisää »
Päättely
Ajattelija'' (1880-82), Ny Carlsberg Glyptotek, Kööpenhamina. Päättely on ajattelua, joka tavallisesti etenee oletuksista johtopäätökseen.
Uusi!!: Propositiologiikka ja Päättely · Katso lisää »
Peircen nuoli
Peircen nuoli on propositiologiikassa konnektiivi, jolla on seuraavanlainen totuusarvotaulukko: Peircen nuoli tarkoittaa normaalissa kielessä samaa kuin "ei eikä".
Uusi!!: Propositiologiikka ja Peircen nuoli · Katso lisää »
Predikaattilogiikka
Predikaattilogiikka on symbolisen logiikan osa-alue, jolla tutkitaan tietynlaisia formaalikieliä.
Uusi!!: Propositiologiikka ja Predikaattilogiikka · Katso lisää »
Propositiologiikka
Propositiologiikka eli lauselogiikka on symbolisen logiikan alue, jossa tutkitaan propositiosymboleja ja loogisia konnektiiveja sisältävien formaalikielen lauseiden ominaisuuksia.
Uusi!!: Propositiologiikka ja Propositiologiikka · Katso lisää »
Rekursio
Rekursio on matemaattinen keino määritellä funktioita niin, että funktion arvo tietyssä pisteessä riippuu funktion arvosta edellisessä pisteessä.
Uusi!!: Propositiologiikka ja Rekursio · 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!!: Propositiologiikka ja Shefferin viiva · Katso lisää »
Stoalaisuus
stoa'') Ateenassa. Stoalaisuus oli hellenistisen filosofian koulukunta, joka vaikutti useiden vuosisatojen ajan antiikin Kreikan ja Rooman yläluokan moraaliseen ajatteluun.
Uusi!!: Propositiologiikka ja Stoalaisuus · Katso lisää »
Symbolinen logiikka
Symbolinen logiikka on matematiikkaa sivuava logiikan osa, joka tutkii merkkijonoina esitettyjen symbolien puhtaita formaaleja ominaisuuksia.
Uusi!!: Propositiologiikka ja Symbolinen logiikka · Katso lisää »
Totuus
''Totuus'', Jules Joseph Lefebvre, 1870. Totuus tarkoittaa yleiskielessä tavallisesti sitä mikä on totta, vastaa todellisuutta, tosiasiaa.
Uusi!!: Propositiologiikka ja Totuus · Katso lisää »
Välttämätön ja riittävä ehto
Välttämättömät ja riittävät ehdot viittaavat logiikassa väittämien välisiin implikatiivisiin suhteisiin.
Uusi!!: Propositiologiikka ja Välttämätön ja riittävä ehto · 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!!: Propositiologiikka ja XOR-portti · Katso lisää »
Uudelleenohjaukset tässä:
Konnektiivi, Lausekalkyyli, Lauselogiikka, Looginen konnektiivi, Looginen operaattori, Negaatio, Propositiokalkyyli, Propositionaalilogiikka.