INTRODUCCION

Sin lugar a dudas una de las ramas de las matemáticas mas importantes es la lógica,
con ella simplificamos y optimizamos expresiones para concluir y razonar con
sentido y sin caer en ambigüedades, es precisamente allí donde le curso de lógica
de la universidad nacional abierta y a distancia UNAD, quiere enseñarnos las
principales temáticas de esta hermosa ciencia matemática, en esta primera entrega
entendemos por medio de ejercicios propuestos conceptos básicos como
tautologías, contingencia, tablas de verdad, proposiciones, etc.
Ejercicio 1
Ejercicio 2
D.
Juan juega básquet por hobby o practica tenis de forma profesional. Si
practica tenis de forma profesional entonces juega por más de tres horas
diarias y quema muchas calorías.

Explicación paso a paso:

Definición de preposiciones simples:

𝑝: 𝐽𝑢𝑎𝑛 𝑗𝑢𝑒𝑔𝑎 𝑏á𝑠𝑞𝑢𝑒𝑡 𝑝𝑜𝑟 ℎ𝑜𝑏𝑏𝑦

𝑞: 𝑝𝑟𝑎𝑐𝑡𝑖𝑐𝑎 𝑡𝑒𝑛𝑖𝑠 𝑑𝑒 𝑓𝑜𝑟𝑚𝑎 𝑝𝑟𝑜𝑓𝑒𝑠𝑖𝑜𝑛𝑎𝑙

𝑟: 𝑗𝑢𝑒𝑔𝑎 𝑝𝑜𝑟 𝑚á𝑠 𝑑𝑒 𝑡𝑟𝑒𝑠 ℎ𝑜𝑟𝑎𝑠 𝑑𝑖𝑎𝑟𝑖𝑎𝑠

𝑜: 𝑞𝑢𝑒𝑚𝑎 𝑚𝑢𝑐ℎ𝑎𝑠 𝑐𝑎𝑙𝑜𝑟í𝑎𝑠

Lenguaje natural de la exposición formal

(𝒑 𝒗 𝒒) → 𝒒 → 𝒓 ∧ 𝒐

 Definir las proposiciones simples del argumento:

(𝒑 𝒗 𝒒) : Juan juega básquet por hobby o practica tenis de forma profesional.

𝒒 → 𝒓 ∧ 𝒐 : Si practica tenis de forma profesional entonces juega por más de tres

horas diarias y quema muchas calorías
  Definir la expresión del argumento en lenguaje simbólico o formal.

Juan juega básquet por hobby o practica tenis de forma profesional. Si practica tenis
de forma profesional entonces juega por más de tres horas diarias y quema muchas
calorías.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico y determinar si el resultado es una tautología, contingencia o
contradicción

p q r o (pvq) (r^o) (q→((r^o))) (((pvq))→((q→((r^o)))))

F F F F F F V V

F F F V F F V V

F F V F F F V V

F F V V F V V V

F V F F V F F F

F V F V V F F F

F V V F V F F F

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

V F F V V F V V

V F V F V F V V

V F V V V V V V

V V F F V F F F

V V F V V F F F

V V V F V F F F

V V V V V V V V

Definir si el argumento es: Tautología, Contingencia o contradicción

El argumento es contingencia.
Ejercicio 3
(𝒑 ∧ 𝒒) → (𝒒 ∨ ¬𝒓)
𝑝: 𝑠𝑖 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒𝑚𝑒𝑛𝑡𝑒
𝑞: 𝑒𝑠 𝑢𝑛𝑎 𝑝𝑒𝑟𝑠𝑜𝑛𝑎 𝑑𝑖𝑠𝑐𝑖𝑝𝑙𝑖𝑛𝑎𝑑𝑎
𝑞: 𝑠𝑒𝑟á 𝑒𝑙 𝑚𝑒𝑗𝑜𝑟 𝑑𝑒 𝑙𝑎 𝑢𝑛𝑖𝑣𝑒𝑟𝑠𝑖𝑑𝑎𝑑
𝑟: 𝑛𝑜 𝑒𝑠 𝑒𝑙 𝑚𝑒𝑗𝑜𝑟 𝑑𝑒𝑙 𝑐𝑢𝑟𝑠𝑜
Si estudias constantemente y es una persona disciplinada, serás el mejor de la
universidad o el mejor del curso.

p q r (p^q) (~r) (qv(~r)) (((p^q))→((qv(~r))))

F F F F V V V

F F V F F F V

F V F F V V V

F V V F F V V

V F F F V V V

V F V F F F V

V V F V V V V

V V V V F V V

El argumento es una Tautología

 REFERENCIAS BIBLIOGRAFICAS

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores