UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2 USO DE TABLAS DE VERDAD

Estudiante
Miller Piedrahita Villegas
1130661052

Docente
John Jairo Getial

Curso
Pensamiento Lógico y Matemático

Grupo
200611_530

Palmira (valle del cauca)

10/31/2017
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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

Etapa1: Terminologías de la lógica matemática.

Tarea: Conceptualización y mínimo 3 ejemplos

QUE ES UNA PROPOSICIÓN

Una proposición es una oración o enunciado que se comprende como una afirmación
respecto a un acontecimiento falso, y que por lo tanto puede determinarse
como verdadero o falso Todos los agrupamientos de palabras que conservan un
sentido son proposiciones, por lo que se dice que las proposiciones son la forma más
elemental de la lógica.

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.

Etapa 2: Propiedades de las operaciones de la lógica proposicional. Tarea: Realizar

una pequeña presentación en PREZI con la demostración o un ejemplo.
https://prezi.com/view/G5mLUMhuabuXt4v9LrBU/
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Etapa 3: Problemas de la lógica proposicional (ubicados en el anexo 1). Tarea:

Planteamiento y resolución, foto de la simulación en TRUTH.
2.Juan es docente del curso Pensamiento Lógico y Matemático y está revisando la
participación que se ha generado en el Foro de Interacción y Producción Intelectual del
Paso 1, de uno de sus grupos asignados; encontrando una conversación que le llamó
mucho la atención y extrajo un fragmento de la misma: “…no desarrollé el problema de
la aplicabilidad de las operaciones entre conjuntos y participé con los ejemplos de la
operaciones entre conjuntos o no desarrollé el problema de la aplicabilidad de las
operaciones entre conjuntos y desarrollé el problema de la aplicabilidad entre conjuntos
y no socialicé el aporte en el E-Portafolio…”.
Transforma este fragmento de la conversación que cautivó la atención de Juan en
lenguaje formal, realiza las respectivas tablas de verdad e indica si es tautología,
contradicción o contingencia. Además debes hacer la comprobación con el uso del
simulador TRUTH.
(p) el problema de la aplicabilidad de las operaciones entre conjuntos
(q) ejemplos de las operaciones entre conjuntos
(r) problema de la aplicabilidad entre conjuntos
(s) socialicé el aporte en el E-Portafolio

p q r s (¬𝑝 ∧ 𝑞) (¬𝑝 ∧ 𝑠) (¬𝑝 ∧ 𝑞) ∨ (¬𝑝 ∧ 𝑠) [(¬𝑝 ∧ 𝑞) ∨ (¬𝑝 ∧ 𝑠)] ∧ ¬𝑟

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

Etapa 4: Enunciados denominados silogismos categóricos (ubicados en el anexo

1). Tarea: representar gráficamente con el uso del diagrama de venn.

Toda elipse posee eje mayor y eje menor.

Todos los planetas del Sistema Solar poseen como trayectoria una elipse.
Todos los planetas del Sistema Solar poseen eje mayor y eje menor.

P (1) Todos los planetas del sistema solar poseen como trayectoria una elipse

Elipse

Planetas

P (2) toda elipse posee eje mayor y eje menor

Eje mayor y eje

menor

Planetas
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

C Todos los planetas del sistema solar poseen eje mayor y eje menor

Eje mayor y eje Elipse

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

Ejemplo de uso de un generador de tablas de verdad 2. Truth.

https://www.youtube.com/watch?v=ZKg7wt9EGJI&feature=youtu.be