Hypotetický výrok

Z Wikipédie

Výrok hypotetický

výrok hypotetický je v tradičnej logike: spojenie vyrokov, v ktorom dva vyroky sú navzájom spojenené logickou konštatou ak,... tak. Hypotetický sa nazýva tento výrok preto, lebo druhá časť výroku je podmienená jeho prvou casťou. Formu hypotetického výroku ma prevažná časť prírodných zákonov. V predikátovej logike sa zapisuje pomocou všeobecného kvantifikátora výrokových funkcií a implikácie:

(\-/) [G(x) -> H(x)].

Príklad: Pre všetky x platí: Ak x je kov, tak z toho vyplýva, že x je elektricky vodivé.


[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.