Preskočiť na obsah

Vyplývanie

z Wikipédie, slobodnej encyklopédie

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

[upraviť | upraviť zdroj]