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 z Filitu potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.