(a) ?x[P(x) ? Q(x)] ? ?xP(x) ? ?xQ(x);
O meu deu inválida.
Para resolver separei a expressão em duas metades, antes de biimplicação e depois.
?x(~P(x) v Q(x) , neguei a primeira e manti a segunda, a implicação virou ou.
?x~P(x) v ?xQ(x) , distributiva
Supondo que Q(x) é sempre falso, a outra expressão vira:
?xP(x) ? ?xQ(x) - outra metade da expressão
~?xP(x) v ?xQ(x) , equivalência lógica (nega primeira, mantém segunda)
x~P(x) v ?xQ(x)Isso torna a expressão toda inválida. Está correto essa maneira de pensar? Como eu posso justificar ela melhor?
em um sistema de coordenadas cartesianas xOy. Determine o número complexo b , de módulo igual a 1 , cujo afixo M pertence ao quarto quadrante e é tal que o ângulo LÔM é reto.
o ângulo entre o eixo horizontal e o afixo 
. O triângulo é retângulo com catetos 
e 
, tal que 
. Seja 
o ângulo complementar. Então 
. Como 
, o ângulo que o afixo 
formará com a horizontal será 
, então 
. Como módulo é um: 
.
.