Questão FC41871
Para a questão, considere a seguinte notação para os conectivos lógicos: ~ (para a negação), ∨ (para a disjunção inclusiva), & (para a conjunção) e ⊃ (para a implicação material).
Lógica de Proposições
VUNESP · 2013
Considerando que A e B representam enunciados verdadeiros e M e N representam enunciados falsos, assinale a alternativa que corresponde ao valor de verdade da seguinte forma sentencial: (A & ~M) ⊃ (~B ∨ N)
- O mesmo valor de A ∨ B.
- O valor de verdade não pode ser determinado.
- Verdadeiro.
- Falso.
- O mesmo valor de ~M & ~N.
Mostrar resposta e comentário
Gabarito
D
Comentário do professor
Considere a fórmula \( (A \& \sim M) \supset (\sim B \lor N) \) com \(A\) e \(B\) verdadeiros, \(M\) e \(N\) falsos.
Conjunção: \(A\) é V e \(\sim M\) é V (pois \(M\) é F), logo \(A \& \sim M = V \& V = V\).
Disjunção: \(\sim B\) é F (porque \(B\) é V) e \(N\) é F, então \(\sim B \lor N = F \lor F = F\).
Implicação: uma implicação \(p \supset q\) é falsa somente quando \(p\) é V e \(q\) é F. Aqui temos antecedente V e consequente F, portanto \(V \supset F = F\).
Logo, a forma sentencial é falsa, justificando a resposta correta.
Conteúdo do catálogo FC Concursos · Atualizado em