Lógica proposicional 
María del Pilar Gaitán 
E- monitora académica 
Septiembre 2 de 2014
¡ No entiendo que ¿Cómo hago esto? 
hacer con 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 cuantificad...
Proposiciones equivalentes 
Dos proposiciones compuestas se consideran lógicamente 
equivalentes, si tienen los mismos val...
Determinar si las siguientes proposiciones son equivalentes 
p → (r v ~ q) ; (q → ~p) v ( ~r → ~ p) 
P Q R ~p ~ q ~r (r v ...
¿Cómo inferir una proposición en 
un texto ? 
Reflexión: “¿Por qué estamos estudiando en la universidad? Solemos creer 
qu...
estamos estudiando en la universidad para tener un empleo 
podemos adquirir bienes 
¿Son los bienes materiales lo que más ...
Lógica proposicional
Próxima SlideShare
Cargando en…5
×

Lógica proposicional

12.967 visualizaciones

Publicado el

lógica proposicional, clases de proposiciones

Publicado en: Educación
0 comentarios
4 recomendaciones
Estadísticas
Notas
  • Sé el primero en comentar

Sin descargas
Visualizaciones
Visualizaciones totales
12.967
En SlideShare
0
De insertados
0
Número de insertados
573
Acciones
Compartido
0
Descargas
650
Comentarios
0
Recomendaciones
4
Insertados 0
No insertados

No hay notas en la diapositiva.

Lógica proposicional

  1. 1. Lógica proposicional María del Pilar Gaitán E- monitora académica Septiembre 2 de 2014
  2. 2. ¡ No entiendo que ¿Cómo hago esto? hacer con esto! FI-GQ-GCMU-004-015 V. 001-17-04-2013
  3. 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. 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. 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
  6. 6. ¿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
  7. 7. 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

×