(Q655742)

English

modus ponens

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

  • modus ponendo ponens
  • MP

Statements

0 references
0 references
0 references
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit