Wikidata

(Q339606)

English

modus ponendo tollens

if X and Y can't both be true, and X is true, then Y isn't true

  • MPT
In more languages

Statements

instance of
theorem
0 references
rule of inference
0 references

Identifiers

Freebase ID
/m/03bx042
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q339606&oldid=2036785736"