Logické vyplývanie

Logické vyplývanie je také spojenie súdov A a B, keď B vyplýva z A:B logicky vyplýva z A, keď pri všetkých pravdivostných hodnotách platí, že keď je A pravdivé bude pravdivé aj B.

Zdroj 
 

Logika