Lógica Matemática Mate 3041 Universidad de Puerto Rico

Presentación del tema: "Lógica Matemática Mate 3041 Universidad de Puerto Rico"— Transcripción de la presentación:

1 Lógica Matemática Mate 3041 Universidad de Puerto Rico
Recinto de Bayamón Prof. Juan L. Vélez Prof. José A. Toro Clarke Lógica Matemática

2 Proposiciones y Cuantificadores
Definición: Una oración declaratoria (o afirmación) que es falsa o verdadera, pero no ambas, se llama proposición. Oraciones exclamativas, interrogativas o imperativas por naturaleza no son proposiciones.

3 Ejemplos: Ponce es la capital de Puerto Rico 2 + 2 = 3 ¿Qué hora es?
x + y = z Proposición Proposición No es una Proposición; oración interrogativa No es una Proposición; desconocemos x, y, z

4 Ejemplos: Tome una taza de café
Nota: “Tomé una taza de café”. Si es una proposición Alex Rodríguez es mejor jugador de beisbol que Dereck Jeter. No es una Proposición; oración imperativa No es una Proposición

5 Proposiciones Compuestas
Definición: Una proposición es compuesta cuando se forma por la combinación de dos o más proposiciones usando conectivos lógicos. Conectivos y sus respectivos símbolos tales como:

6 Ejemplos de proposiciones compuestas
Leo el nuevo Día y leo el Vocero. Si él lo dijo, entonces es cierto. Mañana será Domingo. Nota: “Mañana no será Domingo”. Aunque no consta de dos proposiciones, para conveniencia se considera compuesta ya que su valor de verdad depende de una proposición diferente. “Mañana será Domingo”. Compuesta; conectivo y Compuesta; conectivo si…entonces No es compuesta

7 Ejemplos de proposiciones compuestas
La firma de abogados que atendió el caso se llamó Goldman Antonetti y Cordóva, P.S.C No es compuesta; y no es un conectivo en este caso por que y es parte del nombre de la firma de abogados

8 Símbolos de la Lógica Matemática
disyunción p y q: proposición compuesta que es falsa cuando ambas p y q son falsas y verdadera en otro caso. p q F conjunción p y q: proposición compuesta que es verdadera cuando tanto como p y q son verdadera y falsa en otro caso. p q T

9 Símbolos de la Lógica Matemática
negación de p : proposición formada al escribir “no es el caso que” o “es falso que” antes de p o al insertar la palabra “no” de manera adecuada en p. p T F “si p entonces q” : proposición compuesta condicional la cual es falsa cuando p es verdadera y q es falsa, y verdadera en otro caso p q T F

10 Símbolos de la Lógica Matemática
“p si y sólo si q” : proposición compuesta bicondicional la cual es verdadera cuando p y q tienen los mismos valores de verdad y falsa en caso contrario. p q T F P y Q son lógicamente equivalentes: proposiciones compuestas y son lógicamente equivalentes si tienen tablas de verdad idénticas. A esto es lo que se le conoce como una tautología.

11 Símbolos de la Lógica Matemática
“por lo tanto” “para todo” Cuantificadores “existe” Cuantificadores universales: todo, cada uno, todos, ninguno Cuantificadores existenciales: hay, al menos uno

12 Uso de conectivos lógicos
Sean p que representa “Hoy estamos a 80F”, q que representa “Hoy es martes”. Transcriba cada proposición simbólica en palabras Hoy estamos a 80F o es martes. Hoy no estamos a 80F y es martes. No es el caso que hoy estemos a 80F o que sea martes. Ésta proposición se puede traducir como “ni p ni q” o

13 Uso de conectivos lógicos
Sean p que representa “Hoy estamos a 80F”, q que representa “Hoy es martes”. Transcriba cada proposición simbólica en palabras No es el caso que hoy estemos a 80F y sea martes.

14 Uso de conectivos lógicos
Ejemplo: Proporcione la negación de cada desigualdad sin usar los símbolos o .

15 Orden de prioridad de los conectivos lógicos
Se usará generalmente paréntesis para especificar el orden en que se aplicarán los operadores lógicos. De no haber paréntesis, se adopta el siguiente orden de prioridad. Conectivo Prioridad 1 2 3 4 5

16 Tablas de verdad Una proposición lógica con n componentes tendrá renglones en su tabla de verdad. T F Nota: p proposición (1 componente): renglones.

17 Tablas de verdad T F T F renglones
disyunción p y q: proposición compuesta que es falsa cuando ambas p y q son falsas y verdadera en otro caso. renglones T F conjunción p y q: proposición compuesta que es verdadera cuando tanto como p y q son verdadera y falsa en otro caso.

18 Tablas de verdad T F “si p entonces q” : proposición compuesta condicional la cual es falsa cuando p es verdadera y q es falsa, y verdadera en otro caso T F “p si y sólo si q” : proposición compuesta bicondicional la cual es verdadera cuando p y q tienen los mismos valores de verdad y falsa en caso contrario.

19 Tautología y Contradicción
Una proposición compuesta Se denomina tautología si es verdadera para toda asignación de verdad de y contradicción si es falsa. Proposiciones elementales T F

20 Tautología y Contradicción
Una proposición compuesta Se denomina tautología si es verdadera para toda asignación de verdad de y contradicción si es falsa. Proposiciones elementales T F

21 Tautología y Contradicción
Una proposición compuesta Se denomina tautología si es verdadera para toda asignación de verdad de y contradicción si es falsa. Proposiciones elementales T F

22 Tautología y Contradicción
Una proposición compuesta Se denomina tautología si es verdadera para toda asignación de verdad de y contradicción si es falsa. Proposiciones elementales T F Es una tautología Es una contradicción

23 Proposiciones equivalentes
F

24 Proposiciones equivalentes
F

25 Proposiciones equivalentes
F

26 Proposiciones equivalentes
F

27 Proposiciones equivalentes
F

28 Proposiciones equivalentes
F

29 Proposiciones equivalentes
F entonces

30 Leyes del álgebra de proposiciones
Ley de idempotencia Ley de identidad Prueba: Suponga que p es verdadero, entonces Suponga que p es falso, entonces

31 Leyes del álgebra de proposiciones
Ley dominante Prueba:

32 Leyes del álgebra de proposiciones
Ley de complemento Ley conmutativa Ley asociativa

33 Leyes del álgebra de proposiciones
Ley distributiva Ley de absorción Ley de De Morgan