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