Lauseloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Resümee puudub |
Resümee puudub |
||
1. rida: | 1. rida: | ||
'''Lauseloogika''' |
'''Lauseloogika''' ehk '''lausearvutus''' on [[loogika]] valdkond, mis uurib [[tõefunktsionaalne tehe|tõefunktsionaalseid]] [[tehe|tehteid]] [[propositsioon]]idega. |
||
Lausete all mõeldakse lauseloogikas propositsioone. |
Lausete all mõeldakse lauseloogikas propositsioone. |
Redaktsioon: 29. märts 2006, kell 12:41
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. |