LOGICA PROPOSICIONAL

PROBLEMAS
1. Identifique cual de las siguientes oraciones son proposiciones. Justifique su respuesta
a) Que linda flor.
b) Los chasquis fueron los mensajeros de los incas.
c) Sobre la montaña Pacaritambo aparecieron los hermanos Ayar.
d) Existen habitantes en el planeta Júpiter.

Solución

a) No es una proposición porque expresa un gusto. Lo lindo o bonito es relativo.

b) Si es proposición pues está comprobado por los historiadores.
c) No es proposición pues los hermanos Ayar es una leyenda de los Incas.
d) Si es proposición pues es una aseveración que puede ser comprobada si es verdadera o
falsa.

2. Clasifique las siguientes proposiciones.

a) Alianza lima y universitario jugarán, hoy día, en el estadio nacional.
b) Los gorilas y los chimpancés pertenecen a la misma familia.
c) Kina Malpartida es la mejor boxeadora del mundo.
d) Si Jonathan corre, transpira.
e) La matemática es una ciencia formal así como la lógica también lo es. C

Solución

a) Es una proposición compuesta porque se puede separar en dos proposiciones simples.

Es decir:
p: Alianza Lima jugará, hoy día, en el estadio nacional.
q: Universitario jurará, hoy día, en el estadio nacional.

Formalización:
p q
b) Es una proposición simple porque no se puede se parar en dos proposiciones. Es decir:
p: Los gorilas pertenecen a la misma familia
q: los chimpancés pertenecen a la misma familia
No tienen sentidos las oraciones por separado.

c) Es una proposición simple. Tener cuidado con este tipo de proposiciones porque
podemos confundirnos por la palabra “ la mejor”. En este caso, Kina Malpartida es
reconocida la mejor boxeadora del mundo por un jurado calificador.

d) Es una proposición compuesta porque tiene la forma de causa efecto.

p: Jonathan corre
q: Jonathan transpira

Formalización
p q
3. Construya la tabla de verdad de las siguientes proposiciones.
a) (p  q) (r p)
 b) (p  q) (r p)

Solución

Los pasos para encontrar los valores de una tabla es:

1. Encuentre los valores de los negadores de cada proposición, si existe.

2. Encuentre los valores de cada paréntesis.
3. Encuentre los valores del negador externo, si existe.
4. Finalmente encuentre los valores de la matriz principal.

a) La tabla de verdad es la siguiente:

p q r [( p  q )]  – ( r  – P )]
1 1 1 1 0 0 1 0
1 1 0 1 0 0 1 0
1 0 1 0 1 0 1 0
1 0 0 0 1 0 1 0
0 1 1 0 1 0 1 1
0 1 0 0 0 1 0 1
0 0 1 1 0 0 1 1
0 0 0 1 1 1 0 1

b) La tabla de verdad es la siguiente:

p q r ( p  –q )  ( r  p )
1 1 1 1 0 1 1
1 1 0 1 0 1 1
1 0 1 1 1 1 1
1 0 0 1 1 1 1
0 1 1 0 0 0 0
0 1 0 0 0 0 1
0 0 1 1 1 0 0
0 0 0 1 1 1 1