Lauseloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
LaaknorBot (arutelu | kaastöö) P robot muutis: be-x-old:Зьлічэньне выказваньняў |
P robot muutis: la:Logica Propositionalis |
||
37. rida: | 37. rida: | ||
[[it:Logica proposizionale]] |
[[it:Logica proposizionale]] |
||
[[he:תחשיב פסוקים]] |
[[he:תחשיב פסוקים]] |
||
[[la:Logica |
[[la:Logica Propositionalis]] |
||
[[lt:Teiginių logika]] |
[[lt:Teiginių logika]] |
||
[[hu:Ítéletlogika]] |
[[hu:Ítéletlogika]] |
Redaktsioon: 5. juuni 2010, kell 09:51
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. |