Vyplývanie

Vyplývanie je vzťah medzi výrokmi (súdmi) alebo medzi premisami a záverom, ak je vďaka logickej štruktúre výrokov, ktoré plnia úlohu premís a záveru, vylúčený prípad, že by premisy boli pravdivé a záver nepravdivý; implikácia, ktorej antecedent je tvorený konjunkciou premís a konzekvent záverom, je logicky vždy pravdivá.

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.