Questão FC828950
Considere a seguinte proposição composta. “Se Cristiano não é contador, então Lionel é administrador.” Do ponto de vista lógico, uma afirmação equivalente à proposição dada está in
Lógica de Proposições
SELECON · 2024
Considere a seguinte proposição composta.
“Se Cristiano não é contador, então Lionel é administrador.”
Do ponto de vista lógico, uma afirmação equivalente à proposição dada está indicada na seguinte alternativa:
- Se Lionel é administrador, então Cristiano não é contador.
- Se Lionel não é administrador, então Cristiano é contador.
- Se Cristiano é contador, então Lionel não é administrador.
- Se Cristiano não é administrador, então Lionel não é contador.
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
“Se Cristiano não é contador, então Lionel é administrador.” pode ser formalizada por \( \neg C \to L \), onde \(C\) significa “Cristiano é contador” e \(L\) significa “Lionel é administrador”.
Uma regra básica da lógica afirma que um condicional \(P \to Q\) é logicamente equivalente à sua contrapositiva \( \neg Q \to \neg P\). Aplicando isso aqui, tomamos \(P=\neg C\) e \(Q=L\), obtendo \( \neg L \to \neg(\neg C)\).
A dupla negação cancela, de modo que \( \neg L \to C \). Em linguagem corrente: Se Lionel não é administrador, então Cristiano é contador. Essa formulação conserva exatamente os mesmos valores de verdade do condicional inicial, por isso é equivalente.
Conteúdo do catálogo FC Concursos · Atualizado em