Lauseloogika: erinevus redaktsioonide vahel

Allikas: Vikipeedia
Eemaldatud sisu Lisatud sisu
Resümee puudub
Resümee puudub
1. rida: 1. rida:
'''Lauseloogika''' (ka: ''[[lausearvutus]]'') on [[loogika]] valdkond, mis uurib [[tõefunktsionaalne tehe|tõefunktsionaalseid]] [[tehe|tehteid]] [[propositsioon]]idega.
'''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.

Vaata ka