Se ha denunciado esta presentación.
Utilizamos tu perfil de LinkedIn y tus datos de actividad para personalizar los anuncios y mostrarte publicidad más relevante. Puedes cambiar tus preferencias de publicidad en cualquier momento.
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

13.182 visualizaciones

Publicado el

lógica proposicional, clases de proposiciones

Publicado en: Educación
  • Sé el primero en comentar

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

×