Lauseloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Luckas-bot (arutelu | kaastöö) P robot lisas: eu:Logika proposizional |
LaaknorBot (arutelu | kaastöö) P r2.5.2) (robot lisas: nn:Utsegnslogikk |
||
44. rida: | 44. rida: | ||
[[ja:命題論理]] |
[[ja:命題論理]] |
||
[[no:Setningslogikk]] |
[[no:Setningslogikk]] |
||
[[nn:Utsegnslogikk]] |
|||
[[pl:Rachunek zdań]] |
[[pl:Rachunek zdań]] |
||
[[pt:Lógica proposicional]] |
[[pt:Lógica proposicional]] |
Redaktsioon: 11. jaanuar 2011, kell 14:49
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. |