UNIDAD 1: PASO 2 - PROPOSICIONES Y TABLAS DE VERDAD

LEDHERZON CONTRERAS PINTO

CÓDIGO: 1122647465 No. DE GRUPO: 200611A_473

HUGO HERNANDO DIAZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

 INTRODUCCION

Las situaciones de la vida cotidiana son entendibles desde el punto de vista humano como acciones

simples, repetitivas y no trascendentales, pero cuando los tomamos desde el punto de vista lógico

matemático nos damos cuenta que se tornan, aunque no más complejos de más atención y de más

orden, puesto que al ser lógicas deben tener un proceso y al ser matemáticas son exactas. A

continuación, apreciaremos tres sencillos ejemplos, desde el más simple hasta el más complejo

donde comprenderemos y analizaremos en contexto real ciertas situaciones en escenarios

cotidianos.
 OBJETIVOS

GENERAL:

Comprender procesos cotidianos de la vida real en términos lógico matemáticos.

ESPECIFICOS:

 Explicar preposiciones simples y complejas, expresiones del lenguaje simbólico y del

lenguaje natural en la formulación y representación del pensamiento lógico.

 Aplicar el uso de tablas de verdad en la representación de preposiciones simples y

complejas.
TAREA 1

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

p:f

q:f

¬(𝒑⋀𝒒)↔(¬𝒑∨𝒒)
Lenguaje natural: es falso que Falcao fue el mejor jugador de Colombia en la copa mundial

Brasil 2014 y Colombia llego a la semifinal de la copa mundial Brasil 2014 SI y solo si Falcao

no fue el mejor jugador de Colombia en la copa mundia de Brasil 2014 o Colombia llego a la

semifinal de la copa mundial de 2014.

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

¬(F⋀F) ↔ (F v F)

(V⋀V)↔(VvF)

V↔V

Respuesta: el valor de verdad para la proposición ¬(𝒑⋀𝒒)↔(¬𝒑∨𝒒) es VERDADERO

TAREA 2

C. Si me matriculo en Ingeniería de Sistemas, veré en primer semestre introducción a la

programación. Me matriculo en Ingeniería Industrial.

Por lo tanto, no veré en primer semestre introducción a la programación.

p: me matriculo en Ingeniería de Sistemas

q: veré en primer semestre introducción a la programación.

r: Me matriculo en Ingeniería Industrial

 EXPRESION SIMBOLICA

[(p→ q)∧r ] →¬q

Respuesta: el valor de verdad para la proposición [(p→ q)∧r ] →¬q es FALSO

p q r ¬q (p→q) [(p→ q)∧r [(p→ q)∧r ] →¬q

V V V F V V F

V V F F V F V

V F V V F F V

V F F V F F V

F V V F V V F

F V F F V F V

F F V V V V V

F F F V V F V

TABLA DE VERDAD SIMULADOR TRUTH

RESPUESTA: el argumento anterior es una CONTINGENCIA

TAREA 3

C. {[(pΛq)→r]Λ(∼rVs)Λ(p→s)}→sVq = {[(p&q)>r]&(~r+s)&(p>s)}>s+q

p:hace sol

q:hace calor

r:llueve en la noche

s:llueve a la madrugada

LENGUAJE NATURAL:

Si hace sol y hace calor entonces llueve en la noche y si no llueve en la noche o llueve a la

madrugada y hace sol y llueve en la madrugada .

 TABLA DE VERDAD

p q r s ∼r (pΛq) (pΛq)→r (∼rVs) {[(pΛq)→r]Λ(∼rVs) (p→s) {[(pΛq)→r]Λ(∼rVs)Λ(p→s) sVq {[(pΛq)→r]Λ(∼rVs)Λ(p→s)}→sVq

V V V V F V V V V V V V V

V V V F F V V F F F F V V

V V F V V V F V F V F V V

V V F F V V F V F F F V V

V F V V F F V V V V V V V

V F V F F F V F F F F F V

V F F V V F V V V V V V V

V F F F V F V V V V F F V

F V V V F F V V V V V V V

F V V F F F V F F V F V V

F V F V V F V V V V V V V

F V F F V F V V V V V V V

F F V V F F V V V V V V V

F F V F F F V F F V F F V

F F F V V F V V V V V V V

F F F F V F V V V V V F F

TABLA DE VERDAD SIMULADOR TRUTH

 CONCLUSIONES

Para concluir podemos afirmar que:

 Los procesos lógico matemáticos son una herramienta imprescindible en el análisis de

procesos reales de la vida cotidiana

 Las tablas de verdad revelan todas las posibilidades frente a situaciones que pueden ser

en resultado verdaderas o falsas.

 Las proposiciones están basadas en eventos o sucesos reales que se analizan a través de

estructuras semánticas, variables y conectores los cuales componen elementos

fundamentales de la lógica de proposiciones.

 BIBLIOGRAFIA

 Ferrando, J., & Gregori, V. (2012). Matemática discreta (2a. ed.). (pp. 1 – 8).

Editorial Reverté. Recuperado de

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=28&docID=

3214878&tm=1519931547569

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

(pp. 3 – 22). El Cid Editor. Recuperado de

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=22&docID=

3213116&tm=1519931780275

 Herrera, M. J. (2005). Lógica de enunciados: algunos aspectos básicos. (pp. 19 – 41).

Instituto Politécnico Nacional. Recuperado de

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=

3192156&tm=1523377197372

 Gutiérrez, G. E., & Larios, G. R. (2010). Fundamentos de matemáticas y lógica. (pp.

162 – 172). Instituto Politécnico Nacional. Recuperado de

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=172&docID

=3188149&tm=1519932598123.