De acordo com Alencar Filho (2000, p. 94), “essa regra também é chamada regra de separação e permite deduzir q (conclusão) a partir de p → q e p (premissas)”, e a outra regra “permite, a partir das premissas p → q (condicional) e ~q (negação do consequente), deduzir como conclusão ~p (negação do antecedente)”. Quais são as regras, respectivamente? Questão 1Escolha uma opção: a. Regra do modus ponens e regra do modus tollens. b. Regra do modus tollens e regra do modus ponens. c. Regra do dilema construtivo e regra do dilema disjuntivo. d. Regra do dilema disjuntivo e regra do dilema construtivo. e. Regra da simplificação, e regra da conjunção.