Tarea 1 de Matem aticas Elementales

1.- Escribe la tabla de verdad para (P Q) (P (Q (P Q))) y P (Q Q)

2.- Escribe la tabla de verdad para a).- P (Q Q) b).- (P Q) (Q P ) c).- (P Q) (Q P ) 3.- En el curso vimos que en el lenguaje de la l ogica existen los conectivos , y la negaci on , esto es aparte de las implicaciones. En la gram atica de este lenguaje, para escribir f ormulas correctas con estos conectivos nos ayudamos de los par entesis para respetar las jerarqu as de los conectivos. Existe un dialecto del lenguaje de la l ogica cuya gram atica se concentra en la utilizaci on de un s olo conectivo y para el cual no hay necesidad de la utilizaci on de par entesis. Dicho dialecto se llama Conjunci on de Negaciones y est a dado de la siguiente forma. Sean P y Q dos f ormula, entonces P Q quiere decir P o Q (i.e., P Q). F jense que es un conectivo binario denido por una echa hacia abajo seguido por dos f ormulas. Demuestra que : i).- P se escribe como P P . ii).- La disyunci on (P ) (Q) se escribe como P P QQ. iii).- La conjunci on (P ) (Q) se escribe como P Q P Q. 4.- Escribe las leyes de De Morgan en el dialecto de Conjunci on de la Negaci on. 5.- Sean A, B y C conjuntos. Demuestra las siguientes propiedades: a) A (B C ) = (A B ) (A C ) b) A (B C ) = (A B ) (A B ) 6.- Sean A y B conjuntos. Demuestra que: a) (A B )c = (Ac B c ) b) (A B )c = (Ac B c ) 7.- Sean A y B conjuntos, demuestra que: i).- A A = = A ii).- A = A iii).- A B = B A si y slo si A = B .

8.- Sean A, B, C y D conjuntos, demuestra las siguientes armaciones: i) Si A B y C D entonces A B C D. ii) A (B C ) = (A B ) (A C ). iii) A (B C ) = (A B ) (A C ). iv) A = . v) (A B ) (C D) = (A C ) (B D).