Lauseloogika: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu

Reasisene

Redaktsioon: 19. mai 2014, kell 08:27

Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega.

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. "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 [[matemaatiline loogika|matemaatilise loogika]] valdkond, mis tegeleb lausete, [[tõeväärtus]]e ja [[loogikatehe]]tega.
+'''Lauseloogika''' ehk '''lausearvutus'''  on [[loogika]] valdkond, mis uurib [[tõefunktsionaalne tehe|tõefunktsionaalseid]] [[tehe|tehteid]] [[propositsioon]]idega.
-[[Kahevalentne loogika|Kahevalentses loogikas]] on lause kas [[tõesus|tõene]] või [[väärus|väär]]. Pooltõdesid ei ole. See kehtib nii liht- kui ka liitlausete kohta.
+Lausete all mõeldakse lauseloogikas propositsioone.
+Lausearvutuse valemeid  moodustatakse lauseid tähistavatest [[muutuja]]test ja [[tehtemärk]]idest.<ref>Lausearvutus. Eesti Entsüklopeedia, 5. kd, 1995, lk 434</ref>
+==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]].
-Lausearvutuse valemeid  moodustatakse lauseid tähistavatest [[muutuja]]test ja [[tehtemärk]]idest. <ref>Lausearvutus. Eesti Entsüklpeedia, 5. kd, 1995, lk 434</ref>
-==Viited==
-{{Viited}}
 ==Vaata ka==
 *[[Elementaarlause]]
@@ 10. rida: / 13. rida: @@
 *[[Tõeväärtustabel]]
 *[[Loogikatehe]]
+==Viited==
+{{Viited}}
 [[Kategooria:Loogika]]