Lauseloogika: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu

Reasisene

Redaktsioon: 22. mai 2008, kell 07:55

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.

@@ 25. rida: / 25. rida: @@
 [[be-x-old:Злічэнне выказванняў]]
 [[ca:Lògica proposicional]]
+[[cs:Výroková logika]]
 [[cy:Rhesymeg osodiadol]]
 [[de:Aussagenlogik]]
@@ 41. rida: / 42. rida: @@
 [[pt:Lógica proposicional]]
 [[ru:Логика высказываний]]
+[[sk:Výroková logika]]
 [[sr:Исказни рачун]]
 [[fi:Propositiologiikka]]