COM150 - QUIZ VIDEOAULA 1 Sem2

Prévia do material em texto

Lógica de Predicados
Pergunta 1
Considere a seguinte sentença lógica: [ (∃x)(P(x)∧Q(x))∧((∀x)Q(x)→R(x))]→(∃x)(R(x)
. Na demonstração de que tal expressão é uma tautologia, assinale a alternativa que
corresponde às hipóteses.
✅ (∃x)(P(x)∧Q(x)) e ((∀x)Q(x)→R(x))
Q(x)
((∀x)Q(x)→R(x))
(∃x)(P(x)∧Q(x))
(P(x)∧Q(x)) e Q(x)→R(x))