Trabajo N◦ 1, Pensamiento Matemático

Lógica Matemática
Docente: Ignacio Osuna Vergara
De cada uno de los puntos siguientes elegir al menos tres(3) item’s de cada uno y entregarlos resueltos
a más tardar el lunes 13 de septiembre de 2021 en grupos no mayores a tres(3) estudiantes. La entrega la
pueden realizar en un trabajo en fisicamente o virtualmente enviando un email al correo: iosuna@unal.edu.co
Para la calificación se tendrá en cuenta la presentación, el orden y claramente el contenido del trabajo.

1. Escriba en forma simbolica las siguientes proposiciones, determine cuales son simples y cuáles de ellas son
proposiciones compuestas. En cada caso determine el valor lógico (verdadero o falso) de la proposición.
a) Los números enteros que terminan en 0 o en 5 son divisibles por 5.
b) Los números impares son múltiplos de 3.
c) Todos los números primos son impares.
d) No es cierto que Roma es la capital de Italia.
e) Gabriel Garcı́a Márquez escribió la novela “Cien años de Soledad”.
f) 12 + 1 = 7 ó 12 + 1 = 13
g) 11 es menor que 3 y 5 es menor o igual que 11.
h) El mes de agosto tiene 30 dı́as.
j) El triángulo tiene 3 lados y el cuadrado tiene 5 lados.
2) Plantee proposiciones literales que se ajusten a las siguientes situaciones y construya las tablas de verdad
para clasificarlas como tautologı́as, contradicciones o contingencias.
a) [(p ∧ ¬q) → q] ↔ [p → q]
b) [(a → b) ∧ (b → c)] ↔ (a → c)
c) ¬ {[¬p ∧ (¬q ∨ q)] → q}
d) (p → q) ↔ [(¬p → ¬q)]
e) [p ∧ (p → q)] → q
f) [(a ∨ b) ∧ (a ∨ c)] ↔ [a ∨ (b ∧ c)]
g) [(p ∧ ¬q) ∨ (p ∧ r)] → (q ∧ r)
3) Para cada uno de los siguientes argumentos, si es válido, dé una derivación y no es válido, muestre por
qué.
L→M
P ∧Q
(M ∨ N ) → (L → K)
a) (P ∨ Q) → R d)
¬P ∧ L
R
K

P →Q
¬X → Y ¬R → (S → T )
b) ¬X → Z e) R ∨ (P ∨ T )
¬Z → ¬Y ¬R
Q∨S

E→F ¬A → (B → ¬C)
¬G → ¬F C → ¬A
c) H → I f) (¬D ∨ A) → ¬¬C
E∨H ¬D
G∨I ¬B
4) Exprese en lenguaje simbólico los siguientes enunciados

a) Ningún triángulo equilátero puede ser isósceles

b) Los perros grandes que ladran no muerden
c) Los paı́ses violentos padecen de hambre y miseria
d) No todos los hombres y mujeres tienen la capacidad de abstraer
e) Cualquier ser humano que sea estudioso, amable, razonable e inteligente puede llegar a ser un buen
profesional y ocupar altos cargos
f) Existen perros criollos que ladran y no muerden, pero si son molestados pueden morder ferozmente.
g) Los estudiantes irresponsables si son inteligentes pueden ganar las materias y ser promovidos al
siguiente curso.
h) Existen seres inteligentes que no son domésticos, pero sirven de mascota para los invidentes.
i) Un animal agresivo no puede servir de mascota de niños
5) Este ejercicio es obligatorio para todos. Consultar y hacer al menos tres (3) ejemplos de los
siguientes temas:
a) Deducciones que involucran cuantificadores
b) Argumentación por contrarecı́proca y reducción al absurdo