Predikaattilogiikka
Predikaattilogiikka on symbolisen logiikan osa-alue, jolla tutkitaan tietynlaisia formaalikieliä. Predikaattilogiikka jakautuu ensimmäisen kertaluvun predikaattilogiikkaan ja korkeampien kertalukujen predikaattilogiikoihin. Jälkimmäisten kohdalta mielenkiinto kohdistuu yleensä vain toisen kertaluvun predikaattilogiikkaan.
- Propositiologiikka
- Propositiologiikka eli lauselogiikka on symbolisen logiikan alue, jossa tutkitaan propositiosymboleja ja loogisia konnektiiveja sisältävien formaalikielen lauseiden ominaisuuksia. Näistä ominaisuuksista keskeisimpiä ovat totuus ja lauseiden väliset
- Atomilause
- Atomilause on logiikassa lause, jonka mikään osa ei voi toimia lauseena. Toisin sanoen, atomilause ei sisällä loogisia konnektiiveja
- Modaalilogiikka
- Modaalilogiikka on logiikan alue, jolla tutkitaan aleettisten modaliteettien eli välttämättömyyden ja mahdollisuuden loogisia piirteitä. Usein termi "modaalilogiikka" ymmärretään kokonaisnimityksenä kaikkien modaliteettien logiikoille. Muita
- Boggle
- Boggle on nopeutta vaativa sanapeli, jota pelataan kynän, paperin, tiimalasin, boggle-laatikon ja kirjainnoppien avulla
- Lowball
- Lowball on viiden kortin ostopokerin muoto, jossa käsien arvojärjestys on käänteinen. Pelissä ei tunneta väriä, suoraa ja värisuoraa
- Kalkyyli
- Kalkyyli on yksinkertaisimmillaan aksioomista ja syntaktisista päättelysäännöistä muodostuva merkkijonoihin liittyvä formaali systeemi.lähde? Aksioomat ja päättelysäännöt esittävät, mitä kalkyylissä voidaan päätellä, eli ne esittävät
- Logiikka
- Logiikka on tieteenala, joka tutkii päättelyn ja ajattelun muotoja, erityisesti deduktiivista päättelyä. Päättely on deduktiivista, jos se säilyttää totuuden siten, että oletusten ollessa tosia johtopäätös ei voi olla epätosi. Logiikka on
- Analyyttinen ja synteettinen
- Analyyttinen ja synteettinen ovat filosofisia käsitteitä, jotka viittaavat lauseen totuuden perustaan. Lause on analyyttisesti tosi jos ja vain jos se on tosi ainoastaan lauseen itsensä sisältämien elementtien perusteella. Lause on vastaavasti
- Aksiooma
- Aksiooma on matematiikassa peruskäsitteiden epäsuora määritelmä, jota käytetään päättelyssä muiden tulosten todistamiseen
- Rally Zlín
- Rally Zlín on Tšekissä Zlínissä ajettava rallikilpailu. Kilpailu on järjestetty ensimmäisen kerran vuonna 1971. Rallin kilpailupaikka on noin 300 kilometriä etelään pääkaupungista Prahasta. Kilpailun sponsori on rengasvalmistaja Barum, jonka