Se representarmos as _________ e a _________ utilizando fórmulas de predicados, podemos determinar que o argumento base é válido se o conjunto das ...

Se representarmos as _________ e a _________ utilizando fórmulas de predicados, podemos determinar que o argumento base é válido se o conjunto das fórmulas que representam as ________ “implicar” logicamente a fórmula que corresponde a ________ . Assinale a alternativa que preenche as lacunas do texto corretamente e respectivamente:

a. Consequentes; premissa; conclusões; antecedente.
b. Conclusões; premissa; conclusões; premissa.
c. Apagoges; antecedente; consequentes; apagoge.
d. Antecedentes; premissa; consequentes; antecedente.
e. Premissas; conclusão; premissas; conclusão.