Logické vyplývanie

z Wikipédie, slobodnej encyklopédie

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[upraviť | upraviť zdroj]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.