Modus ponens

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 22. januar 2019; checks kræver 2 redigeringer .

Modus ponens ("inferensregel"): hvis og er afledelige formler, så er det også afledeligt. $EN$ $A til B$ $B$

Notation: , hvor — enhver formler. ${\tfrac {A,\;A\to B}{B))$ $A,B$

Inferensreglen modus ponens, normalt kaldet adskillelsesreglen eller hypotetisk syllogisme , giver os mulighed for at bevæge os fra udsagnet om et betinget udsagn og udsagnet om dets grundlag (antecedent) til udsagnet om konsekvensen (følgende). For eksempel, hvis noget er et metal, så leder det strøm ( ), zink er et metal ( ), så leder zink strøm ( ). Det modsatte er ikke altid sandt: Nikkel og havvand leder elektricitet, men nikkel er et metal, og havvand er ikke et metal. Så hvis det følger af , og er sandt, så kan det enten være sandt eller falsk. $A til B$ $EN$ $B$ $A\to B$ $EN$ $B$ $EN$ $B$ $B$ $EN$

Modus ponens er en slutningsregel i propositionsregning . Det er et særligt tilfælde af opløsningsreglen .

Modus ponens

Se også