modus ponendo ponens

Locução substantiva

modus ponendoponens

  1. forma de argumento válida e simples da lógica proposicional também conhecida como eliminação da implicação; pode ser resumida como "P implica Q, P é afirmado verdade, portanto, Q deve ser verdade"

Sinónimos/Sinônimos

Ver também

Na Wikipédia