Lógica Matemática

Unidad 2-Tarea 3- El argumento en lenguaje simbólico

 Lógica Matemática
Unidad 2- tarea 3- El argumento en lenguaje simbólico

Objetivos
• Determinar por medio de las tablas de verdad el valor de
verdad del argumento real, el cual se elaboró por
proposiciones compuestas.
• Elaborar el argumento fijando un roll de desempeño,
dentro del escenario del quehacer cotidiano, el cual
debe ser coherente y representar significativamente su
contenido.
• Probar que uno de los mecanismos para demostrar la
validez de un argumento son las tablas de verdad.
• Probar el valor de verdad del argumento por medio de
las leyes de inferencia.
• Analizar situaciones reales y la probabilidad que sean
eficientes.
 Lógica Matemática
Unidad 2- Tarea 3-El argumento en lenguaje simbólico

Proposiciones compuestas y conectivos Lógicos

Cada proposición compuesta en lenguaje simbólico, esta

unida por medio de los principales conectores lógicos.
Cada proposición en lenguaje simbólico constituye una
oración que tiene un valor de verdad, es decir, puede ser
verdadera o falsa, pero no ambas.
Tener presente que en el lenguaje simbólico
aparentemente, pueden haber proposiciones simples. (Estas
estan unidas por un conector lógico)
Las proposiciones se representan simbólicamente mediante
el uso de letras minúsculas del alfabeto tales como: p, q, r, s,
..., x, y, z, etc.
 Lógica Matemática
Unidad 2- Tarea 3-Argumento en lenguaje simbólico

Conectivos Lógicos
 Lógica Matemática
Unidad 2- Tarea3- Argumento en lenguaje simbólico

Proposiciones Compuestas:
Cuando el argumento esta en lenguaje simbólico, las
Proposiciones estan unidas por un conectivo lógico (Y, O,
entonces, si y solo si, o en el lenguaje natural por un . Que
usualmente significa: Y; por una , que significa: entonces.

p: Salgo a la universidad
q: Tomo un trasmilenio
r: llego temprano a clases
(pꓥ q) → r Argumento en lenguaje simbólico
Argumento en lenguaje natural: Salgo a la Universidad y tomo un trans
milenio, entonces llego temprano a clases.
Observe que en transmilenio hay una , la cual podría omitir o
reemplazar la palabra: entonces
 Lógica Matemática
Unidad 2- Tarea3- Argumento en lenguaje simbólico
Tabla de verdad:

Una tabla de verdad es una representación esquemática de las relaciones entre

proposiciones compuestas; sirve para encontrar el valor de verdad del argumento,
el cual depende de los conectivos utilizados y de los valores de verdad de sus
proposiciones simples.
La siguiente tabla resume los valores de verdad para los conectivos lógicos, la cual
parte de proposiciones verdaderas y observe que en otra columna se niega la
proposición ( ̴ p) y sus valores de verdad son contrarios a p, si en el argumento
esta negada.
 Lógica Matemática
Unidad 2- Tarea3- Argumento en lenguaje simbólico

Ejemplo
El siguiente argumento esta en lenguaje simbólico:
[(p → q) ꓥ ( ¬ p → r) ] → ( q ᴠ r )
Pase este argumento a lenguaje natural, para lo cual debe establecer un rol, o
sea Usted debe ser el protagonista coherente con el rol que desempeñara como
si estubiera actuando en la vida real o cotidiana de unos hechos verdaderos.
Para el caso: el rol que va a desempeñar es: salir al trabajo, tomar un medio de
transporte y cumplir con la hora de entrada a la Empresa donde labora.
1. Tenga en cuenta que las proposiciones son compuestas, además estan
unidas por medio de conectores lógicos.
2. Asigne un contenido a cada proposición simple, teniendo en cuenta el rol.
3. Una las proposiciones con el significado que le asigne a cada una de ellas,en
la dirección que esta el argumento en lenguaje simbólico y tenga en cuenta
los conectores lógicos.
 Lógica Matemática
Unidad 2- tarea 3- Argumento en lenguaje simbólico

Proposiciones simples
P:Salgo para el trabajo
q: tomo el Transmilenio
r: Llego temprano

[(p → q) ꓥ ( ¬ p → r) ] → ( q ᴠ r )

Argumento en lenguaje natural:

Antecedente: color verde
Consecuente: color purpura
Si salgo para el trabajo entonces tomo el Transmilenio y NO salgo para el trabajo
entonces llego temprano entonces tomo el Transmilenio O llego temprano
 Lógica matemática

Unidad 2-Tarea 3- Argumento en lenguaje simbólico

Tabla de verdad
p q r ~p (p-->q) (~p-->r) (qVr) (p-->q)Λ(~P-->r) (p-->q)Λ(~P-->r)-->(qVr)
V V V F V V V V V
V V F F V V V V V
V F V F F F V F V
V F F F F V F F V
F V V V V V V V V
F V F V V F V F V
F F V V V V V V V
F F F V V F F F V
 Logica matemática

Corroboración con el Simulador Truth

 Lógica matemática
Unidad 2- Tarea 3- Argumento en lenguaje simbólico

Leyes de inferencia

P1. P-q
P2. ¬ Pr
----------------
qV r
P3. q mpp 1
P4. r mpp 2
P5. qV r AD 3,4
 Lógica Matemática
Unidad 2-Tarea 3- Argumento en lenguaje simbólico

Conclusiones
• Las tablas de verdad nos permiten determinar el valor de
verdad de proposiciones compuestas, para cada
combinación posible, según el valor de verdad dado.

• Uno de los mecanismos para demostrar la validez de un

argumento son las tablas de verdad.
• El argumento simbólico es muy útil para las
comunicaciones modernas a través de las tics
• Las leyes de la inferencia nos permite demostrar la validez
de un argumento.
• La interpretación coherente del argumento simbólico nos
permite demostrar la lógica de la vida diaria.

• El uso adecuado de los temas vistos, nos permite analizar

situaciones de la vida cotidiana y tomar decisiones
 Lógica matemática
Unidad 2- Tarea 3- Argumento en lenguaje simbolico
 Lógica Matemática
Proposiciones y conectivos Lógicos

Referencias:
• Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a
las matemáticas universitarias. México: McGraw-Hill
Interamericana. http://www.ebrary.com. Recuperado:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/rea
der.action?docID=10473069
• Villalpando, B. J. F. (2000). Matemáticas discretas:
aplicaciones y ejercicios. : Larousse - Grupo Editorial
Patria. Páginas 19 - 29. Recuperado de:
http://hdl.handle.net/10596/6551
• Chávez, C. P. (2000). Compendio de lógica. : Larousse -
Grupo Editorial Patria. Páginas 151- 162. Recuperado de:
http://hdl.handle.net/10596/6552
 Logica matematica

Unidad 2-Tarea 3- Argumento en lenguaje simbólic