Lauseloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Resümee puudub |
Resümee puudub |
||
24. rida: | 24. rida: | ||
[[ar:حساب القضايا]] |
[[ar:حساب القضايا]] |
||
[[de:Aussagenlogik]] |
[[de:Aussagenlogik]] |
||
[[en:Propositional |
[[en:Propositional logic]] |
||
[[es:Lógica proposicional]] |
[[es:Lógica proposicional]] |
||
[[fr:Calcul des propositions]] |
[[fr:Calcul des propositions]] |
Redaktsioon: 9. mai 2006, kell 10:28
Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega.
Lausete all mõeldakse lauseloogikas propositsioone.
Üldarusaadav sissejuhatus
Lihtlause
Lause A on propositsioon, mis on kas tõene või väär. 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. |