EJERCICIOS DE LOGICA MATEMATICA

A ) Usando tablas demostrar: 1 ) ( p ) p p V F 2 ) p p F p V F 3 ) p p V p V F 4) pV V p V F 5) pV p p V F 6) pF p p V F 7) pF F p V F F F F pF F F F F F pF V F V V V pV V F V V V pV V V p F V p p V V p F V p p F F p F V ( p ) V F

8) p(pq) p p V V F F 9) p(pq) p p V V F F 10 ) ( p q ) p q p V V F F q V F V F p F F V V q F V F V pq V F F F ( p q ) F V V V p q F V V V q V F V F pq V F F F p(pq) V V F F q V F V F pq V V V F p(pq) V V F F

11 ) ( p q ) p q p V V F F q V F V F p F F V V q F V F V pq V V V F ( p q ) F F F V p q F F F V

12 ) ( p q ) r p ( q r ) p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F F F F F qr V F F F V F F F (pq)r V F F F F F F F p(qr) V F F F F F F F

13 ) ( p q ) r p ( q r ) p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V V V V V F F qr V V V F V V V F (pq)r V V V V V V V F p(qr) V V V V V V V F

14 ) ( p q ) r p ( q r ) p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F F F V V qr V F F V V F F V (pq)r V F F V F V V F p(qr) V F F V F V V F

15 ) p ( q r ) ( p q ) ( p r ) p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F F F F F pr V F V F F F F F qr V V V F V V V F p(qr) V V V F F F F F (pq)(pr) V V V F F F F F

16 ) p ( q r ) ( p q ) ( p r ) p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V V V V V F F pr V V V V V F V F qr V F F F V F F F p(qr) V V V V V F F F (pq)(pr) V V V V V F F F

17 ) p q p q p V V F F q V F V F p F F V V p q V F V V pq V F V V

18 ) p q ( p q ) ( q p ) p V V F F q V F V F pq V F V V qp V V F V (pq)(qp) V F F V pq V F F V

19 ) p q ( p q ) p V V F F 20 ) p q ( p q ) p V V F F q V F V F pq V V V F ( p q ) F F F V pq F F F V q V F V F pq V F F F ( p q ) F V V V pq F V V V

21 ) p q ( p q ) ( p q ) p V V F F q V F V F pq V F F F ( p q ) F V V V pq V V V F ( p q ) ( p q ) F V V F pq F V V F

B ) A partir de los conectivos negacin ( ) y disyuncin ( ) se definen: p q =def ( p q ) p q =def p q p q =def ( p q ) ( q p ) p q =def ( p q ) ( p q ) p q =def ( p q ) p q =def ( p q ) Utilizando esas definiciones y las leyes de lgica matemtica, demostrar las siguientes tautologas: 1 ) p q q p q p ( q ) p ( Definicin ) q p ( Doble Negacin ) p q ( Conmutatividad ) pq ( Definicin ) 2 ) ( p q ) p q ( p q ) ( p q ) ( Definicin ) ( p ) q ( De Morgan ) p q ( Doble Negacin ) 3 ) p ( q q ) p p ( q q ) p F ( Complemento ) p F ( Definicin ) p ( Identidad ) 4 ) ( q q ) p p ( q q ) p ( q q ) p V p Fp p

( Definicin ) ( Complemento ) ( Complemento ) ( Identidad )

5) (pq)r p(qr) ( p q ) r ( p q ) r ( p q ) r p ( q r ) p(qr)

( Definicin ) ( De Morgan ) ( Asociatividad ) ( Definicin )

6) p(qr) q(pr) p ( q r ) p ( q r ) ( p q ) r ( q p ) r q ( p r ) q(pr)

( Definicin ) ( Asociatividad ) ( Conmutatividad ) ( Asociatividad ) ( Definicin )

7) (pq)p pq (pq)p ((pq)p)(p(pq)) ( ( p q ) p ) ( p ( p q ) ) ( ( p q ) p ) ( p ( p q ) ) ( ( p q ) p ) ( p ( p q ) ) p ( p ( p q ) ) p ( ( p p ) q ) p ( p q ) ( p p ) ( p q ) F(pq) pq 8) (pq)q pq (pq)q ((pq)q)(q(pq)) ( ( p q ) q ) ( q ( p q ) ) ( ( p q ) q ) ( q ( p q ) ) ( ( ( p ) q ) q ) ( q ( p q ) ) ( ( p q ) q ) ( q ( p q ) ) ( ( p q ) q ) ( q ( q p ) ) ( ( p q ) q ) ( ( q q ) p ) ( ( p q ) q ) ( V p ) ( ( p q ) q ) V ( ( p q ) q ) ( p q ) ( q q ) (pq)V pq 9 ) p q ( p q ) ( p q ) pq (pq)(qp) ( p q ) ( q p ) ( p ( q p ) ) ( q ( q p ) ) ( ( p q ) ( p p ) ) ( ( q q ) ( q p ) ) ( ( p q ) F ) ( F ( q p ) ) ( p q ) ( q p ) ( p q ) ( p q )

( Definicin ) ( Definicin ) ( Definicin ) ( De Morgan ) ( Absorcin ) ( Asociatividad ) ( Idempotencia ) ( Distributividad ) ( Complemento ) ( Identidad )

