Formaalloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
Resümee puudub |
Resümee puudub |
||
| 1. rida: | 1. rida: | ||
[[Formaalloogika]] ehk '''formaalne loogika''' tegeleb sellega, kuidas [[järeldamine|järeldada]] [[tõesus|tõestest]] väidetest [[tõesus|tõeseid]] väiteid, kuid reeglina ei ütle, millised väited on [[tõesus|tõesed]]. Formaalloogika ei ütle midagi selle kohta, missugune maailm tegelikult on. [[Formaalloogika]] ütleb, mida saab järeldada lähtudes üksnes [[väide|väiteid]] [[väljendus|väljendavate]] [[lause]]te vormist. |
[[Formaalloogika]] ehk '''formaalne loogika''' tegeleb sellega, kuidas [[järeldamine|järeldada]] [[tõesus|tõestest]] väidetest [[tõesus|tõeseid]] väiteid, kuid reeglina ei ütle, millised väited on [[tõesus|tõesed]]. Formaalloogika ei ütle midagi selle kohta, missugune maailm tegelikult on. [[Formaalloogika]] ütleb, mida saab järeldada lähtudes üksnes [[väide|väiteid]] [[väljendus|väljendavate]] [[lause]]te vormist. |
||
==Vaata ka== |
|||
| ⚫ | |||
*[[Matemaatiline loogika]] |
|||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
[[en:Mathematical logic#Formal logic]] |
[[en:Mathematical logic#Formal logic]] |
||
Redaktsioon: 12. aprill 2011, kell 06:36
Formaalloogika ehk formaalne loogika tegeleb sellega, kuidas järeldada tõestest väidetest tõeseid väiteid, kuid reeglina ei ütle, millised väited on tõesed. Formaalloogika ei ütle midagi selle kohta, missugune maailm tegelikult on. Formaalloogika ütleb, mida saab järeldada lähtudes üksnes väiteid väljendavate lausete vormist.