Considerando que os símbolos ∀, ∃, ~, → e ∨ representam a
quantificação universal, quantificação existencial, negação,
implicação e disjunção, respectivamente, do conjunto de
premissas {∀x(~P(x)∨Q(x)∨R(x)), ∀xP(x)}, infere-se que
Você errou!  
Resposta:
Acesse Comentários para encontrar explicações sobre a solução da questão.
Parabéns! Você acertou!
Aprenda mais ensinando outros alunos ao comentar esta questão.
Ana é atleta ou Bruno é barbeiro. Bruno não é barbeiro ou Carla
não é cantora. Daniela é dentista ou Carla é cantora. Nessas
condições, é correto inferir que
Sabendo-se que os símbolos ~, → e ˅ representam negação,
implicação e disjunção, respectivamente, do conjunto de
premissas {~T, P→Q, R→Q, S→Q, P˅R˅S˅T}, infere-se
Você errou!  
Resposta:
Acesse Comentários para encontrar explicações sobre a solução da questão.
Parabéns! Você acertou!
Aprenda mais ensinando outros alunos ao comentar esta questão.