Questão FC299963
A negação lógica da sentença “Paulo torce pelo Vasco ou é carioca” é:
Lógica de Proposições
FGV · 2018
A negação lógica da sentença “Paulo torce pelo Vasco ou é carioca” é:
- Paulo não torce pelo Vasco ou não é carioca;
- Paulo torce pelo Vasco ou não é carioca;
- Se Paulo torce pelo Vasco, então é carioca;
- Paulo não torce pelo Vasco e não é carioca;
- Se Paulo é carioca, então não torce pelo Vasco.
Mostrar resposta e comentário
Gabarito
D
Comentário do professor
Considere as proposições: \(a\): Paulo torce pelo Vasco e \(b\): Paulo é carioca.
A sentença dada é a disjunção \(a \lor b\). A negação de uma disjunção se obtém pela Lei de De Morgan, que diz:
\(\lnot(a \lor b)\equiv \lnot a \land \lnot b\).
Isso significa que, para negar "Paulo torce pelo Vasco ou é carioca", devemos negar cada parcela e trocar o conectivo ou por e.
Aplicando ao caso: \(\lnot a\): Paulo não torce pelo Vasco; \(\lnot b\): Paulo não é carioca. Juntando: Paulo não torce pelo Vasco e não é carioca.
Conteúdo do catálogo FC Concursos · Atualizado em