( Definicin ) ( Definicin ) ( Definicin ) ( De Morgan ) ( Doble Negacin ) ( Conmutatividad ) ( Asociatividad ) ( Complemento ) ( Identidad ) ( Identidad ) ( Distributividad ) ( Complemento ) ( Identidad )

( Definicin ) ( Definicin ) ( Distributividad ) ( Distributividad ) ( Complemento ) ( Identidad ) ( Conmutatividad )

10 ) p q p q p q ( p q ) ( q p ) ( ( p ) q ) ( ( q ) p ) ( p q ) ( q p ) ( q p ) ( p q ) (qp)(pq) (pq)(qp) pq

( Definicin ) ( Definicin ) ( Doble Negacin ) ( Conmutatividad ) ( Definicin ) ( Conmutatividad ) ( Definicin )

11 ) ( p q ) p q ( p q ) ( ( p q ) ( q p ) ) ( ( p q ) ( q p ) ) ( p q ) ( q p ) ( ( p ) q ) ( ( q ) p ) ( p q ) ( q p ) ( ( p q ) q ) ( ( p q ) p ) ( ( p q ) ( q q ) )( ( p p ) ( q p ) ) ( ( p q ) V ) ( V ( q p ) ) ( p q ) ( q p ) ( ( p ) q ) ( q p ) ( p q ) ( q p ) p q 12 ) ( p q ) ( p r ) p ( q r ) ( p q ) ( p r ) ( p q ) ( p r ) ( Definicin ) p ( q r ) ( Distributividad ) p(qr) ( Definicin ) 13 ) ( p q ) ( p r ) p ( q r ) ( p q ) ( p r ) ( p q ) ( p r ) ( ( p q ) p ) r ( p ( q p ) ) r ( p ( p q ) ) r ( ( p p ) q ) r ( p q ) r p ( q r ) p(qr) 14 ) ( p r ) ( q r ) ( p q ) r ( p r ) ( q r ) ( p r ) ( q r ) ( p q ) r ( p q ) r (pq)r

( Definicin ) ( Definicin ) ( De Morgan ) ( De Morgan ) ( Doble Negacin ) ( Distributividad ) ( Distributividad ) ( Complemento ) ( Identidad ) ( Doble Negacin ) ( Definicin ) ( Definicin )

( Definicin ) ( Asociatividad ) ( Asociatividad ) ( Conmutatividad ) ( Asociatividad ) ( Idempotencia ) ( Asociatividad ) ( Definicin )

( Definicin ) ( Distributividad ) ( De Morgan ) ( Definicin )

15 ) ( p r ) ( q r ) ( p q ) r ( p r ) ( q r ) ( p r ) ( q r ) p ( r ( q r ) ) p ( ( r q ) r ) p ( ( q r ) r ) p ( q ( r r ) ) p ( q r ) ( p q ) r ( p q ) r (pq)r 16 ) p p q Sea p Verdadero, entonces: (p V) pq Vq V ( Identidad ) 17 ) p q p Sea p Verdadero, entonces: q p q p q V V 18 ) p p q Sea p Verdadero, entonces: p q p q Vq V 19 ) ( p p ) q Equivale a demostrar: q ( p p ) Sea q Verdadero, entonces: ( p p ) F V

( Definicin ) ( Asociatividad ) ( Asociatividad ) ( Conmutatividad ) ( Asociatividad ) ( Idempotencia ) ( Asociatividad ) ( De Morgan ) ( Definicin )

( Definicin ) (p V) ( Identidad )

( Definicin ) ( p V ) ( Identidad )

( Contra recproco ) ( Complemento ) ( Complemento )

20 ) ( p q ) p q Equivale a demostrar: q ( ( p q ) p ) Sea q Verdadero, entonces: ( ( p q ) p ) ( ( p q ) p ) ( p q ) p ( ( p ) q ) p ( p q ) p ( p V ) p p p V

( Contra recproco ) ( Definicin ) ( De Morgan ) ( De Morgan ) ( Doble Negacin ) ( q V ) ( Identidad ) ( Complemento )

21 ) ( p q ) q p Equivale a demostrar: p ( ( p q ) q ) Sea p Verdadero, entonces: ( ( p q ) q ) ( ( p q ) q ) ( ( p q ) ( q q ) ) ( ( p q ) F ) ( p q ) pq Vq V 22 ) p p p p p ( p p ) p 23 ) p p p p p ( p p ) p

( Contra recproco ) ( Definicin ) ( Distributividad ) ( Complemento ) ( Identidad ) ( De Morgan y Doble Negacin ) (p V) ( Identidad )

( Definicin ) ( Idempotencia )

( Definicin ) ( Idempotencia )

24 ) p q ( p q ) ( p q ) ( p q ) ( p q ) ( ( p q ) ( p q ) ) ( ( p q ) ) pq 25 ) p q ( p p ) ( q q ) ( p p ) ( q q ) ( ( p p ) ( q q ) ) ( p q ) pq 26 ) p q ( p q ) ( p q ) ( p q ) ( p q ) ( ( p q ) ( p q ) ) ( ( p q ) ) pq 27 ) p q ( p p ) ( q q ) ( p p ) ( q q ) ( ( p p ) ( q q ) ) ( p q ) pq

( Definicin ) ( Idempotencia ) ( Doble Negacin )

( Definicin ) ( Idempotencia ) ( Definicin )

( Definicin ) ( Idempotencia ) ( Doble Negacin )

( Definicin ) ( Idempotencia ) ( De Morgan y Doble Negacin )