Disciplinas:
Arquitetura de Computadores 4
Arquitetura de Software 2
Banco de Dados 5
Direito Administrativo 3
Direito Constitucional 2
Direito Penal 1
Direito Processual Penal 4
Engenharia de Software 1
Matemática 3
Noções de Informática 1
Português 10
Programação 4
Raciocínio Lógico 7
Redes de Computadores 7
Segurança da Informação 3
Sistemas Operacionais 3
Texto da Questão:
+
Os símbolos lógicos que podem ser usados na prova, e seus significados, são:
P, Q, R, S para proposições que podem ter valor lógico Verdadeiro (V) ou Falso (F)
¬ Negação
→ Implica em
↔ É equivalente a
∧ E (conjunção)
∨ Ou (disjunção)
Existe ao menos um
∀ Para todo
[ ] Separadores
Em uma aldeia moram estrangeiros e nativos, e existem dois tipos de pessoas: as que contam somente verdades e as que contam somente mentiras. Além disso, os dois tipos de pessoas são indistinguíveis. Os moradores X e Y da aldeia travam o diálogo seguinte:
X: Y é um estrangeiro mentiroso. Eu sou nativo.
Y: X está contando a verdade.
Qual das afirmações seguintes é consequência das anteriores?
