Lauseloogika
Allikas: Vikipeedia
Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega.
Lausete all mõeldakse lauseloogikas propositsioone.
[redigeeri] Üldarusaadav sissejuhatus
[redigeeri] 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.
 See artikkel on pooleli. |
|---|
[redigeeri] Vaata ka
- Elementaarlause
- Predikaatloogika
- Tõeväärtustabel
- Tuletusreegel
- Loogiline funktsioon
- Tõeväärtusfunktsioon
- Loogika valemid
