270 Tarea 1
270 Tarea 1
270 Tarea 1
Presentado por:
Cristian Gerley Espinosa Ladino
Código: 1.113.655.786
Presentado a:
ALVARO ANDRES CIFUENTES
Curso:
Lógica Matemática
Curso N°: 200611_270
ESCUELA ECACEN
MAYO 2020
INTRODUCCION............................................................................................................................................. 3
OBJETIVO GENERAL: ..................................................................................................................................... 4
OBJETIVO ESPECIFICOS: ................................................................................................................................ 4
EJERCICIO 1 ............................................................................................................................................. 5
EJERCICIO 2 ............................................................................................................................................... 9
EJERCICIO 3 ................................................................................................................................................. 11
CONCLUSION............................................................................................................................................... 13
Bibliografía .................................................................................................................................................. 14
INTRODUCCION
OBJETIVO ESPECIFICOS:
Analizar las tablas de verdad
Explicar las frases por medio de proposiciones
EJERCICIO 1
EJERCICIO 2
D. El día sin carro en Medellín fue el 12 de febrero y buscan con esta medida reducir los
niveles de contaminación, si y solo si, dejan de transitar vehículos particulares o serán
sancionados con multa.
http://logicaunad.com/jtruth/resolver.php
p=El día sin carro en Medellín
q=reducir los niveles de contaminación
↔si y solo si
r=dejan de transitar vehículos particulares
ˇ= o
s=serán sancionados con multa.
((𝑝^𝑞) ↔ 𝑟]ˇ𝑠
D. [𝑝∧(𝑝⟶𝑞)∧(𝑞→𝑟)]→𝑟
T.S., C. (2010). Ediciones Elizcom, Madrid. Obtenido de Lógica matemática para ingeniería de sistemas y
computación.: https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=109