¿Qué forma lógica válida representa el esquema: 'Si p entonces q; p; por lo tanto q'?
Answer and explanation
Correct answer: B. Modus Ponens (o regla de afirmación del antecedente)
- Step 1: Modus Ponens: p -> q, p |- q. Al afirmarse el antecedente, se sigue necesariamente el consecuente. Step 2. Es una de las formas deductivas válidas fundamentales. Answer: Modus Ponens (o regla de afirmación del antecedente). Why not the others: Modus Tollens niega el consecuente (~q |- ~p).
Practise more Argumentación, Lógica Proposicional y Tablas de Verdad.
Free questions with an explanation for every one, and full timed Ciclo Básico Común UBA mock tests.
More Argumentación, Lógica Proposicional y Tablas de Verdad questions
- ¿Qué propiedad lógica define a un razonamiento o argumento deductivo válido?
- ¿Cuál de los siguientes esquemas constituye la falacia formal de afirmación del consecuente?
- En lógica proposicional, ¿qué define a una proposición compuesta como una tautología?
- ¿Qué valor de verdad arroja una proposición condicional (p -> q) cuando el antecedente p es falso y el consecuente q es verdadero?
- ¿Qué caracteriza a una conjunción (p y q) en la tabla de verdad?
- ¿Qué tipo de argumento es aquel donde la conclusión generaliza a partir de una serie finita de casos observados particulares?