Lauseloogika
Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega (loogikatehteid).
Lausete all mõeldakse lauseloogikas propositsioone.
Lausearvutuse valemeid moodustatakse lauseid tähistavatest muutujatest ja tehtemärkidest.
Lause
Lause A on propositsioon, mis on kas tõene või 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 loomuliku keele lause kui ka matemaatiline valem.
Vaata ka
- Elementaarlause
- Tõeväärtustabel
- Predikaatloogika
- Boole'i algebra
Viited
This article uses material from the Wikipedia Eesti article Lauseloogika, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Sisu on kasutatav litsentsi CC BY-SA 4.0 tingimustel, kui pole öeldud teisiti. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Eesti (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.