UTNianos

Hola a Todos,

Tengo una duda con un ejercicio del final 14/07/2016

En el ejercicio 1 a) pedía escribir el lenguaje simbólico, "Algunas elecciones son limpias y no es cierto que todas las elecciones son dudosas o que en alguna de ellas no se cuente con información"
el caso es que no se bien ese "no es cierto que"

seria
p: algunas elecciones son limpias
q: Todas las elecciones son limpias
r: En algunos casos no se cuenta con la información.

opcion 1:
(p^-q)v-r

opcion 2:
(p^-(qv-r)

o como sería porque de calquier forma llego a un resultado invalido

desde ya muchas gracias.

Hola rompecocos. La segunda opción me gusta más. Pero me parece que tenés que cambiar "q" por "todas... son dudosas" y sacar la negación de "r".
Entonces, quedaría algo así:

p ^ -(q v r) = p ^ -q ^ -r

"algunas son limpias" y NO "son todas dudosas" y NO "en alguna de ellas no hay información"

Apliqué DeMorgan para que quede más lindo.