TALLER N°1 – LOGICA PROPOSICIONAL

¿Qué es la lógica proposicional?

Es una lógica basada en proposiciones, estos son enunciados a los cuales se les puede dar un valor
de verdad.

ej.:

a) 5+7= 12  es una proposición

b) Tenga un día feliz  no es una proposición
c) 15 es un numero primo  es una proposición
d) ¿Estás bien?  no es proposición

NOTA: No son proposiciones los interrogativos y los imperativos.

Existen proposiciones simples y complejas, la diferencia entre ellas es que unas no tienen conectores
lógicos y las otras si usan conectores lógicos

Los conectores lógicos son:

SIMBOLO SE LEE
˄ “Y”
˅ “O”
→ “Implica…” o “si, … entonces…”
↔ “Equivalente con …”, “si y solo si”
~ “no”

Tablas de verdad:

Conjunción (˄):
Disyunción (˅):

Implicación (→):

Equivalencia (↔):

Negación (~)
 1. Traduzca a lenguaje simbólico las siguientes proposiciones:
a) Marcela Orellana es la Directora del Programa de Bachillerato de la USACH y Mago Valdivia
es futbolista.
b) Estudio o voy al cine.
c) Si camino 10km., me canso.
d) Me voy a mi pieza, pero no hago la tarea.
e) J.K. Rowling es autora de “Animales fantásticos y dónde encontrarlos”, si J.K. Rowling
escribió la saga de Harry Potter.

SOLUCIÓN:

a) P˄q
b) P˅q
c) P→q
d) P~q
e) p↔q

2. Represente con la letra p a la proposición “ella tiene ojos azules” y con la letra
q a la proposición “él tiene 45 años de edad”. Traduzca cada proposición a
lenguaje coloquial usual.
a) p∧∼ q
b) ∼ p ∨ q
c) ∼ (p ⇒∼ q)

d) p ⇐∼ q
e) ∼ (∼ p ⇔∼ q)

SOLUCIÓN:

a) Ella tiene los ojos azules y él NO tiene 45 años de edad.

b) Ella NO tiene los ojos azules o él tiene 45 años de edad.
c) NO es cierto que, si ella tiene los ojos azules IMPLICA que él no tiene 45 años de edad.
d) Si él NO tiene 45 años de edad IMPLICA que ella tiene los ojos azules.
e) NO es cierto que, si ella no tendrá los ojos azules SI Y SOLO SI él no tiene 45 años de edad.
 3. Dadas las proposiciones:
p: el triángulo es polígono de tres lados.
q: el triángulo de tres lados congruentes es equilátero.

3.1. Escribe en lenguaje coloquial usual las siguientes proposiciones:

a) ∼ p c) p ⇒∼ q
b) p∨∼ q d) ∼ (∼ p) ⇔∼ q

3.2. Escribe usando conectivos lógicos y las proposiciones p y q lo siguiente:

i) No es cierto que, el triángulo es un polígono de tres lados.
ii) Si el triángulo es un polígono de tres lados, entonces es falso que, el triángulo de tres
lados es equilátero.

Ejercicio:

Tautología: Valores de la tabla de verdad son verdaderos.

Contradicción: Valores de la tabla de verdad son falsos.

Contingencia: Valores de la taba de verdad son verdaderos y falsos

4. Determine si las siguientes proposiciones son Tautología, Contradicción o
ninguna de las dos.
a) (p ∧ q) ⇒ (p ∨ q) h) (p ⇒ q) ∧ (∼ q ∧ p)
b) (p ⇒ q) ∧ (∼ p ⇔ q) i) (p ∧ q) ∧ (∼ p∨∼ q)
c) (p ⇒ q) ⇔ (∼ p ⇒∼ q)
j) p ∨ (p ∧ q)
d) (p ∧ r) ⇔ (q ∨ r)
k) [p ⇒ (q ⇒ r)] ⇔ [(p∧∼ r) ⇒∼ q]
e) [(p ∧ q) ∨ p] ⇔ p
f) (p ⇒ q) ⇔ (∼ q ⇔∼ p) l) [[(p ∧ q) ∨ r] ∧∼ q] ∨ q ⇒ r ∨ q
g) (p ∨ q) ⇒ (p ∧ q) m) [p ⇒ (q ∧ (∼ q))] ⇒∼ p

RPTAS:
a) contingencia
b) contingencia
c) contingencia
d) contingencia
e) tautología
f) contingencia
g) contingencia