Q655742

From Wikidata
Jump to: navigation, search

Modus ponens (Q655742)[edit]

if X implies Y, and X is true, then Y is true [edit]

Also known as:
  • modus ponendo ponens
[edit]

Statements