Está en la página 1de 5

EJERCICIOS MD.

PARA TRABAJAR EN GRUPO


EJERCICIOS DE LOGICA DEDUCCIONES
1.
2.

P Q Q P
P Q P (R Q)

3.

P Q ( P R ) (Q R)

4.

P Q , Q P

5.
6.

P Q , P R ,Q S R S

A B , B (C D ) , ( C E ) F , A E F
P Q , Q P

6.1.
7.

P Q , P R , R Q

8.

P Q ,Q R P R

9.

( Q R ) P , ( Q R ) S S P

10.

( P ) P

11.

P Q , Q P

12.

P Q ( R S ) , ( R T ) , T P

13.

P Q Q P

14.

P Q , P R R (Q R)

15.

R , P Q ,Q R P

16

P ,Q , P ( P ( Q=R ) ) Q R

17.
18.
19.

P , P Q

P ( Q R ) ( P Q ) ( P R )
P=Q (P=Q)

20.

P ,Q R S ( ( P Q ) ( P R ))

21.

P Q , R S , Q P , S T (P Q) ( R T )

22.

( P Q ) P Q

23.

( P Q ) P Q

EJERCICIOS CON ENUNCIADO: METODO ASTERISCO


EJERCICIO 1.
Juan est cansado o enfermo. Si Juan est cansado
entonces se queda en casa. No se queda en casa, luego est
enfermo.

P= Juan est cansado.


Q= Juan est enfermo.
R = Juan se qued en casa.
Premisas:
P Q

P R
R

EJERCICIO 2.Si Bernardo se casa entonces Florinda se suicida, Florinda se


suicida solo si Bernardo no se hace Monge. Luego si
Bernardo se casa, entonces no se hace Monge.
C=Bernardo se casa
S=Florinda se suicida
M=Bernardo se hace Monge.
Premisas:
CS

S M

C M

C S , S M C M

EJERCICIO 3.-Si la banda no pudiera tocar msica o las


bebidas no se entregaran a tiempo entonces la fiesta de
aniversario tendr que cancelarse y Alicia organizadora de la
fiesta se enojara .si la fiesta se cancelara, hara que devolver
el dinero .no se devolvi el dinero por lo tanto la banda pudo
tocar la msica.
P=La banda pudo tocar la msica
Q=Las bebidas se entregaron a tiempo
R=La fiesta de Aniversario tendr que cancelarse
S=Alicia organizadora de la fiesta se enojara
T=Haba que devolver el dinero
(P Q)
R
T
T

(R S)

EJERCICIO 4.
Averiguar a qu lugar debo ir el fin de semana. Habr un
concierto si y solo si hay una conferencia. Si no hay un
baile entonces no habr conferencia. Sin embargo no es
el caso que haya baile y concierto pero habr uno de los
dos en consecuencia.
No habr conferencia
P = Habr concierto
Q = Hay conferencia
R = Hay un baile
FORMALIZANDO:

PQ
RQ
(RP)
RP
Q

También podría gustarte