Verifique se essa fórmula abaixo é ou não é válida: (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) , distribut...
