Se A e B são conjuntos e sep="para todo x pertence a A, existe y pertence...

Se A e B são conjuntos e sep="para todo x pertence a A, existe y pertencente a B tal que x = y2" é uma afirmação lógica, então ~prepresenta sua respectiva negação. ...


Se A e B são conjuntos e se p = "para todo x pertence a A,  existe y pertencente a B tal que x = y2"  é uma afirmação lógica, então ~p representa sua respectiva negação.

Assim sendo, é CORRETO afirmar que ~p é a afirmação: 

Utilizamos cookies e tecnologias semelhantes para aprimorar sua experiência. Política de Privacidade.