Modus ponens

Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită pe 22 ianuarie 2019; verificările necesită 2 modificări .

Modus ponens („regula de inferență”): dacă și sunt formule derivabile, atunci este și derivabil. $A$ $A la B$ $B$

Notație: , unde — orice formule. ${\tfrac {A,\;A\to B}{B}}$ $A,B$

Regula de inferență modus ponens, numită de obicei regula separării sau silogismul ipotetic , ne permite să trecem de la enunțul unui enunț condiționat și enunțul fundamentului său (antecedent) la enunțul consecinței (consecvent). De exemplu, dacă ceva este un metal, atunci acesta conduce curentul ( ), zincul este un metal ( ), atunci zincul conduce curentul ( ). Reversul nu este întotdeauna adevărat: nichelul și apa de mare conduc electricitatea, dar nichelul este un metal, iar apa de mare nu este un metal. Deci, dacă rezultă din , și este adevărat, atunci poate fi adevărat sau fals. $A la B$ $A$ $B$ $A\to B$ $A$ $B$ $A$ $B$ $B$ $A$

Modus ponens este o regulă de inferență în calculul propozițional . Este un caz special al regulii de rezoluție .

Modus ponens

Vezi și