LOGICA MATEMATICA

Tarea 1

GRUPO 200611B_761

PRESENTADO POR:

PEDRO ORDOSGOITIA BURGOS

CODIGO: 1063950582

PRESENTADO A:

LAURA DANIELA MARROQUIN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

MARZO 2020
 INTRODUCCION

La lógica estudia la forma del razonamiento, es una disciplina que por medio de
reglas y técnicas determina si un argumento es válido. La lógica es ampliamente
aplicada en la filosofía, matemáticas, computación, física. En la filosofía para
determinar si un razonamiento es válido o no, ya que una frase puede tener
diferentes interpretaciones, sin embargo, la lógica permite saber el significado
correcto. En las matemáticas para demostrar teoremas e inferir resultados
matemáticos que puedan ser aplicados en investigaciones. En la computación
para revisar programas. En general la lógica se aplica en la tarea diaria, ya que
cualquier trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para
ir de compras al supermercado una ama de casa tiene que realizar cierto
procedimiento lógico que permita realizar dicha tarea. Si una persona desea pintar
una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si
antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no
pintó la parte alta porque se mancharía lo que ya tiene pintado, también
dependiendo si es zurdo o derecho, él puede pintar de izquierda a derecha o de
derecha a izquierda según el caso, todo esto es la aplicación de la lógica.
 OBJETIVO

Por medio de esta seri de ejercicios se establece la importancia de la lógica

matemática, después definimos el concepto de proposición. Se establece el
significado y utilidad de conectivos lógicos para formar proposiciones compuestas.
También abordamos las proposiciones condicionales y bicondicionales. Definimos
tautología, contradicción y contingente, así mismo explicamos a que se le llama
proposiciones lógicamente equivalentes apoyándonos de tablas de verdad.
EJERCICIO 2
Proposiciones y Tablas de verdad

A. Si la base de un triángulo mide 6 cm y su altura mide 10 cm. Por lo tanto, su

área mide 60 cm²

Proposiciones simples:

p: Si la base de un triángulo mide 6 cm

q: su altura mide 10 cm

r: su área mide 60 cm²

Expresión del argumento en lenguaje simbólico o formal:
Proposición compuesta
p∧q→r

Tablas de verdad
P q r pᴧq pᴧq→r
V v v v v
v v f v f
v f v v v
v f f v v
f v v f v
f v f f v
f f v f v
f f f f v

Es una CONTIGENCIA
Simulador de tabla de verdad.
EJERCICIO 3
Descripción del ejercicio: A continuación, encontrará proposiciones compuestas en
lenguaje simbólico (argumento) para el desarrollo del ejercicio 3:
P= la semana tiene 7 días
q= estudiare ingeniería química
r= los monos saben de política
A. [~𝑝 → (𝑞 ⋀ 𝑟)]
~𝑝= ¨la semana no tiene 7 días¨
q= estudiare ingeniería química
r = los monos saben de política
la semana no tiene 7 días y estudiare ingeniería química, si los monos saben de
política.
p q r [~𝑝 → (𝑞 ⋀ 𝑟)]
v v v v
v v f v
v f v v
v f f v
f v v v
f v f f
f f v f
f f f f

Es una CONTIGENCIA
 CONCLUSION
La idea principal de este trabajo es que como alumnos aprendamos el concepto
de proposición, la forma en que se pueden formar proposiciones compuestas
usando los conectores lógicos, representar enunciados por medio de simbología
lógica, conocer los conceptos de tautología, equivalencia lógica, regla de
inferencia. Realizar demostraciones de teoremas por medio del método directo y
contradicción. Pero con problemas que le sean familiares e interesantes.
 BIBLIOGRAFIA
• Cárdenas, J. L. (2014). Álgebra: Serie universitaria patria. (pp. 2-6). México,
D.F.: Grupo Editorial Patria. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=13&docID=3227286&tm=1531172313538
• 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. Recuperado
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924
• Sánchez, H. R. (2014). Álgebra. (pp. 2- 30). México, D.F., México: Larousse
- Grupo Editorial Patria. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=15&docID=11046169&tm=1489706134764
• Gonzáles, T. L., & Saavedra, M. (2009). Teoría de Conjuntos. En ProQuest
ebrary (Ed). Aciertos matemáticos 11: serie para la educación media. (pp. 20 -24).
Bogotá, Colombia: Educar Editores S.A. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=21&docID=10345286&tm=1489708381971
• Wagner, M. (2016). Lógica Proposiciones 1, [Video]. Recuperado de
http://hdl.handle.net/10596/6542
• Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]. Recuperado
de http://hdl.handle.net/10596/6547