Lgica

TEORIA (LO QUE DEBES SABER Y/O RECORDAR) 1) Las proposiciones compuestas que son siempre verdaderas, independiente del valor de verdad de sus composiciones, se llaman TAUTOLOGIAS. 2) Las proposiciones compuestas que son siempre falsas, independiente del valor de verdad de sus composiciones, se llaman CONTRADICCIONES. 3) Las proposiciones compuestas que son verdaderas para algunas combinaciones de los valores de verdad de sus componentes y falsas para otras se denominan CONTINGENCIAS. 4) Teoremas o propiedades que debes saber: Nombre Identidad Idempotencia Involucin Complemento Conmutatividad ( ) Asociatividad Distributividad

Propiedad

( ( (

) ) ( ) (

( ) Leyes de Morgan Ley de adicin ,( )( )- ( Transitividad ) ( ) Modus Ponens ( ) ( Contra-recproco ) ( ) Tollendo Ponens ( ) Tollendo Tolens ( ) Ley de absorcin Ley de simplificacin No es necesario que se aprendan sus nombres y normalmente se usan los primeros 8

) ) ( ) ) ( ) ( )

5) Cuantificadores y sus negaciones: Nombre Para todo Existe Existe un nico

Smbolo

Negacin

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

Ejercicios Resueltos: 1) Escribir la siguiente expresin con cuantificadores y luego negarlos: Todos los alumnos del curso son estudiosos Sol: Convertimos cada expresin en un cuantificador Todos los alumnos =para todo Del curso= U Son estudiosos= p(x) Luego queda: Todos los alumnos del curso son estudiosos=* Y su negacin: { ( )} ( )+

Y su traduccin: existe un alumno del curso que no es estudioso

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

Ejercicios propuestos (Nivel Fcil): 1) Escribir las siguientes proposiciones con cuantificadores y luego negarlos: a) Existen alumnos del curso que practican futbol. b) Existe un alumno en el curso que aprobara la asignatura. c) Todos los alumnos del curso estudian 8 horas al da lgebra. d) Solo un alumno del curso practica ajedrez. e) Todas las mujeres del curso usan faldas. f) Algunos alumnos del curso apagaron su celular antes de la prueba. 2) Use tablas de verdad para clasificar las siguientes proposiciones como. Tautologa, Contradiccin o Contingencia: ) a) ( ( ) ) ( ) ( b) ( ) ) c) ,( ( ) ) d) ( ( ) ( )e) , f) g) 3) Qu condiciones debe satisfacer p, q y r para que la siguiente proposicin sea: a) ,( b) ,( c) * ) ) ( )+ , ( ) , Falsa - Falsa Verdadera

4) Sean p, q y r tres proposiciones. a)Demuestre que: , (

)-

,(

b) Demuestre, si usar tablas de verdad, que: , ( )-

,(

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

Ejercicios propuestos (Nivel Medio): 1) Determinar el valor de verdad de las proposiciones y si se sabe que la proposicin compuesta: , ) ( )- ( )*,( 2)

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

Ejercicios propuestos (Nivel Difcil):

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

Ejercicios tipo pep (hacerlos una vez terminados los ejercicios anteriores) 1) Si ( ( ( ) es una proposicin falsa, determine el valor de verdad de la proposicin )) . Justifique. (Control 1, 2 semestre de 2012).

2) Establezca, justificando cada paso, la validez del argumento:

(Control 1, 2 semestre de 2012). 3)

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com

Ejercicios para ayudantas: 1) ejercicio con cuantificadores 2) ejercicio con enunciado 3) ejercicio normal

*Cualquier consejo, correccin o recomendacin enviar un mensaje a chrollodark@gmail.com