Lauseloogika

Allikas: Vikipeedia

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 | redigeeri 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 | redigeeri lähteteksti]


Viited[muuda | redigeeri lähteteksti]

  1. Lausearvutus. Eesti Entsüklopeedia, 5. kd, 1995, lk 434