Hypotetický výrok
Hypotetický výrok je v tradičnej logike spojenie výrokov, v ktorom dva výroky sú navzájom spojené logickou konštantou ak,... tak. Hypotetický sa nazýva tento výrok preto, lebo druhá časť výroku je podmienená jeho prvou časť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. Príklad: Pre všetky x platí: Ak x je kov, tak z toho vyplýva, že x je elektricky vodivé.
Externé odkazy
[upraviť | upraviť zdroj]- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.