Lauseloogika: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu

Reasisene

Redaktsioon: 13. mai 2008, kell 12:11

Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega.

Lausete all mõeldakse lauseloogikas propositsioone.

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.

@@ 22. rida: / 22. rida: @@
 [[Kategooria:Loogika]]
-[[ar:منطق القضايا]]
+[[ar:حساب القضايا]]
 [[be-x-old:Злічэнне выказванняў]]
 [[ca:Lògica proposicional]]
@@ 29. rida: / 29. rida: @@
 [[en:Propositional calculus]]
 [[es:Lógica proposicional]]
-[[fa:حساب گزاره‌ها]]
+[[fa:حساب گزاره‌ای]]
 [[fr:Calcul des propositions]]
 [[it:Logica proposizionale]]
@@ 40. rida: / 40. rida: @@
 [[pl:Rachunek zdań]]
 [[pt:Lógica proposicional]]
-[[ru:Исчисление высказываний]]
+[[ru:Логика высказываний]]
 [[sr:Исказни рачун]]
 [[fi:Propositiologiikka]]