Unidad 1: Paso 2 - Proposiciones y Tablas de Verdad-

Grupo 200611_201

Presentado por:
Mónica Edith Gelvez Correa
Código: 1093736594
GRUPO # 200611_201

PENSAMIENTO LOGICO Y MATEMATICO

Presentado a:
John Alexander Guevara
Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES
PROGRAMA DE PSICOLOGÍA
ABRIL DE 2018
 INTRODUCCION

El presente trabajo se realiza como requisito de la Unidad 1: Paso 2 - Proposiciones

y Tablas de Verdad, del curso Pensamiento lógico y matemático, el desarrollo de
las actividades pretende la apropiación de conceptos básicos y generales de Lógica
proposicional, conocimiento de conectores lógicos, uso de tablas de verdad en
proposiciones compuestas de forma manual y con el uso del simulador Truth Table
tautologías, contradicciones y contingencias, entre otras.
 OBJETIVOS

GENERAL:

 Comprender los conceptos de lógica proposicional y su uso a través de la

realización de ejercicios teorico-practicos.

ESPECIFICOS:

 Identificar las clases de proposiciones y los conectivos lógicos que se puede

encontrar en un enunciado.
 Analizar, interpretar y convertir proposiciones del lenguaje natural al simbólico y
viceversa.
 Determinar los valores de verdad de las diversas proposiciones.
 Analizar los enunciados, determinando los conectores o términos de enlace y
elaborar tablas de verdad de manera manual y utilizando el simulador Truth
Table.

 Definir si el argumento de los ejercicios prácticos corresponde a :Tautología,

contradicción o contingencia.
 TABLA DE PLAN DE ACCION

TABLA 1:PLAN DE ACCION - GRUPO # 200611_201 PENSAMIENTO LOGICO Y MATEMATICO

Datos Estudiante Fotografía Ejercicios Ejercicios seleccionado s
seleccionado revisar
sa
desarrollar
Identificación:1093736594 Tarea 1: A Tarea 1: B
Nombre: Mónica Edith Gelvez C.
CEAD ZCBOY Tarea 2: C Tarea 2: A

Tarea 3: A Tarea 3: B

ACTIVIDADES A DESARROLLAR

Tarea 1: Proposiciones: Ejercicio A

Transcribir en el lenguaje natural la expresión formal que se relaciona y determinar

el valor de verdad de la proposición compuesta, a partir del valor de verdad de cada
proposición simple:

Ejercicio A

A. p: El estadio del Deportivo Cali se llama “Palmaseca”

q: Un equipo de futbol lo componen 12 jugadores

(𝒑⋀𝒒)↔(¬𝒑∨¬𝒒)

Proposición compuesta en lenguaje Natural:

Si el estadio del deportivo Cali se llama “Palmaseca y un equipo de futbol lo

componen 12 jugadores.
Si y solo si el estadio del Deportivo Cali no se llama “Palmaseca” o un equipo de
futbol no lo componen 12 jugadores.

Determinación del valor de verdad:

p: V Es verdadera porque el estadio del deportivo Cali se llama “Palmaseca”

q: F Es falso porque un equipo de futbol lo componen 11 jugadores no 12
jugadores.
(𝒑⋀𝒒)↔(¬𝒑∨¬𝒒)
 (V⋀F)↔( ¬V ∨¬F)
(V⋀F)↔( F ∨ V)
F↔ V
F
Tarea 2: Tablas de verdad

EJERCICIO C: Si tengo una moto y no tengo licencia; y los policías me paran

entonces me harán una multa.
𝒑: tengo una moto
¬𝒒: no tengo licencia
r: los policías me paran
s: me harán una multa.
 Expresión en lenguaje simbólico o formal.

[(𝑝∧∼𝑞) ∧ r] ⟶𝑠

 Generar la tabla de verdad manualmente y a través del simulador Truth

Table.

Tabla de verdad manual [(𝑝∧∼𝑞) ∧ r] ⟶𝑠

 Tabla de verdad simulador Truth Table.

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth

Table. (Las dos tablas son iguales). El argumento es una contingencia, porque se
encuentran mixtos verdaderos y falsos.
Tarea 3: Problemas de aplicación

