modus ponens

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"