Cálculo proposicional

Copia y pega este ejercicio en un documento word. Al finalizar el ejercicio guárdalo en el espacio FTP, el la carpeta que diga Traducciones 4 A-B-C.
Traduce del languaje natural al de la lógica simbólica y vs, según sea el caso:

Fernanda tiene trabajo = F
Sergio inicia una maestría = M
Fernanda compra casa = C
Sergio busca trabajo = B

Sí Sergio inicia una maestría entonces Fernanda tiene trabajo.
Sergio busca trabajo e inicia una maestría, si Fernanda tiene trabajo.
Si Fernanda no tiene trabajo, entonces Sergio no inicia la maestría y busca trabajo.
(M v B) = -C
C > (M & F)
(F v B) = C


Pedro estudia filosofía = E
Pedro vivirá en el D.F. = D
Pedro estudia ingeniería = I
Pedro es feliz = F
Pedro tendrá trabajo = T

Pedro puede estudiar filosofía o ingeniería. Si estudia ingeniería, no tendrá que vivir en el DF.
Si Pedro estudia filosofía, tendrá que vivir en el DF y será feliz.
Si Pedro tiene trabajo, entonces estudió ingeniería y no es feliz.
(T & E) & D
–D = (-E v –T)
F & -(E & D)