considere o argumento e sua prova: pv (q^r), p v q -> s i-> pvs Podemos afirmar que as regras de inferência utilizadas foram: Escolha uma: a. modus

Para responder a essa pergunta vamos colocar em prática nosso conhecimento sobre Matemática.

Os argumentos fazem parte da Lógica, esse em específico, trata-se de uma Demonstração Matemática. Para tanto, a argumentação deve seguir três princípios:

1. O princípio da identidade;

2. Princípio da não contradição: uma proposição não pode ser verdadeira e falsa;

3. Princípio do terceiro excluído: uma proposição ou é verdadeira ou é falsa, não existe uma terceira alternativa.

No sistema lógico proposicional modus ponens, ou a exclusão da proposição sendo uma argumentação comum e regra de inferência. Sendo assim, a alternativa correta é a letra C “adição, simplificação, modus ponens”.