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