Professional Documents
Culture Documents
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 ) ( 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 )
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 ) ( De Morgan ) ( De Morgan ) ( Doble Negacin ) ( Distributividad ) ( Distributividad ) ( Complemento ) ( Identidad ) ( Doble Negacin ) ( Definicin ) ( 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 ) (p V) ( Identidad )
( Definicin ) ( p V ) ( Identidad )
( 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