Implikacija

Implikacija sudova a i b je sud "a implicira b", koji je lažan jedino ako je sud a istinit, a sud b lažan.

» Rječnik pojmova