Questão de Raciocínio Lógico — Proposições Categóricas — NC-UFPR 2019
Raciocínio Lógico›Proposições Categóricas
Código
qq536085
Banca
NC-UFPR
Órgão
Prefeitura de Curitiba - PR
Ano
2019
Nível
Superior
Cargo
Auditor Fiscal de Tributos Municipais
Considere verdadeiras as seguintes proposições:Se está chovendo, então faz frio.O mar não está calmo ou posso mergulhar.Está chovendo ou o mar está calmo.Dessas proposições, conclui-se corretamente que:
Afaz frio ou posso mergulhar.
Bestá chovendo e posso mergulhar.
Co mar está calmo.
Dnão faz frio e não posso mergulhar.
Ese faz frio, então está chovendo.
Revelar gabarito e comentário▾
GabaritoA — faz frio ou posso mergulhar.
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”.
Proposições categóricas e inferência lógica
Gabarito: letra A. Das premissas (C → F), (¬M ∨ P) e (C ∨ M), conclui-se necessariamente que (F ∨ P). Isso porque, se C é verdade, então F é verdade (por C → F); se M é verdade, então P é verdade (por ¬M ∨ P). Como C ∨ M é verdade, um dos dois casos ocorre, garantindo F ∨ P.
Vamos analisar cada alternativa com base na dedução.
Alternativa A — ✅ Correta ⟵ GABARITO
A conclusão F ∨ P (faz frio ou posso mergulhar) é uma consequência lógica direta das premissas. A demonstração por casos é clara:
Se C (está chovendo) é verdade, então de C → F obtemos F.
Se M (mar está calmo) é verdade, então de ¬M ∨ P (equivalente a M → P) obtemos P.
Como C ∨ M é verdade, temos F ou P, ou seja, F ∨ P.
Alternativa B — ❌ Incorreta
Afirma C ∧ P (está chovendo e posso mergulhar). Não é necessária: quando C é verdade, P pode ser falso (se M for falso, ¬M é verdade, então ¬M ∨ P é satisfeito mesmo com P falso). Logo, a conjunção não é garantida.
Alternativa C — ❌ Incorreta
Afirma M (mar está calmo). Pode ser que C seja verdade e M falso, pois C ∨ M admite essa possibilidade. Portanto, M não é conclusão obrigatória.
Alternativa D — ❌ Incorreta
Afirma ¬F ∧ ¬P (não faz frio e não posso mergulhar). Essa é a negação de F ∨ P; como F ∨ P é verdadeira, ¬F ∧ ¬P é falsa.
Alternativa E — ❌ Incorreta
Afirma F → C (se faz frio, então está chovendo). A condicional original é C → F; a recíproca não é válida. Pode ocorrer F verdade sem C (ex.: M verdade e C falso, com F? Nesse caso, se M verdade, P verdade, mas F pode ser falso; ou se C falso, C → F é verdade independentemente de F; mas se F for verdade, não há garantia de C). Logo, a alternativa não é consequência lógica.