Pular para o conteúdo principal

Questão de Raciocínio Lógico — Tautologia, Contradição e Contingência — NC-UFPR 2019

Raciocínio LógicoTautologia, Contradição e Contingência
Código
qq536086
Banca
NC-UFPR
Órgão
Prefeitura de Curitiba - PR
Ano
2019
Nível
Superior
Cargo
Auditor Fiscal de Tributos Municipais
Um argumento da lógica proposicional é formado por premissas (P1, P2, ... , Pn) e uma conclusão (Q). Um argumento é válido quando P₁ ^ P₂ ^... ^ Pn -> Q é uma tautologia. Nesse caso, diz-se que a conclusão Q pode ser deduzida logicamente de P₁ ^ P₂ ^... ^ Pn. Alguns argumentos, chamados fundamentais, são usados correntemente em lógica proposicional para fazer inferências e, portanto, são também conhecidos como Regras de Inferência. Seja o seguinte argumento da Lógica Proposicional:Premissa 1: SE Ana é mais velha que João, ENTÃO Ana cuida de João.Premissa 2: SE Ana cuida de João, ENTÃO os pais de João viajam para o exterior.Conclusão: SE Ana é mais velha que João, ENTÃO os pais de João viajam para o exterior.Assinale a alternativa que apresenta o nome desse argumento.
  1. AModus Ponens.
  2. BModus Tollens.
  3. CDilema Construtivo.
  4. DContrapositivo.
  5. ESilogismo Hipotético.
Revelar gabarito e comentário

GabaritoE — Silogismo Hipotético.

Comentário gerado por IA. É um apoio ao estudo, ancorado em fontes, mas pode conter imprecisões — confira sempre na fonte oficial (lei, súmula, edital e gabarito da banca). Encontrou um erro? Use “Reportar”.

Regras de Inferência - Silogismo Hipotético

Gabarito: letra E. O argumento apresentado segue a forma (p → q) ∧ (q → r) ⇒ (p → r), que é a definição de Silogismo Hipotético (transitividade da condicional). As demais alternativas representam outras regras ou equivalências que não se aplicam a esse formato.

A banca cobra o conhecimento das principais regras de inferência. Vamos analisar cada alternativa:

Alternativa A — ❌ Incorreta

Modus Ponens tem a forma (p → q) ∧ p ⇒ q. No argumento dado, não temos a afirmação da antecedente "Ana é mais velha que João" como premissa, mas sim duas condicionais.

Alternativa B — ❌ Incorreta

Modus Tollens: (p → q) ∧ ¬q ⇒ ¬p. Não há negação do consequente.

Alternativa C — ❌ Incorreta

Dilema Construtivo: (p → q) ∧ (r → s) ∧ (p ∨ r) ⇒ (q ∨ s). O argumento dado não tem disjunção de antecedentes.

Alternativa D — ❌ Incorreta

Contrapositivo é uma equivalência lógica (p → q ≡ ¬q → ¬p), não uma regra de inferência que deduz uma conclusão a partir de duas premissas. O argumento dado não é um contrapositivo.

Alternativa E — ✅ Correta ⟵ GABARITO

Silogismo Hipotético: a estrutura é exatamente (p → q) ∧ (q → r) ⊢ (p → r). É uma das regras de inferência fundamentais, também conhecida como transitividade da implicação.

PEGA ESSA DICA!

Decore as principais regras de inferência: Modus Ponens, Modus Tollens, Silogismo Hipotético, Dilema Construtivo, Silogismo Disjuntivo e Absorção. Identifique a forma das premissas e da conclusão para reconhecer rapidamente qual regra se aplica.

Gabarito: letra E

Link permanente: /questoes/qq536086