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-1704-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
FI-GQ-GCMU-004-015 V. 001-1704-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-1704-2013

Determinar si las siguientes proposiciones son

equivalentes
p (r v ~ q) ; (q ~p) v ( ~r ~ p)
R

~
p

~ q ~r

(r v ~
q)

(q
~p)

( ~r ~
p)

FI-GQ-GCMU-004-015 V. 001-1704-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-1704-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-1704-2013