Lgica proposicional

Mara del Pilar Gaitn

E- monitora acadmica
Septiembre 2 de 2014

 No entiendo que
hacer con esto!

Cmo hago esto?

FI-GQ-GCMU-004-015 V. 001-17-04-2013

Cuantificadores
UNIVERSALES: Cualquier cuantificador de la forma para todo, todo, para cada, o cada
se llama cuantificador universal y se simboliza por

Ejemplo: Todos los nmeros reales son menores que dos; pueden traducirse
respectivamente como:
xR/x<2
se lee: para todo equis que pertenece a los reales, se cumple que equis es menor que dos
EXISTENCIALES: Cualquier cuantificador de la forma Existe un x, Hay x , Existe x, tal
que , Algn x , Algunos x se llaman cuantificadores existenciales y se representan asi: .
Ejemplo: Existe un nmero real que es menor que dos; pueden traducirse respectivamente
como:
xR/x<2
se lee: existe un equis que pertenece a erre (a los reales), tal que equis es menor que dos
FI-GQ-GCMU-004-015 V. 001-17-04-2013

Proposiciones equivalentes
Dos proposiciones compuestas se consideran lgicamente
equivalentes, si tienen los mismos valores de verdad para
cada caso en su tabla de verdad.

FI-GQ-GCMU-004-015 V. 001-17-04-2013

Determinar si las siguientes proposiciones son equivalentes

p (r v ~ q) ; (q ~p) v ( ~r ~ p)
P

~p

~q

~r

(r v ~ q) (q ~p) ( ~r ~ p)

FI-GQ-GCMU-004-015 V. 001-17-04-2013

p (r v ~ q) (q ~p) v (
~r ~ p)

Cmo inferir una proposicin en

un texto ?
Reflexin: Por qu estamos estudiando en la universidad? Solemos creer
que estamos estudiando en la universidad para tener un empleo. Si tenemos
dinero, entonces podemos adquirir bienes. Son los bienes materiales lo que
ms deseamos?
Cuando compramos mejores equipos electrnicos, lo que deseamos es
comunicarnos mejor, escuchar y ver mejor a otros seres humanos, esto es as,
porque lo que ms deseamos es el cario sincero y la compaa inteligente.
Qu es lo que ha llevado al ser humano a la construccin de nuevo
conocimiento?
La respuesta es: solucionar problemas para mejorar la calidad de vida de los
seres humanos. Con este fin estamos estudiando en la universidad. Estudiamos
para servir.
FI-GQ-GCMU-004-015 V. 001-17-04-2013

estamos estudiando en la universidad para tener un empleo

podemos adquirir bienes
Son los bienes materiales lo que ms deseamos?
compramos mejores equipos electrnicos, lo que deseamos es comunicarnos mejor,
escuchar y ver mejor a otros seres humanos
P= estamos estudiando en la universidad
Q= tener un empleo
R= podemos adquirir bienes
S= Son los bienes materiales lo que ms deseamos?
T= compramos mejores equipos electrnicos
U= deseamos es comunicarnos mejor
V= escuchar
W = ver mejor a otros seres humanos
R T ; T U; U (V y W)
T (U y V) y W)
PQ

FI-GQ-GCMU-004-015 V. 001-17-04-2013