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

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


[úprava] Implikácia - druhy/príklady

implikácia

- 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

implikácia (logika)


[úprava] Pozri aj

implikácia


druhy/príklady implikácie

názory na implikáciu

spojenie výrokové