Pravidlo odlúčenia

pravidlo odlúčenia = pravidlo modus ponens lat. modus ponens
rus. pravilo otdelenija

- 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é".