Flashcard FC381892
Se S ⊆ T e existe algum elemento de Z que não pertence a T, o que se pode inferir sobre Z e S?
Lógica de Proposições
FCC · 2018
Se S ⊆ T e existe algum elemento de Z que não pertence a T, o que se pode inferir sobre Z e S?
Mostrar resposta e comentário
Resposta
Existe pelo menos um elemento de Z que não pertence a S.Justificativa: S ⊆ T implica que se x ∉ T então x ∉ S.
Logo, ∃x (x∈Z ∧ x∉T) ⇒ ∃x (x∈Z ∧ x∉S).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372436
Conteúdo do catálogo FC Concursos · Atualizado em