Lauseloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P robot muutis: la:Logica propositionalis |
P robot lisas: sl:Propozicijska logika |
||
48. rida: | 48. rida: | ||
[[simple:Propositional logic]] |
[[simple:Propositional logic]] |
||
[[sk:Výroková logika]] |
[[sk:Výroková logika]] |
||
[[sl:Propozicijska logika]] |
|||
[[sr:Исказни рачун]] |
[[sr:Исказни рачун]] |
||
[[fi:Propositiologiikka]] |
[[fi:Propositiologiikka]] |
Redaktsioon: 30. juuni 2010, kell 15:45
Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega.
Lausete all mõeldakse lauseloogikas propositsioone.
Üldarusaadav sissejuhatus
Lihtlause
Lause A on propositsioon, mis on kas tõene või väär. See kehtib nii liht- kui ka liitlausete kohta. "Pooltõdesid" ei ole. Propositsiooni võib väljendada nii loomuliku keele lause kui ka matemaatiline valem.
Artikli kirjutamine on selles kohas pooleli jäänud. Jätkamine on kõigile lahkesti lubatud. |