Formula (logika): Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
comment1, |
d Verzia používateľa 188.143.232.40 (diskusia) bola vrátená, bola obnovená verzia od MichalT |
||
Riadok 1:
'''Formula''' alebo '''logická formula''' je ľubovoľný konečný rad (postupnosť) základných (primitívnych) symbolov formalizovaného jazyka (výrokovej, predikátovej) logiky. Formula je tu reprezentáciou súvislostí, vzťahov, ktoré existujú medzi predmetmi (javmi, procesmi) pomocou znakov (symbolov), spojených určitými operáciami. V [[kalkul]]och matematickej logiky sa pojem formuly v každom kalkule definuje obyčajne induktívne.
== Zdroj ==
* {{filit|fvf/formula_logika.html}}
[[Kategória:Logika]]
| |||