CONTROL DE LECTURA N 02

LGICA

CONTROL DE LECTURA N 2
CONTROL DE LECTURA 2 UNIDAD III .(Puntaje mximo 20 puntos) Enviarlo como archivo PDF
o escaneado.
I. Complete las leyes y equivalencias lgicas que se utilizaron en los siguientes validaciones para
determinar si las inferencias son contingentes, tautolgicos o contradictorios. (10ptos)

1. [

~(p~q)v~q]~q

[ ~ ( ~p v ~ q ) v ~ q ] ~ q
[ (p ^ q ) v ~ q ] ~ q

_______________________
___________________________

~[ (p ^ q ) v ~ q ] v ~ q

_____________________________

[ ~ (p ^ q ) ^ q ] v ~ q

_____________________________

[ (~ p v ~q ) ^ q ] v ~ q
( q ^ ~ p) v ~ q
(~p v ~ q)

________________________________
_________________________________
_________________________________________

2. [ ( p r ) ( q r ) ] ( p q )

~{~ [ ~ ( ~ P r ) ~ ( q ~ r ) ] } v ( p ^ q )

______________________________

~{~ [ ~ ( P v r ) ~ ( ~q v ~ r ) ] } v ( p ^ q )

_______________________________

~{~ [ ( ~P ^~ r ) ( q ^ r ) ] } v ( p ^ q )
~{~ [~ ( ~P ^~ r ) v ( q ^ r ) ] } v ( p ^ q )
~{~ [ ( P v r ) v ( q ^ r ) ] } v ( p ^ q )

__________________________________
_________________________________
__________________________

(pvr)v(q^r)v(p^q)

____________________________

p v [r v ( q ^ r ) ] v ( p ^ q )

_________________________________

pvrv(p^q)
rvpv(p^q)

____________________________________
_______________________________________

CONTROL DE LECTURA N 02
r v [p v ( p ^ q ) ]

LGICA

__________________________________

( r v p)

___________________________________________

3. [ ( q p ) ( p q ) ] q

~ [ ~ {( ~q p ) ^ ( p ~q )} ( p v q ) ] ~q
~ [ ~ {( q v p ) ^ (~p v ~q )} ( p v q ) ] ~q

_______________________

~ [ ( q v p ) ^ (~p v ~q ) v ( p v q ) ] ~q
( q v p ) ^ (~p v ~q ) v ( p v q ) v ~q
(p v q) ^ (~p v ~q ) v (p v q) v ~q
(p v q) v [ ( p v q ) ^ (~p v ~q ) ] v ~q
(p v q) v ~q

________________________
______________________________
_______________________________
_____________________________

________________________________________

p v ( q v ~q )

_______________________________________________

pvT
T

___________________

__________________________________________________
________________________________________________________

4. [ ( p r ) ( q r ) ] ( p q )

[ ~ ( p v r ) ^ ~( ~q v ~r ) ] ( p ^ q )
~ [ ~ ( p v r ) ^ ~( ~q v ~r ) ] v ( p ^ q )
[ ( p v r ) v ( ~q v ~r ) ] v ( p ^ q )

___________________________
______________________________
Ley de morgan y doble negacin

[ ( p v ~q ) v (r v ~r ) ] v ( p ^ q )

conmutativa y Asociativa

[ p v (~q v T) ] v ( p ^ q )

____________________________

pvTv(p^q)
Tv(p^q)
T

_______________________________________
________________________________________

_________________________________________

CONTROL DE LECTURA N 02

LGICA

II. Complete la demostracin de validez de los siguientes argumentos formalizados, siguiendo la

secuencia planteada. En los ejercicios 1,2 y3 escriba en los espacios en blanco el proceso
realizado o el esquema resultante. En el 4to ejercicio realice la demostracin de validez mediante
la prueba que considere pertinente. (10ptos)

EJERCICIO 1

1. p v ( q r )
2. p s
3. s r
/:. r
4. ________________ Silog. Hipottico(2y3)
5. ___________________ Conmutativa (1)
6. _________________ Def. implicador (5)
7. _______________ Silog. Hipottico(4y6)
8. _________________ Def. implicador (7)
9. ___________________ Disritbutiva (8)
10. __________________Simplificacion (9)
11. __________________ Idempotencia (10)
EJERCICIO 3
1. p q
2. s ( t p)
3. p v ( r t)
/:. q s
4. q
__________________
5. (p q) ( q p) ___________
6. p q ____________________
7. p _______________________
8. ( r t) __________________
9. ( r v t) ________________
10. r t __________________
11. t ______________________
12. p t __________________
13. s _______________________
14. q s_____________________

EJERCICIO 2

1. (r v p)
2. p q
/:. s v q
3. (s v q) _____________________
4. s q _____________________
5. q __________________________
6. p _____________________________
7. r p ________________________
8. p _____________________________
9. p ________________________________
10. p p ___________________________
11. (s v q) ( p p)________________
12. s v q ____________________________
EJERCICIO 4
1. q v (r s)
2. (z s)
3. ( t z) (s r)
4. ( p q) v q
//:.

rvt