Erinevus lehekülje "Lauseloogika" redaktsioonide vahel

Eemaldatud 156 baiti ,  6 aasta eest
resümee puudub
P (Bot: Migrating 36 interwiki links, now provided by Wikidata on d:q200694 (translate me))
'''Lauseloogika''' ehk '''lausearvutus''' on [[matemaatiline loogika|matemaatilise loogika]] valdkond, mis uuribtegeleb [[tõefunktsionaalne tehe|tõefunktsionaalseid]]lausete, [[tehe|tehteidtõeväärtus]]e ja [[propositsioonloogikatehe]]idegatega.
[[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 (loogika)|Elementaarlause]]
 
*[[Elementaarlause (loogika)|Elementaarlause]]
*[[Predikaatloogika]]
*[[Tõeväärtustabel]]
*[[TuletusreegelLoogikatehe]]
*[[Loogiline funktsioon]]
*[[Tõeväärtusfunktsioon]]
*[[Loogika valemid]]
 
[[Kategooria:Loogika]]