FILIT
Obsah
Chronológia
Registre
Vyhľadávanie
Diskusia
Správa

Implikácia (logika)


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).