PROPOCICIONES Y TABLAS DE A VERDAD

DIEGO SEBASTIAN MARTINEZ DIAZ

CÓDIGO: 1118123451
No. DE GRUPO: 200611_605

NOMBRE TUTOR: JORGE RICARDO NEGRETE

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO YMATEMATICO
FECHA: MARZO /2018
INTRODUCCION
En el desarrollo de este trabajo se quiere lograr mejorar los conocimientos en cuanto a los temas
relacionados con la materia, los cuales también son muy importantes en nuestra formación como
ingenieros y como personas.
OBJETIVOS

 Seleccionar un ejercicio por cada tarea, de manera que pueda plantear la solución.

 Diligenciar la tabla 1 PLAN DE ACCION, relacionando los ejercicios seleccionados en

el paso 2 y anunciando los ejercicios a revisar de los compañeros.

 Retroalimentar los ejercicios seleccionados de sus compañeros, comentando sobre los

aciertos y desaciertos que tuvo en la solución planteada.
1. PREPOSICIONES

C. p: Falcao García fue el mejor jugador de Colombia en la copa mundial de Brasil 2014

q: Colombia llegó a la semifinal de la copa mundial de

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

Falcao García no, fue el mejor jugador de Colombia en la copa mundial de 2014. Colombia no,
llego a la semifinal de la copa mundial de Brasil 2014.

RTA: determinación: P: F q: F

¬᷈( 𝒑 ^𝒒) ↔ (¬𝒑 ˅ 𝒒 )

¬ ( F^F) ↔(V∨F)
¬ (F) ↔(V)
(V) ↔(V)
V

 TABLA MANUAL.

p q ¬(pΛq)↔(¬pVq)
V V F
V F F
F V V
F F v

 TRUTH TABLE
2. TABLAS DE LA VERDAD

D. Si hoy es lunes y pasado mañana es miércoles entonces mañana es martes y mañana no es

jueves

P: si hoy es jueves
Q: pasado mañana es miércoles.
R: mañana es martes.
S: mañana no es jueves.

[(P^Q)]→(R^⌐S)
 TABLA MANUAL

p q r s [(pΛq)]→(rΛ¬s)

V V V V F
V V V F V
V V F V F
V V F F F
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V
  TRUTH TABLE

3. PROBLEMAS DE APLICACIÓN.
CONCEPTO DE PREPOSICIONES SIMPLES
Son aquellas que no tienen oraciones componentes afectados por negaciones (“no”) o términos
de enlace como conjunciones y disyunciones o implicaciones entonces pueden aparecer términos
de enlace en el sujeto o en el predicado, pero no entre oraciones.
PREPOSICIONES SIMPLES
P1: (P→Q) P6: (S→P)
P2: (R˅S) P7: (→Q)
P3: (R→T) P8: (S→Q)^(R→T)
P4: (⌐Q) P9: (Q˅T)
P5: (V→T) P10: (T)
LENGUAJE NATURAL DE LA EXPRESIÓN FORMAL.
C. [(𝑝⟶𝑞)∧(𝑟∨𝑠)∧(𝑟⟶𝑡)∧(∼𝑞)∧(𝑢⟶𝑡)∧(𝑠⟶𝑝)]⟶𝑡

TABLAS DE LA VERDAD
 TABLA MANUAL

p q r s t u [(p→q)Λ(rVs)Λ(r→t)Λ(¬q)Λ(u→t)Λ(s→p)]→t

v v v V V V V
v v v V V F V
v v v V F V V
v v v V F F V
v v v F V V V
v v v F V F V
v v v F F V V
v v v F F F V
v v F V V V V
v v F V V F V
v v F V F V V
v v F V F F V
v v F F V V V
v v F F V F V
v v F F F V V
v v F F F F V
v F v V V V V
v F v V V F V
v F v V F V V
v F v V F F V
v F v F V V V
v F v F V F V
v F v F F V V
v F v F F F V
v F F V V V V
v F F V V F V
v F F V F V V
v F F V F F V
v F F F V V V
v F F F V F V
v F F F F V V
v F F F F F V
F v V V T V V
F v V V T F V
F v V V F V V
F v V V F F V
F v V F V V V
F v V F V F V
F v V F F V V
F v V F F F V
F v F V V V V
F v F V V F V
F v F V F V V
F v F V F F V
F v F F V V V
F v F F V F V
F v F F F V V
F v F F F F V
F F V V V V V
F F V V V F V
 F F V V F V V
F F V V F F V
F F V F V V V
F F V F V F V
F F V F F V V
F F V F F F V
F F F V V V V
F F F V V F V
F F F V F V V
F F F V F F V
F F F F V V V
F F F F V F V
F F F F F V V
F F F F F F V

 TRUTH TABLE

p q r s t u [(p→q)Λ(rVs)Λ(r→t)Λ(¬q)Λ(u→t)Λ(s→p)]→t

T T T T T T T
T T T T T F T
T T T T F T T
T T T T F F T
T T T F T T T
T T T F T F T
T T T F F T T
T T T F F F T
T T F T T T T
T T F T T F T
T T F T F T T
T T F T F F T
T T F F T T T
T T F F T F T
T T F F F T T
T T F F F F T
T F T T T T T
T F T T T F T
T F T T F T T
T F T T F F T
T F T F T T T
T F T F T F T
T F T F F T T
T F T F F F T
T F F T T T T
T F F T T F T
T F F T F T T
T F F T F F T
T F F F T T T
T F F F T F T
T F F F F T T
T F F F F F T
F T T T T T T
F T T T T F T
F T T T F T T
F T T T F F T
F T T F T T T
F T T F T F T
F T T F F T T
F T T F F F T
F T F T T T T
F T F T T F T
F T F T F T T
F T F T F F T
F T F F T T T
F T F F T F T
F T F F F T T
F T F F F F T
F F T T T T T
F F T T T F T
F F T T F T T
 F F T T F F T
F F T F T T T
F F T F T F T
F F T F F T T
F F T F F F T
F F F T T T T
F F F T T F T
F F F T F T T
F F F T F F T
F F F F T T T
F F F F T F T
F F F F F T T
F F F F F F T

EXPRESION ES : tautología
 Tabla 1
TABLA 1:PLAN DE ACCION - GRUPO ##
Datos Estudiante Fotografía Ejercicios Ejercicios seleccionado s
seleccionado revisar
sa
desarrollar
Identificación :1098672821 Tarea 1: D Tarea 1: A
Nombre Luisa Fernanda Rodríguez Cristancho
CEAD/Acacias Tarea 2: E Tarea 2: B

Tarea 3: C Tarea 3: C

Identificación: Tarea 1: C Tarea 1: D

1118123605
Nombre: Diego Sebastián Martínez Díaz Tarea 2: D Tarea 2: C
CEAD: Acacias
Tarea 3: C Tarea 3: B

Identificación Tarea 1: Tarea 1:

Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación Tarea 1: Tarea 1:

Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación Tarea 1: Tarea 1:

Nombre
CEAD/CCAV/CERES/ Tarea 2: Tarea 2:
UDR
Tarea 3: Tarea 3:
CONCLUSIONES
 Se logró la elección y realización de todos los ejercicios establecidos.
 Obtuve conocimientos con respecto a los temas establecidos.
 Se llevó a cabo el plan de acción y se puso en práctica lo establecido.
BIBLIOGRAFIA
 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=11013570&
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&docID=1
1046000&tm=1489704594878
 Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado
dehttp://hdl.handle.net/10596/13871