Ejercicios de lógica proposicional

Luego de haber revisado de los enlaces anteriores el estudiante debe resolver los siguientes
ejercicios:

1) Simbolizar las proposiciones siguientes utilizando el símbolo correspondiente para cada

termino de enlace:
1. No ocurre que ( R)= ¬R
2. No (Q) =¬Q
3. No (H) =¬H
4. No ocurre que (T)= ¬T

2) En la proposiciones siguientes se utiliza más de un término de enlace simbolizar

complemente las proposiciones sustituyendo los términos de enlace por los símbolos
correspondientes:
1. (P) y no (Q) = P ^ (¬Q)
2. No (R) y no (M) =(¬ R) ^ (¬ M)
3. (S) o no (B)= S v (¬B)
4. O no (P) o no Q)= (¬P) v (¬Q)
5. (T) y no ( R) = T ^ (¬ R)

3) Primero señalar cada término de enlace en las proposiciones que siguen. Después
simbolizar las proposiciones enteras sustituyendo p=Jaime es puntual y Q= Tom llega tarde
en las 5 proposiciones
1. O Jaime es puntual o Tom llega tarde = (P) = Jaime es puntual, (Q)= Tom llega tarde.
Conector es una disyunción (O) exclusiva, quedando =(P)v(Q)
2. O Jaime no es puntual o Tom llega tarde= (P) = Jaime es puntual, (Q)= Tom llega tarde.
Conectores una disyunción (O) exclusiva y una negación (NO), quedando =(¬P)v(Q)
3. Tom llega tarde y Jaime no es puntual =(Q) = Tom llega tarde, (P)= Jaime es puntual.
Conectores una conjunción (Y) y una negación (NO), quedando =(Q) ^(¬ P)
4. Jaime no es puntual y Tom llega tarde= (P) = Jaime es puntual, (Q)= Tom llega tarde.
Conectores una conjunción (Y) y una negación (NO),.quedando =(¬P) ^(Q)
5. Tom no llega tarde y Jaime no es puntual =(Q) = Tom llega tarde, (P)= Jaime es
puntual. Conectores una conjunción (Y) y una negación (NO). quedando =(¬Q) ^( ¬P)

4) Identifica cada una de las proposiciones moleculares siguiente escribiendo la palabra que
denota por ejemplo negación, conjunción y disyunción
1. ¬(Q) =negación (NO) de Q
2. (P) &(Q) =Conjunción (Y) entre (P) y (Q)
3. ¬(R) = negación (NO)de (R)
4. ( R) V(S) =Disyunción (O) entre (R) y (S)
 5. (R) &(S) Conjunción (Y) entre (R) y (S)
6. ¬(T) =negación (NO) de T
7. (P) V(Q)= Disyunción (O) entre (P) y (Q)
8. (R) &(T) =Conjunción (Y) entre (R) y (T)
9. ¬(S) negación (NO) de S
10. (T) V (Q) =Disyunción (O) entre (T) y (Q)

5) Cada una de las proposiciones simbolizadas siguientes es un conjunción, por lo que el

termino de enlace mayor o dominante es y poner los paréntesis adecuadamente para
indicar que y es dominante
1. P V Q &S = (P V Q) & S
2. Q V R &S = (Q V R) &S
3. Q & R V T = Q & (R V T)
4. P V R & Q= (P V R) & Q
5. R & P V T= R & (P V T)