Lauseloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P robot lisas: sl:Propozicijska logika |
Luckas-bot (arutelu | kaastöö) P robot lisas: eu:Logika proposizional |
||
32. rida: | 32. rida: | ||
[[en:Propositional calculus]] |
[[en:Propositional calculus]] |
||
[[es:Lógica proposicional]] |
[[es:Lógica proposicional]] |
||
[[eu:Logika proposizional]] |
|||
[[fa:حساب گزارهای]] |
[[fa:حساب گزارهای]] |
||
[[fr:Calcul des propositions]] |
[[fr:Calcul des propositions]] |
Redaktsioon: 8. november 2010, kell 12:58
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. |