Lauseloogika: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu

Reasisene

Redaktsioon: 29. märts 2006, kell 03:46

Lauseloogika on loogika valdkond, mis uurib tõeväärtusfunktsionaalseid 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.

@@ 6. rida: / 6. rida: @@
 === Lihtlause ===
-Lause ''A'' on [[propositsioon]], mis on kas [[tõesus|tõene]] või [[väär|väärus]]. See kehtib nii liht- kui ka liitlausete kohta. "Pooltõdesid" ei ole. Propositsiooni võib väljendada nii [[loomulik keel|loomuliku keele]] [[lause]] kui ka [[matemaatika|matemaatiline]] [[valem]].
+Lause ''A'' on [[propositsioon]], mis on kas [[tõesus|tõene]] või [[väärus|väär]]. See kehtib nii liht- kui ka liitlausete kohta. "Pooltõdesid" ei ole. Propositsiooni võib väljendada nii [[loomulik keel|loomuliku keele]] [[lause]] kui ka [[matemaatika|matemaatiline]] [[valem]].
 {{pooleli}}