Implikácia (logika)
Z Wikipédie
Implikácia (logika)
implikácia (logika) je výrokové spojenie pomocou funktora ak, tak, ktorý sa ozančuje napr. symbolom >, takže spojenie p > q sa bude čítať ak (je) p, tak (je) q.
V tomto spojení sa ľavá (podmieňujúca) časť nazýva predný člen (antecedent, implkans) a pravá (pomienená) časť sa nazýva zadný člen (konzekvent, implikát).
Obsah |
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok
[úprava] Implikácia - druhy/príklady
- implikácia definovaná pomocou modality možnosti:
p < q = ż<>(p /\ żq);
df
t. zn. p striktne implikuje q sa definične rovná s Nie je možné, že platí p, ale neplatí q.
Pomocou modality nutnosti možno striktnú implikáciu definovať takto:
p < q = [] (p -> q),
df
t. zn. pomocou výrazu p implikuje nevyhnutne q.
Striktnú implikáciu zaviedol C. I. Lewis roku 1918.
[úprava] Implikácia - názory na ňu
implikácia (logika)
[úprava] Pozri aj
druhy/príklady implikácie
názory na implikáciu
spojenie výrokové