Vyplývanie

Z Wikipédie

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á.



[ú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}}.