Trabajo N◦ 1, Pensamiento Matem

´atico L´ogica Matem´atica

Docente: Ignacio Osuna Vergara
Estudiante: Tatiana Karina Rubio
Torres
De cada uno de los puntos siguientes elegir al menos tres(3) item’s de cada uno y entregarlos resueltos
a m´as 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 físicamente 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 simbólica las siguientes proposiciones, determine cuáles son simples y cu´ales de ellas
son proposiciones compuestas. En cada caso determine el valor l´ogico (verdadero o falso) de la
proposición.

b. Los números impares son mu´ltiplos de 3.

Forma simbólica:
Proposición simple
Valor lógico: Falso. Ejemplo: 11 es impar y sin embargo no es múltiplo de 3.

d. No es cierto que Roma es la capital de Italia.

Forma simbólica: ¬p
Proposición simple
Valor lógico: Falso ya que Roma sí es la capital de Italia

g) 11 es menor que 3 y 5 es menor o igual que 11.

Forma simbólica:
p: 11 es menor que 3(F)
q: 5 es menor o igual que 11(V)
pᴧq
p q pᴧq
V V v
V F f
F V f
F F f

Proposición compuesta
Valor lógico: Falso.

h. El mes de agosto tiene 30 días.

Forma simbólica: p: El mes de agosto tiene 30 días.
Proposición simple
Valor lógico: Falso
 j) El triángulo tiene 3 lados y el cuadrado tiene 5 lados.
Forma simbólica:
p: El triángulo tiene 3 lados (V).
q: El cuadrado tiene 5 lados (F).
pᴧq
p q pᴧq
V V v
V F f
F V f
F F f

Proposición compuesta
Valor lógico: Falso.

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)

a: las aves son seres vivos

b: el canario es un ave
c: el canario es un ser vivo

a b c (a →b) (b → c) (a → c) [(a → b) ∧ (b → c)] [(a → b) ∧ (b → c)] ↔ (a → c)

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

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´alido, d´e una derivación y si no es v´alido,
muestre por qu´e.
P∧Q L→M
a) (P ∨ Q) (M ∨ N) → (L → K)
→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) → I
H f) (¬D ∨ A) → ¬¬C
E∨H ¬D
G∨I ¬B
4) Exprese en lenguaje simb´olico los siguientes enunciados

a) Ningu´n tri´angulo equil´atero puede ser is´osceles

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´esticos, pero sirven de mascota para los invidentes.
i) Un animal agresivo no puede servir de mascota de nin˜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
Todo hombre es mortal.
Algunos hombres son sabios.

Para todo x, si x es hombre entonces x es mortal.

Existe un x, tal que x es hombre y x es sabio

b) Argumentaci´on por contrarec´ıproca y reducci´on al absurdo