Lauseloogika: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu

Reasisene

Redaktsioon: 19. mai 2014, kell 08:31

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 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.

@@ 1. rida: / 1. rida: @@
-'''Lauseloogika''' ehk '''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 ([[loogikatehe|loogikatehteid]]).
 Lausete all mõeldakse lauseloogikas propositsioone.
@@ 6. rida: / 6. rida: @@
 ==Lause==
-Lause ''A'' on [[propositsioon]], mis on kas [[tõesus|tõene]] või [[väärus|väär]].  "Pooltõdesid" ei ole. Propositsiooni võib väljendada nii [[loomulik keel|loomuliku keele]] [[lause]] kui ka [[matemaatika|matemaatiline]] [[valem]].
+Lause ''A'' on [[propositsioon]], mis on kas [[tõesus|tõene]] või [[väärus|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 [[loomulik keel|loomuliku keele]] [[lause]] kui ka [[matemaatika|matemaatiline]] [[valem]].
 ==Vaata ka==
-*[[Elementaarlause]]
+*[[Elementaarlause (loogika)|Elementaarlause]]
-*[[Predikaatloogika]]
+*[[Tõeväärtustabel]]
-*[[Tõeväärtustabel]]
+*[[Predikaatloogika]]
-*[[Loogikatehe]]
 ==Viited==