Erinevus lehekülje "Lauseloogika" redaktsioonide vahel

Mine navigeerimisribale Mine otsikasti
Lisatud 140 baiti ,  6 aasta eest
resümee puudub
'''Lauseloogika''' ehk '''lausearvutus''' on [[matemaatiline loogika|matemaatilise loogika]] valdkond, mis tegelebuurib lausete,[[tõefunktsionaalne tehe|tõefunktsionaalseid]] [[tõeväärtustehe|tehteid]]e ja [[loogikatehepropositsioon]]tegaidega.
 
[[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üklpeediaEntsü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]]
*[[Tõeväärtustabel]]
*[[Loogikatehe]]
 
==Viited==
{{Viited}}
 
 
[[Kategooria:Loogika]]

Navigeerimismenüü