Lauseloogika
(Ümber suunatud leheküljelt Lausearvutus)
Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega (loogikatehteid).
Lausete all mõeldakse lauseloogikas propositsioone.
Lausearvutuse valemeid moodustatakse lauseid tähistavatest muutujatest ja tehtemärkidest.[1]
Lause[muuda | muuda lähteteksti]
Lause A on propositsioon, mis on kas tõene või väär (millel on kas tõeväärtus tõene või tõeväärtus väär). "Pooltõdesid" ei ole. Propositsiooni võib väljendada nii loomuliku keele lause kui ka matemaatiline valem.
Vaata ka[muuda | muuda lähteteksti]
Viited[muuda | muuda lähteteksti]
- ↑ Lausearvutus. Eesti entsüklopeedia, 5. kd, 1995, lk 434