Este documento contiene información sobre lógica proposicional, cuantificadores universales y existenciales, proposiciones equivalentes y cómo inferir proposiciones en un texto. Explica que los cuantificadores universales se simbolizan con "∀" y los existenciales con "∃". También indica que dos proposiciones son equivalentes si tienen los mismos valores de verdad en su tabla.

1. Lógica proposicional
María del Pilar Gaitán
E- monitora académica
Septiembre 2 de 2014

2. ¡ No entiendo que ¿Cómo hago esto?
hacer con esto!
FI-GQ-GCMU-004-015 V. 001-17-04-2013

3. 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 números reales son menores que dos; pueden traducirse
respectivamente como:
∀ x ∈ R / 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 , Algún x , Algunos x se llaman cuantificadores existenciales y se representan asi: “∃“.
Ejemplo: Existe un número real que es menor que dos; pueden traducirse respectivamente
como:
∃ x ∈ R / 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

4. Proposiciones equivalentes
Dos proposiciones compuestas se consideran lógicamente
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

5. Determinar si las siguientes proposiciones son equivalentes
p → (r v ~ q) ; (q → ~p) v ( ~r → ~ p)
P Q R ~p ~ q ~r (r v ~ q) (q → ~p) ( ~r → ~ p) p → (r v ~ q) (q → ~p) v (
FI-GQ-GCMU-004-015 V. 001-17-04-2013
~r → ~ p)
V V V F F F V F V V V
V V F F F V F F F F F
V F V F V F V V V V V
V F F F V V V V F V V
F V V V F F V V V V V
F V F V F V F V V V V
F F V V V F V V V V V
F F F V V V V V V V V

7. ¿Cómo inferir una proposición en
un texto ?
Reflexión: “¿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
más deseamos?
Cuando compramos mejores equipos electrónicos, lo que deseamos es
comunicarnos mejor, escuchar y ver mejor a otros seres humanos, esto es así,
porque lo que más deseamos es el cariño sincero y la compañía inteligente.
¿Qué es lo que ha llevado al ser humano a la construcción 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

8. estamos estudiando en la universidad para tener un empleo
podemos adquirir bienes
¿Son los bienes materiales lo que más deseamos?
compramos mejores equipos electrónicos, 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 más deseamos?
T= compramos mejores equipos electrónicos
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)
FI-GQ-GCMU-004-015 V. 001-17-04-2013
P  Q