4
Em relação à lógica proposicional, temos os seguintes argumentos:
Hipótese 1: p^s→q^r
Hipótese 2: q^r→w^s
Conclusão: p^s→w^s.
Escolha a opção correta sobre o nome desse argumento.
A A tabela verdade possui 8 linhas.
B Modus ponens.
C Silogismo hipotético.
D Modus tollens.
E Simplificação conjuntiva.