Erinevus lehekülje "Lauseloogika" redaktsioonide vahel

Lisatud 118 baiti ,  6 aasta eest
resümee puudub
'''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.
 
==Lause==
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 (loogika)|Elementaarlause]]
*[[PredikaatloogikaTõeväärtustabel]]
*[[TõeväärtustabelPredikaatloogika]]
 
*[[Loogikatehe]]
 
==Viited==