Formaalloogika: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P r2.6.1) (robot kustutas: en:Mathematical logic#Formal logic |
P r2.7.1) (robot lisas: az, bg, de, ja, ko, ru, tr, uk |
||
6. rida: | 6. rida: | ||
[[Kategooria:Filosoofia]] |
[[Kategooria:Filosoofia]] |
||
[[Kategooria:Loogika]] |
[[Kategooria:Loogika]] |
||
[[az:Formal məntiq]] |
|||
[[bg:Формална логика]] |
|||
[[de:Formale Logik]] |
|||
[[ko:형식논리학]] |
|||
[[ja:形式論理学]] |
|||
[[ru:Формальная логика]] |
|||
[[tr:Formel mantık]] |
|||
[[uk:Формальна логіка]] |
Redaktsioon: 30. jaanuar 2012, kell 01:08
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.