Traducir del lenguaje natural a L usando los símbolos de las funciones y las siguientes letras para representar las

proposiciones atómicas:

M = María estudió Ingeniería.

N = Nayeli estudió Periodismo.
O = Óscar estudió Filosofía.
P = Pedro estudió Medicina.

¡Ojo! Considera que si decimos:

 “Es falso que…”, “No es cierto que…” o “No es verdad que…”, y, a continuación, le sigue una proposición molecular
con conectivas (&, v, v , , ), eso indica que se está negando toda la molecular.
V.gr. “Es falso que María estudió Ingeniería y Nayeli estudió Periodismo” = ~ (M & N)
 Si simplemente decimos “no”, significa que sólo se está negando la proposición atómica a la que se aplica.
V.gr. “María no es ingeniera y Nayeli no estudió Periodismo” = ~ M & ~ N
 Si decimos “Es falso que…”, “No es cierto que…” o “No es verdad que…” pero a continuación no viene una molecular
con conectivas, sino sólo una atómica o una molecular con puras negaciones, significa que sólo se está negando la
atómica o la molecular con negaciones.
V. gr. “Es falso que Óscar estudió Filosofía” = ~ O
V.gr. “Es falso que Óscar no estudió Filosofía” = ~ ~ O

1. María estudió Ingeniería y Óscar estudió Medina:

2. Nayeli estudió Periodismo pero María no estudió Ingeniería:
3. Nayeli no estudió Periodismo pero María estudió Ingeniería:
4. Es falso que Pedro estudió Medicina o que Óscar estudió Filosofía:
5. Es falso que María no estudió Ingeniería o que Pedro no estudió Medicina:
6. Es