Dôkaz (logika): Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
Automated import of articles |
Bez shrnutí editace |
||
Riadok 1:
▲([[logika|logika]]) je postupnosť viet, z ktorých každá je buď vetou nevyžadujúcou dôkaz ([[axióma|axióma]]
alebo [[predpoklad|predpoklad]]), alebo predtým dokázanou vetou, alebo vetou vyplývajúcou
(odvodenou) z predchádzajúcich viet ([[teoréma|teorémou]]). Teorémou je aj posledná
(dokazovaná) veta, tzv. téza dôkazu. Dôkaz je zisťovanie, či na základe už
prijatých formúl možno prijať aj formulu novú.
Dôkaz je [[logická operácia]] je predvedenie, preukázanie [[správnosť|správnosti]], [[pravdivosť|pravdivosti]] (alebo [[pravdepodobnosť|pravdepodobnosti]]) [[súd|súdu]], ([[výrok|výroku]], [[veta|vety]]) prostredníctvom [[úsudok|úsudkov]], v ktorých dokazovaný súd vystúpi ako [[dôsledok]] už dokázaných súdov.
== Externé odkazy ==
* {{filit|fvd/dokaz.html}}
* {{filit|fvd/dokaz_logika.html}}
[[Kategória:Logika]]
[[Kategória:Dôkazy]]
| |||