Implikácia (logika)

- 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) ( L332;110).