Lauseloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Resümee puudub |
(Erinevus puudub)
|
Redaktsioon: 16. oktoober 2004, kell 00:10
Lauseloogika on loogika valdkond, mis uurib tõeväärtusfunktsionaalseid tehteid propositsioonidega.
Lausete all mõeldakse lauseloogikas propositsioone.
Üldarusaadav sissejuhatus
Lihtlause
Lause A on propositsioon, mis on kas tõene või väärus. 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. |