Lauseloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P robot lisas: la:Logica Propositionis |
P robot lisas: ko:명제 논리 |
||
34. rida: | 34. rida: | ||
[[fa:حساب گزارهای]] |
[[fa:حساب گزارهای]] |
||
[[fr:Calcul des propositions]] |
[[fr:Calcul des propositions]] |
||
[[ko:명제 논리]] |
|||
[[it:Logica proposizionale]] |
[[it:Logica proposizionale]] |
||
[[he:תחשיב פסוקים]] |
[[he:תחשיב פסוקים]] |
Redaktsioon: 20. veebruar 2010, kell 14:14
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. |