Pravidlo odlúčenia
Z Wikipédie
Pravidlo odlúčenia
pravidlo odlúčenia = pravidlo modus ponens lat. modus ponens
rus. pravilo otdelenija je odvodzovacie pravidlo, ktoré spočíva v tom, že keď medzi riadkami dôkazu máme implikáciu a jej antecedent, tak k riadkom dôkazu môžeme pripojiť konzekvent danej implikácie, čiže napr. z pravdivosti A v implikácii A -> B sa odvodzuje B, teda
A -> B
A
B
čo sa číta: Ak A implikuje B a zároveň je známe, že A je pravdivé, tak aj B je 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}}.