Lauseloogika: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu

Reasisene

Redaktsioon: 9. märts 2013, kell 08:06

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.

@@ 21. rida: / 21. rida: @@
 [[Kategooria:Loogika]]
-[[af:Proposisionele logika]]
-[[ar:حساب القضايا]]
-[[id:Kalkulus proposisional]]
-[[be-x-old:Зьлічэньне выказваньняў]]
-[[ca:Lògica proposicional]]
-[[cs:Výroková logika]]
-[[cy:Rhesymeg osodiadol]]
-[[de:Aussagenlogik]]
-[[en:Propositional calculus]]
-[[es:Lógica proposicional]]
-[[eu:Logika proposizional]]
-[[fa:حساب گزاره‌ای]]
-[[fr:Calcul des propositions]]
-[[ko:명제 논리]]
-[[it:Logica proposizionale]]
-[[he:תחשיב פסוקים]]
-[[ky:Логикалык сүйлөө]]
-[[la:Logica propositionalis]]
-[[lt:Teiginių logika]]
-[[hu:Ítéletlogika]]
-[[nl:Propositielogica]]
-[[ja:命題論理]]
-[[no:Setningslogikk]]
-[[nn:Utsegnslogikk]]
-[[pl:Rachunek zdań]]
-[[pt:Lógica proposicional]]
-[[ru:Логика высказываний]]
-[[simple:Propositional logic]]
-[[sk:Výroková logika]]
-[[sl:Propozicijska logika]]
-[[sr:Исказни рачун]]
-[[fi:Propositiologiikka]]
-[[sv:Satslogik]]
-[[th:แคลคูลัสเชิงประพจน์]]
-[[uk:Числення висловлень]]
-[[zh:命题逻辑]]