Questões de Concurso Público Prefeitura de Inhapi - AL 2015 para Contador

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

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