EJERCICIOS DE LOGICA 1.

Si:
Q1 : ( p ~ r ) (~ r t ) ( p t ) Q2 : ( q ~ r ) ( p q ) ( p ~ r ) Q3 : ( p ~ q ) ~ p ~ q
Q2

Entonces son tautologas P) Solo Q1 Q) Solo

Q1; Q2 y Q3

R) Solo

Q3

S)

Q1 y Q3

T)

Resolucin:

Q1 : ( p ~ r ) (~ r t ) ( p t ) ( p t ) ( p t ) T (Tautologa) Q2 : ( q ~ r ) ( p q ) ( p ~ r ) ( p ~ r ) ( p ~ r ) T (Tautologa) Q3 : ( p ~ q ) ~ p ~ q (~ p ~ q ) ~ q ( p q ) ~ q p T T

Las tres son tautologas ~ p q 2. Si: p q p ~ q ; p q Entonces el valor de verdad de las siguientes proposiciones, es: I) p ~ q ~ ( p ~ q) II) ~ ( pq ) ( p q ) p q ~ (~ pq ) , son: III) ~ p q P) VFV Q) VVF R) FVF S) FFV Resolucin: I) p ~ q ~ ( p ~ q) p ~ q ~ ( p q)
p ~ q p ~ q (V)
p ~ q (~ p ~ q )

T) VVV

II)

~ ( pq ) ( p q ) p q ~ ( p ~ q ) (~ p q ) p q

~ p q p q p q p q (V)

(~ p q ) (~ p q ) p q

p q p q (V) 3. Si la siguiente proposicin: [( p ~ q) (r q)] [(~ p q) q p] , es verdadera, los valores de verdad de p; q y r (en ese orden), son:

III)

~ p q ~ (~ pq ) p q ~ (~ p ~ q )

P) VFF Q) VFV R) VVV S) FVV T) FFV Resolucin: 4. Al simplificar: R = p [ {[( p q) r ] r} { ( p q r ) ( p q) r} ] se obtiene: P) p r Q) p q R) q r S) q ~ r T) q~ r 5. De las siguientes proposiciones: I) Es necesario que Sofa no vaya al cine para que termine su tarea II) No es cierto que Sofa termine su tarea y vaya al cine. III) Sofa no terminar su tarea y no ira al cine. Son equivalentes P) I y III Q) I y II R) II y III S) I, II y III T) Solo I Resolucin: p : Sofa vaya al cine; q : Sofa termine su tarea I: q ~ p ~ p ~ q II: ~ ( p q ) ~ p ~ q III: ~ q ~ p 6. Si se define p q ( p ~ q ) (q ~ p) , al simplificar ~ [( p ~ q ) ~ q ] , se obtiene:

~ [( p ~ q ) ~ q ] ~ {[( p q ) (~ q ~ p )] ~ q} ~ { ~ [( p q ) (~ q ~ p )] ~ q} [( p q ) (~ q ~ p )] q [q ( p q )] [q (~ q ~ p )] ( p q ) (q ~ p ) q ( p ~ p) q 7. Si sabemos que ( p q ) es falso y (q r ) tambin es falso, entonces de las

P) ~ q p qp Resolucin:

Q) p q

R) q

S) ~ p

T)

siguientes proposiciones: I) (~ p r ) s II) ~ [ p (~ q ~ p )] III) [ p (q ~ r )] [(r q) ~ ( q t )] , las verdaderas son: P) I y II Q) II y III R) I y III S) I, II y III

T) Solo II

q V Resolucin: (q r ) F ; ( p q) F p F r F I) (~ p r ) s (V r ) s V II) ~ [ p (~ q ~ p )] ~ [ F (~ q ~ p )] ~ F V III) [ p (q ~ r )] [(r q) ~ (q t )] [ F (V V )] [(r V ) ~ (V t )]

8. Al simplificar: [(~ q ~ p) ~ (~ p ~ q)] [ p ~ q] se obtiene: P) q p Q) ~ q p R) p q S) ~ p q

~ ( p q)

V V V

T)

Resolucin:

[( q ~ p ) ~ ( p ~ q )] (~ p ~ q ) [(q ~ p ) (~ p q )] (~ p ~ q ) (~ p q ) (~ p ~ q) ~ p ~ q ~ ( p q )

9. Dadas las proposiciones: p : Ulises se levanta temprano q : Ulises compra pan r : Ulises va al colegio Al simbolizar: Si Ulises no se levanta temprano y no compra pan, es condicin necesaria y suficiente para que no vaya al colegio se obtiene. P) ~ ( p q) r Q) ~ ( p q) r R) ~ r ( p q) S) ( p ~ q ) r ~ ( p q ) ~ r T) Resolucin: 10. Si: ( p ~ q ) ( p r ) es falsa, entonces los valores de verdad de ~ p; ~ q y ~ r , en el orden dado, son: P) FVV Q) VVV R) VFF S) VVF T) FFV Resolucin:
(p V ~ q ) ( p r ) V
P V q F r F

V ~ p; ~ q y ~ r F V V

Luego: 11. Si

. De aqu:

p q ( p ~ q ) ( p q ) y

si

p q

p @ q

V V

V F F V F F

F V V
p q ) @ ~ [( p q ) (~ p q )]

Entonces al simplificar: (~ Se obtiene: P) p q Q) p q Resolucin:

se obtiene:

R) p q

S) q

T) p ~ q

(~ p q ) ( p ~ q ) ( p q )

~ ( p q ) [~ ( p q ) ~ (q p )] ~ (p q)

En:
(~ p q ) @ ~ [( p q ) (~ p q )] ~ (~ p q )

~ (~ p ~ q )

p q

12. Si al simplificar y negar la siguiente proposicin compuesta: Todos los nmeros enteros son impares y existen nmeros reales irracionales, si existe algn entero par; si y solo si, hay algn numero irracional o cualquier numero entero es un numero impar, si cada numero real es un numero racional, se obtiene: P)Todos los nmeros enteros son pares y existen nmeros reales irracionales. Q) Existen nmeros enteros pares y existen nmeros reales irracionales. R) Existen nmeros enteros pares y todos los nmeros reales son irracionales. S) Existen nmeros pares o existen nmeros reales irracionales. T) Existen enteros pares y existen nmeros reales racionales. Resolucin: Sea: p : todos los nmeros enteros son impares ~ p : existen nmeros enteros son pares q : existen nmeros reales irracionales ~ q : todos los nmeros reales son racionales Simbolizando:
~ {[~ p ( p q )] (~ q (q p )} ~ {~ p ( p q )] (q (q p )} ~ { p ( p q )}

~ {[ p ( p q )] [( p q ) p]} ~ {[~ p ( p q )] [(~ p ~ q ) p]} ~ {(V q ) [( p ~ q ]} ~ {V [( p ~ q ]} ~ p q

Existen nmeros enteros pares y existen nmeros reales irracionales. 5. Si p y q son PVVND , entonces al simplificar: ~ {[(~ p ~ q ) ( p (~ p q )) ] ~ ( p q )} se obtiene: P) p q Q) p q R) p q S) [ p ( p q )] p T) p q Resolucin: ~ {[(~ p ~ q ) ( p (~ p q )) ] ~ ( p q )}
~ {[(~ p ~ q ) ( p q )] ~ ( p q )} ~ {[( p q ) ~ ( p q )] ~ ( p q )}
(p q) (p q)

p q