Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Estudiante
Miller Piedrahita Villegas
1130661052
Docente
John Jairo Getial
Curso
Pensamiento Lógico y Matemático
Grupo
200611_530
OBJETIVO GENERAL
Presentar los conceptos básicos de la lógica proposicional.
OBJETIVOS ESPECIFICOS
* Aprender a identificar las clases de proposiciones que se puedan encontrar en un
texto.
* Analizar las proposiciones en nuestro idioma para determinar su validez.
*Interpretar los enunciados para la elaboración de las tablas de verdad.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
INTRODUCCIÓN
La lógica proposicional es una rama de la lógica que permite representar hechos o
expresiones del mundo real en un lenguaje representativo del conocimiento mediante
propiedades elementales para estudiar a través de proposiciones o sentencias lógicas
su posible evaluación de verdad.
La lógica proposicional toma un rol muy importante en el desarrollo de la inteligencia
artificial, y otros aspectos de la informática.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
PROPOSICIONES SIMPLES
Las proposiciones simples son aquellas que no usan operadores lógicos.
Proposiciones simples son aquellas que expresan un estado de situación en su estado
más sencillo, es decir uniendo a un sujeto con un objeto a partir del verbo ‘es’. Existe
tanto en el ámbito de la matemática como en el de otras disciplinas, e incluso para
cuestiones que no son relativas a ninguna de ellas. Se caracteriza por no tener ningún
término que condicione la proposición de ninguna manera.
EJEMPLOS:
* Miller es alto
*Esa caja es de madera.
*Nada es para siempre.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
PROPOSICIONES COMPUESTAS
Son aquellas que si su usan conectivos u operadores lógicos.
Las proposiciones compuestas, a diferencia de las simples, aparecen mediadas por la
presencia de alguna clase de conector, que puede ser de oposición (habitualmente ‘o’)
de adición (habitualmente ‘y’) o de condición (habitualmente sí).
Esto explica que en la proposición compuesta la relación entre el sujeto y el objeto no
se produzca en forma general, sino sometida a la presencia del conector: podrá
cumplirse solo cuando otra cosa suceda, podrá cumplirse tanto para ese como para
otros, o podrá cumplirse solo para uno de todos.
EJEMPLOS:
*Puedo manejar un auto si tiene dirección hidráulica.
*Gabriel García Márquez fue un gran escritor y bailarín.
*Si tengo hambre pues cocino.
V V V V F F F F
V V V F F F F F
V V F V F F F F
V V F F F F F F
V F V V F F F F
V F V F F F F F
V F F V F F F F
V F F F F F F F
F V V V V V V F
F V V F V F V F
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
F V F V V V V V
F V F F V F V V
F F V V F V V F
F F V F F F F F
F F F V F V V V
F F F F F F F F
SIMULADOR
CONTINGENCIA
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
P (1) Todos los planetas del sistema solar poseen como trayectoria una elipse
Elipse
Planetas
Planetas
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
C Todos los planetas del sistema solar poseen eje mayor y eje menor
Planetas U
Analizando la gráfica nos damos cuenta que al graficar las premisas la conclusión se
grafica automáticamente entonces damos por cierto que el silogismo es válido.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
CONCLUSIONES
Por medio de este trabajo pretendemos profundizar en los conocimientos del uso de la
lógica para encontrar soluciones a los problemas con los que nos podamos encontrar y
dar respuesta por medio de las proposiciones.
Nos damos cuenta de la importancia de tener soluciones claras ya que es de mucha
ayuda al momento de tener que responder correctamente ante un problema de
investigación ya que se podría sustentar racionalmente, mediante el manejo de reglas y
estrategias adecuadas mediante lenguaje simbólico.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
REFERENCIAS O BIBLIOGRAFÍA
Fuente: http://www.ejemplos.co/40-ejemplos-de-proposiciones-simples-y-
compuestas/#ixzz4wovFPKtO
Ejemplos de silogísmos categóricos y diagramas de venn. Interactivo.
http://www.paginasobrefilosofia.com/html/Diagramas%20de%20Venn/Presentacion/wel
come.html