Matemáticas discretas - "Los estudiantes de informática no son estudiantes de ingeniería"

Question

Luchando con un problema de tarea aquí y no puede entender lógicamente cuál sería correcto (cada uno tiene diferentes tablas de verdad). Necesito expresar el siguiente enunciado utilizando cuantificadores, variables y los predicados M(s), C(s) y E(s)

"Los estudiantes de informática no son estudiantes de ingeniería"

D = conjunto de todos los estudiantes

C(s) = "s es un informático"

E(s) = "s es un estudiante de ingeniería"

Así que estoy atrapado entre,

$\forall s \in D, C(s) \implies \lnot E(s)$

-O-

$\forall s \in D, \lnot C(s) \land E(s)$

Answer 1

El primer ejemplo dice "Todos los estudiantes de informática no son estudiantes de ingeniería". Las personas que no son estudiantes de informática son libres de ser estudiantes de matemáticas o de no serlo.

El segundo dice: "Todos los estudiantes no son de informática y tienen que ser de ingeniería".

Answer 2

SUGERENCIA:

Para todos los estudiantes, el hecho de ser estudiantes de informática garantiza que no son estudiantes de ingeniería.

EDITAR:

Su segunda afirmación lógica afirma que todos los estudiantes son ingenieros y no es un experto en informática.

Su primera afirmación lógica es correcta. Pero, diga si ve cómo esto es así o si quiere más explicaciones.

Answer 3

"Los estudiantes de informática no son estudiantes de ingeniería"

• $\neg \exists s {\in} D ~(C(s)\wedge E(s))$ "no hay ningún estudiante que sea ambas cosas".
• $\forall s {\in} D ~(\neg C(s)\vee \neg E(s))$ "todos los estudiantes o no son de ciencias de la computación o no son de ingeniería"
• $\forall s {\in} D ~(C(s)\to \neg E(s))$ "todos los estudiantes de ciencias de la computación no son estudiantes de ingeniería"
• $\forall s {\in} D ~(E(s)\to \neg C(s))$ "todos los estudiantes de ingeniería no son estudiantes de ciencias de la computación"