FC ConcursosFC Concursos

Questão FC509317

“João amava Teresa e Teresa amava Raimundo”, a negação desta proposição lógica composta, baseada no primeiro verso de Quadrilha de Carlos Drummond de Andrade é, corretamente indica

Lógica de Proposições

IBFC · 2019

“João amava Teresa e Teresa amava Raimundo”, a negação desta proposição lógica composta, baseada no primeiro verso de Quadrilha de Carlos Drummond de Andrade é, corretamente indicada, na alternativa:

  1. João não amava Teresa e Teresa não amava ninguém
  2. Tereza não amava João e João amava Raimundo
  3. João não amava Teresa e Teresa não amava Raimundo
  4. João não amava Tereza ou Tereza não amava Raimundo
Mostrar resposta e comentário

Gabarito

D

Comentário do professor

Conjunção: a frase composta "João amava Teresa e Teresa amava Raimundo" corresponde a \(a \land b\), onde \(a\) = "João amava Teresa" e \(b\) = "Teresa amava Raimundo".

Negaçã o: para negar a conjunção aplicamos a Lei de De Morgan. Tem-se \(\lnot(a \land b) = \lnot a \lor \lnot b\).

Em linguagem natural isso é: João não amava Teresa ou Teresa não amava Raimundo. Aqui o conectivo ou é o lógico inclusivo, isto é, afirma que pelo menos uma das proposições é falsa, sem exigir que ambas o sejam.

Portanto, a forma negada está corretamente expressa na alternativa D.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo