Lauseloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Resümee puudub |
P robot Adding: th, zh, en, pl, fr, hu |
||
21. rida: | 21. rida: | ||
[[de:Aussagenlogik]] |
[[de:Aussagenlogik]] |
||
[[en:Propositional calculus]] |
|||
[[fr:Calcul des propositions]] |
|||
[[hu:Ítéletlogika]] |
|||
[[pl:Rachunek zdań]] |
|||
[[th:แคลคูลัสเชิงประพจน์]] |
|||
[[zh:形式逻辑]] |
Redaktsioon: 11. juuli 2005, kell 21:06
Lauseloogika on loogika valdkond, mis uurib tõeväärtusfunktsionaalseid tehteid propositsioonidega.
Lausete all mõeldakse lauseloogikas propositsioone.
Üldarusaadav sissejuhatus
Lihtlause
Lause A on propositsioon, mis on kas tõene või väärus. See kehtib nii liht- kui ka liitlausete kohta. "Pooltõdesid" ei ole. Propositsiooni võib väljendada nii loomuliku keele lause kui ka matemaatiline valem.
Artikli kirjutamine on selles kohas pooleli jäänud. Jätkamine on kõigile lahkesti lubatud. |