Logický podmíněný
V logickém počtu matematiky, logický podmíněný je binární logický operátor spojovat dvě sdělení, jestliže p pak q kde p je hypotéza (nebo předcházející) a q je závěr (nebo následující). Operátor je naznačoval používání odešel-šipka #lquote?”.
Hypotéza je někdy také nazývána nezbytnou podmínkou pro závěr, zatímco závěr může být nazýván postačující podmínkou pro hypotézu.
To je definováno používat pokračování pravdivostní tabulka:
| p | q | p → q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
V případě to hypotéza je pravdivá, výsledek je stejný jako závěr. Jinak, sdělení celku je pravdivé bezohledně hodnota závěru.