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.

Externé odkazy

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.