Logické vyplývanie

Z Wikipé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.

[úprava] Externé odkazy

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

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.


[úprava] Pozri aj