A. [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

 Definición de las proposiciones simples:

 𝒑: Vivo en Saravena
 𝒒: Arauca es llanera.
 r: Estudio en la UNAD
 s: Abril tiene 30 días
 Proposición compuesta en lenguaje Natural: Si vivo en Saravena, entonces
Arauca es Llanera. Y si no vivo en Saravena entonces estudio en la UNAD.
Además estudio en la UNAD entonces Abril tiene 30 días. Entonces no vivo en
Saravena, entonces Abril tiene 30 días.

p q r s ∼𝑝 r ∼𝑞 s (𝑝⟶𝑞) (∼𝑝⟶𝑟) (𝑟⟶𝑠) (∼𝑞⟶𝑠) (𝑝⟶𝑞)∧(∼𝑝⟶𝑟) (𝑟⟶𝑠) [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)] (∼𝑞⟶𝑠) [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

1 v v v v f v f v v v v v v v v v v
2 v v v f f v f f v v f v v f f v v
3 v v f v f f f v v v v v v v v v v
4 v v f f f f f f v v v v v v v v v
5 v f v v f v f v f v v v f v f v v
6 v f v f f v f f f v f v f f f v v
7 v f f v f f f v f v v v f v f v v
8 v f f f f f f f f v v v f v f v v
9 f v v v v v v v v v v v v v v v v
10 f v v f v v v f v v f f v f f f v
11 f v f v v f v v v f v v f v f v v
12 f v f f v f v f v f v f f v f f v
13 f f v v v v v v v v v v v v v v v
14 f f v f v v v f v v f f v f f f v
15 f f f v v f v v v f v v f v f v v
16 f f f f v f v f v f v f f v f f v

TAUTOLOGIA: Razonamiento valido

 Generar y comprobar el resultado de la tabla de verdad manual versus simulador

Truth Table.

p q r s ∼𝑝 r ∼𝑞 s (𝑝⟶𝑞) (∼𝑝⟶𝑟) (𝑟⟶𝑠) (∼𝑞⟶𝑠) (𝑝⟶𝑞)∧(∼𝑝⟶𝑟) (𝑟⟶𝑠) [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)] (∼𝑞⟶𝑠) [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

1 v v v v f v f v v v v v v v v v v
2 v v v f f v f f v v f v v f f v v
3v v f v f f f v v v v v v v v v v
4v v f f f f f f v v v v v v v v v
5v f v v f v f v f v v v f v f v v
6v f v f f v f f f v f v f f f v v
7v f f v f f f v f v v v f v f v v
8v f f f f f f f f v v v f v f v v
9f v v v v v v v v v v v v v v v v
10 f v v f v v v f v v f f v f f f v
11 f v f v v f v v v f v v f v f v v
12 f v f f v f v f v f v f f v f f v
13 f f v v v v v v v v v v v v v v v
14 f f v f v v v f v v f f v f f f v
15 f f f v v f v v v f v v f v f v v
16 f f f f v f v f v f v f f v f f v

TAUTOLOGIA: Razonamiento valido

El argumento es una Tautología.

 CONCLUSIONES

Es importante conocer esta temática de lógica proposicional, porque permite

determinar si las diversas proposiciones son falsas o verdaderas, basándose
en reglas de inferencia y/o conectores lógicos.

Igualmente permite determinar la validez de los argumentos usando tablas

de verdad, su aplicación se traspone a la vida real porque de una u otra
manera utilizamos la lógica, por ejemplo “si cometemos un delito podemos ir
a la cárcel, “si no estudio entonces pierdo el curso” y así sucesivamente.

Por último cabe resaltar que la resolución de las tareas correspondientes a

Unidad 1: Paso 2 - Proposiciones y Tablas de Verdad permitió profundizar el
conocimiento y aplicación de la lógica proposicional en la resolución de
problemas.
 REFERENCIAS BIBLIOGRÁFICAS

 Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo

Proposicional". En ProQuest (Ed). Matemáticas discretas: aplicaciones y
ejercicios de aplicación. (pp. 19 - 29). Guadalajara, México: Larousse - Grupo
Editorial Patria. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013
570&ppg=30

 Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de

lógica. (pp. 151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria.
Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&doc
ID=11046000&tm=1489704594878

 Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la
educación media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado
de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docI
D=10345286&tm=1492518671601

 Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de

proposiciones. Recuperado de http://hdl.handle.net/10596/7961

 Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado de

http://hdl.handle.net/10596/13871
 Getial J. 2018. Taller Paso 2, Lógica Proposicional UNAD, Pensamiento
Lógico y Matemático. [Archivo de Video]. Recuperado de:
https://www.youtube.com/watch?v=Gi7e_ENDeJ8&t=1810s

 Giraldo J. 2017. Video de Apoyo Uso de Tablas de Verdad–UNAD.[Archivo

de Video].Recuperado de:
https://www.youtube.com/watch?v=vtzznU68L5g

 Simulador truth table Versión 3.11. (1973.) Recuperado de:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/