La negación de la formalización: Todos los criminales son viciosos y algunos humanos son criminales, es:
\[\exists x:(Cx\wedge Vx)\vee \forall x: (\sim Hx \hspace{0.1cm} \vee \sim Cx)\]
\[\exists x:(Cx\wedge\sim Vx)\vee \forall x:(\sim Hx \hspace{0.1cm} \vee \sim Cx)\]
\[\exists x:(Cx\vee\sim Vx)\wedge \forall x:(\sim Hx \hspace{0.1cm} \wedge \sim Cx)\]
\[\exists x:(Cx\vee Vx)\vee \forall x:( Hx \hspace{0.1cm} \vee Cx)\]
\[\exists x:(Cx\wedge \sim Vx)\vee \forall x:( \sim Hx \hspace{0.1cm} \wedge Cx)\]
Para reportar una pregunta debes registrarte o iniciar sesión .