Lauseloogika: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu

Reasisene

Redaktsioon: 17. mai 2014, kell 09:27

Lauseloogika ehk lausearvutus on matemaatilise loogika valdkond, mis tegeleb lausete, tõeväärtuse ja loogikatehetega. Kahevalentses loogikas on lause kas tõene või väär. Pooltõdesid ei ole. See kehtib nii liht- kui ka liitlausete kohta.

Lausearvutuse valemeid moodustatakse lauseid tähistavatest muutujatest ja tehtemärkidest. ^[1]

@@ 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 [[matemaatiline loogika|matemaatilise loogika]] valdkond, mis tegeleb lausete, [[tõeväärtus]]e ja [[loogikatehe]]tega.
+[[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.
-== Üldarusaadav sissejuhatus ==
-=== Lihtlause ===
-Lause ''A'' on [[propositsioon]], mis on kas [[tõesus|tõene]] või [[väärus|väär]]. See kehtib nii liht- kui ka liitlausete kohta. "Pooltõdesid" ei ole. Propositsiooni võib väljendada nii [[loomulik keel|loomuliku keele]] [[lause]] kui ka [[matemaatika|matemaatiline]] [[valem]].
-{{pooleli}}
+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]]
-*[[Elementaarlause (loogika)|Elementaarlause]]
 *[[Predikaatloogika]]
 *[[Tõeväärtustabel]]
-*[[Tuletusreegel]]
+*[[Loogikatehe]]
-*[[Loogiline funktsioon]]
-*[[Tõeväärtusfunktsioon]]
-*[[Loogika valemid]]
 [[Kategooria:Loogika]]