Questão de Raciocínio Lógico

A lógica de primeira ordem permite tratar de proposições que incluem propriedades dos objetos do discurso e dos relacionamentos entre eles. Por exemplo, quando se coloca a proposição “Existe um número x tal que x 2 = 16”, e os valores de x são tomados no conjunto dos números naturais, então essa proposição é verdadeira, mas, se x for tomado no conjunto {!1, !2, !3, 0, 1, 2}, então essa proposição é falsa. De modo análogo, a proposição “Para todo número x, x2 … 1” é verdadeira se x estiver no conjunto {!4, !2, 0, 2, 4} e é falsa se x estiver no conjunto dos números naturais. A proposição “Para todo número x, , ou existe um número y tal que é um número ímpar” é verdadeira para x no conjunto