Implikácia - druhy/príklady

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 ( L645;267).