Ero sivun ”Propositiologiikka” versioiden välillä
| [katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
p Botti päivitti vanhentuneen matemaattisen syntaksin; ks. mw:Extension:Math/Roadmap |
päivitys |
||
Rivi 1:
'''Propositiologiikka''' eli '''lauselogiikka''' on [[symbolinen logiikka|symbolisen logiikan]] alue, jossa tutkitaan propositiosymboleja ja loogisia konnektiiveja sisältävien [[formaali kieli|formaalikielen]] lauseiden ominaisuuksia. Näistä ominaisuuksista keskeisimpiä ovat [[totuus]] ja lauseiden väliset [[päättely]]suhteet. <ref name=a/>
Propositiosymboleina käytetään formaalikielessä yleensä merkkejä <math>p_0</math>, <math>p_1</math>, <math>p_2</math> jne. Eri propositiosymbolien voidaan tulkita edustavan toisistaan riippumattomia asiantiloja. Loogisille konnektiiveille käytetään usein merkkejä kuten <math>\neg, \land, \lor</math>. Nämä vastaavat karkeasti ottaen luonnollisen kielen lausekonnektiiveja, esimerkiksi "ei", "ja" ja "tai".
Rivi 275:
* [[Predikaattilogiikka]]
* [[Symbolinen logiikka]]
== Lähteet ==
{{Viitteet|viitteet=
* <ref name=a>{{Kirjaviite | Tekijä=Thompson, Jan & Martinson, Thomas | Nimeke=Matematiikan käsikirja | Sivut=235–236 | Julkaisupaikka=Helsinki | Julkaisija=Tammi | Vuosi=1994 | Tunniste=ISBN 951-31-0471-0}}</ref>
}}
== Aiheesta muualla ==
| |||