Wikidata

(Q655742)

English

modus ponens

if X implies Y, and X is true, then Y is true

  • modus ponendo ponens
  • MP
  • implication elimination
  • affirming the antecedent
In more languages

Statements

subclass of
cut rule
0 references
part of
classical logic
0 references
intuitionistic logic
0 references
minimal logic
0 references
defining formula
0 references
0 references

Identifiers

Encyclopædia Britannica Online ID
topic/modus-ponens
subject named as
modus ponens and modus tollens
0 references
nLab ID
modus ponens
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q655742&oldid=2200735245"