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
- Výroková logika Logické hádanky, na ktorých riešenie je potrebné využiť logické operácie.