Lgica Proposicional Ejercicios Resueltos

Simbolizacion de proposiciones lgicas

1. Las computadoras trabajan ms rpido que los hombres.
2. No tengo un auto azul.
3. Marcela estudia en Quito y Pablo en Loja.
4. Bailamos o tomamaos caf.
5. Si cantamos entonce necesitamos viajar.
6. Leere este libro si solo si tiene pocas hojas.
7. No es cierto que si no tomamos caf implica que no es de da.
8. La tierra gira alrededor del sol no se da que la luna es un planeta.
9. Si trabajara los fines de semana y durmiera menos entonces no perdera el vuelo.
10. Es falso que vivo en Loja, pero visitar a mi familia en Cuenca.
11. No iremos al partido a menos que salga el sol.
12. Ana es profesora o es estudiante pero no puede ser ambas cosas a la vez.

Ejerciciosdeformalizacindeinferencias.
Ejercicio01
Si Rosa participa en el municipio escolar entonces los estudiantes se enojan con ella, y si no
participa en el municipio escolar, los profesores se enojan con ella. Pero, Rosa participa en el
municipio escolar o no participa. Por lo tanto, los estudiantes o los profesores se enojan con ella.

Ejercicio 02
Si viene en tren, llegar antes de las seis. Si viene en coche, llegar antes de las seis. Luego, tanto
si
viene en tren como si viene en coche, llegar antes de las seis:

A) [p(rq)][(pr)q]

B)[(pq)(rq)] (prq)

D) [(p q) (r q)] [(p r) p]

Ejercicio03

C) (pq)(rq)(pr)q

E) [(p q) (r q)] [(p r) q]

Si no apruebas o no resuelves este problema, entonces es falso que, hayas estudiado o domines la
deduccin lgica. Pero no dominas la deduccin lgica aunque has estudiado.

A)[(~p ~q) (~r s)] ~s r

C) [~(p q) ~(r s)] ~s r

B) [(~p ~q) (~r s)] ~s r

D) [(~p ~q) ~(r s)] ~s r

E)[(~p ~q) ~(r s)] s r

Ejerciciosdeaplicacin.
Ejercicio 01
La proposicin: [r ~(p q)] ~[p~(sq)] es verdadera. Los valores de verdad de las
proposiciones p, q, r y s son respectivamente:

A) VFVF

B) VFVV

C) VFFV

D) VFFF

E) FFVF

Ejercicio 02
Si la proposicin: [(~p q) (q r)] (q s) es falsa, siendo p una proposicin verdadera,
determine los valores de verdad de q, r,s en ese orden.

A) VVV

B) VFV

C) VFF

D) FFV

E) FFF

Ejercicio 03
Si la proposicin: (~p q) (r ~s) F. Determine el valor de verdad de las siguientes
proposiciones.
I. (~p ~q) ~q
II. (~r q) [(~q r) s]
III. (p q) [(p q) ~q]

A) VVV

B) VVF

Ejercicio 04
Dada la proposicin:
[(r q) (r p)] V

C) VFF

D) FVV

E) FFF

donde se sabe que qes una proposicin falsa.

Halle el valor de verdad de las siguientes proposiciones:
I. r (p q)
II. [r (p q)] (q p)
III. (r p) (q p)

A) VVV

B) VVF

C) VFF

D) FFF

E) FFV

Ejercicio 05
La proposicin (p q) (p q) es equivalente a:

A) p

B) p

C) q

D) q

E) p q

Ejercicio 06
El contrarrecproco de la siguiente proposicin: si x es un cuadriltero, entonces no es un
tringulo y tiene 4 lados es:
A) Si x es un tringulo y no tiene 4 lados, entonces no es un cuadriltero.
B) Si x no es un tringulo o no tiene 4 lados, entonces es un cuadriltero.
C) Si x no es un tringulo o tiene 4 lados, entonces es un cuadriltero.
D) Si x no es un tringulo o no tiene 4 lados, entonces no es un cuadriltero.
E) Si x es un tringulo o no tiene 4 lados, entonces no es un cuadriltero.

Tabla de Equivalencias Lgicas

http://profe-alexz.blogspot.mx/2010/05/logica-proposicional.html

.....:: ejercicios ::.....

desarrollo
s

1.
entrar

2.
-

http://www.guiamath.net/ejercicios_resueltos/01_03_01_02-Logica_Leguajesimb/0_lenguaje-simbol.html

http://www.monografias.com/trabajos-pdf5/logica-proposicional-ejerciciosresueltos/logica-proposicional-ejercicios-resueltos.shtml