Unidad no 1: Elementos de lgica y conjuntos

P. Universidad Catlica de Valparaso Facultad de ciencias del mar - Oceanografa

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 1/9

Proposiciones lgicamente equivalentes

Denition
Dos proposiciones p y q son equivalentes si sus tablas de verdad son idnticas. De ser as se denota: p q .

Example
Sea i : p ) q y j : p _ q , entonces i En particular la negacin de i es p ^ q j.

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 2/9

Tautologa, contradiccin y contingencia

Denition
Llamaremos f rmula lgica a un conjunto de proposiciones, conectivos lgicos y simbolos de agrupacin.

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 3/9

Tautologa, contradiccin y contingencia

Denition
Llamaremos f rmula lgica a un conjunto de proposiciones, conectivos lgicos y simbolos de agrupacin.

Example
f (p ) q ) ^ (s ^ t ) g

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 3/9

Tautologa, contradiccin y contingencia

Denition
Llamaremos f rmula lgica a un conjunto de proposiciones, conectivos lgicos y simbolos de agrupacin.

Example
f (p ) q ) ^ (s ^ t ) g
Existen tres tipos: Tautologa, contradiccin y contingencia.

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 3/9

Tautologa

Si al evaluar una frmula lgica, resulta que todos los valores de verdad resultantes son siempre verdaderos para cualquier combinacin de sus valores veritativos, decimos que dicha frmula es una Tautologa o Ley lgica.

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 4/9

Tautologa

Si al evaluar una frmula lgica, resulta que todos los valores de verdad resultantes son siempre verdaderos para cualquier combinacin de sus valores veritativos, decimos que dicha frmula es una Tautologa o Ley lgica. Si ocurre que son siempre falsos dicha frmula se llama Contradiccin.

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 4/9

Tautologa

Si al evaluar una frmula lgica, resulta que todos los valores de verdad resultantes son siempre verdaderos para cualquier combinacin de sus valores veritativos, decimos que dicha frmula es una Tautologa o Ley lgica. Si ocurre que son siempre falsos dicha frmula se llama Contradiccin. Si no es tautologa ni contradiccin se denomina Contingencia.

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 4/9

Tautologa

Si al evaluar una frmula lgica, resulta que todos los valores de verdad resultantes son siempre verdaderos para cualquier combinacin de sus valores veritativos, decimos que dicha frmula es una Tautologa o Ley lgica. Si ocurre que son siempre falsos dicha frmula se llama Contradiccin. Si no es tautologa ni contradiccin se denomina Contingencia. Consideremos la frmula j : p _ verdad p y desarrollemos su tabla de

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 4/9

Tautologa

Si al evaluar una frmula lgica, resulta que todos los valores de verdad resultantes son siempre verdaderos para cualquier combinacin de sus valores veritativos, decimos que dicha frmula es una Tautologa o Ley lgica. Si ocurre que son siempre falsos dicha frmula se llama Contradiccin. Si no es tautologa ni contradiccin se denomina Contingencia. Consideremos la frmula j : p _ verdad p y desarrollemos su tabla de

Ahora consideremos i : f(p ) q ) ^ p g ) q

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 4/9

Tautologa

Si al evaluar una frmula lgica, resulta que todos los valores de verdad resultantes son siempre verdaderos para cualquier combinacin de sus valores veritativos, decimos que dicha frmula es una Tautologa o Ley lgica. Si ocurre que son siempre falsos dicha frmula se llama Contradiccin. Si no es tautologa ni contradiccin se denomina Contingencia. Consideremos la frmula j : p _ verdad Por ltimo k : p ^ p p y desarrollemos su tabla de

Ahora consideremos i : f(p ) q ) ^ p g ) q

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 4/9

Leyes del lgebra proposicional

A continuacin presentamos tautologas o leyes lgicas fundamentales

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 5/9

Leyes del lgebra proposicional

A continuacin presentamos tautologas o leyes lgicas fundamentales Involucin

p) , p

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 5/9

Leyes del lgebra proposicional

A continuacin presentamos tautologas o leyes lgicas fundamentales Involucin

(
Idempotencia

p) , p

(p ^ p ) , p (p _ p ) , p

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 5/9

Leyes del lgebra proposicional

A continuacin presentamos tautologas o leyes lgicas fundamentales Involucin

(
Idempotencia

p) , p

(p ^ p ) , p (p _ p ) , p
Conmutatividad

(p _ q ) , (q _ p ) (p ^ q ) , (q ^ p )

(de la disyuncin) (de la conjuncin)

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 5/9

Leyes del lgebra proposicional

Asociatividad

(p _ q ) _ r , p _ (q _ r ) (de la disyuncin) (p ^ q ) ^ r , p ^ (q ^ r ) (de la conjuncin)

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 6/9

Leyes del lgebra proposicional

Asociatividad

(p _ q ) _ r , p _ (q _ r ) (de la disyuncin) (p ^ q ) ^ r , p ^ (q ^ r ) (de la conjuncin)

Distributividad

(p _ q ) ^ r , (p ^ r ) _ (q ^ r ) (p ^ q ) _ r , (p _ r ) ^ (q _ r )

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 6/9

Leyes del lgebra proposicional

Asociatividad

(p _ q ) _ r , p _ (q _ r ) (de la disyuncin) (p ^ q ) ^ r , p ^ (q ^ r ) (de la conjuncin)

Distributividad

(p _ q ) ^ r , (p ^ r ) _ (q ^ r ) (p ^ q ) _ r , (p _ r ) ^ (q _ r )
Leyes de Morgan

(p _ q ) , (p ^ q ) ,
P. Universidad Catlica de Valparaso, Clase 2-Mat 113-7

p^ p_

q q

Facultad 6/9

Funciones proposicionales
Denition
Una funcin proposicional es un enunciado abierto de la forma P (x ) que se convierte en una proposicin cuando se le asigna una valor especco a la variable. El conjunto de todos los x para los cuales P (x ) es verdadera se denomina dominio.

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 7/9

Funciones proposicionales
Denition
Una funcin proposicional es un enunciado abierto de la forma P (x ) que se convierte en una proposicin cuando se le asigna una valor especco a la variable. El conjunto de todos los x para los cuales P (x ) es verdadera se denomina dominio. Ejemplos

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 7/9

Funciones proposicionales
Denition
Una funcin proposicional es un enunciado abierto de la forma P (x ) que se convierte en una proposicin cuando se le asigna una valor especco a la variable. El conjunto de todos los x para los cuales P (x ) es verdadera se denomina dominio. Ejemplos P (x ) : 3x + 7 = 11, luego si x = 5, se tiene 22 = 11, es decir, P (5) es falso

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 7/9

Funciones proposicionales
Denition
Una funcin proposicional es un enunciado abierto de la forma P (x ) que se convierte en una proposicin cuando se le asigna una valor especco a la variable. El conjunto de todos los x para los cuales P (x ) es verdadera se denomina dominio. Ejemplos P (x ) : 3x + 7 = 11, luego si x = 5, se tiene 22 = 11, es decir, P (5) es falso Q (x ) : x es un animal, si x =mesa, se obtiene: Q (mesa) : mesa es un animal, falso

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 7/9

Funciones proposicionales
Denition
Una funcin proposicional es un enunciado abierto de la forma P (x ) que se convierte en una proposicin cuando se le asigna una valor especco a la variable. El conjunto de todos los x para los cuales P (x ) es verdadera se denomina dominio. Ejemplos P (x ) : 3x + 7 = 11, luego si x = 5, se tiene 22 = 11, es decir, P (5) es falso Q (x ) : x es un animal, si x =mesa, se obtiene: Q (mesa) : mesa es un animal, falso R (x ) : x 2 = 1, si x = 1, se obtiene: R ( 1) : ( 1)2 = 1, verdadero

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 7/9

Cuanticadores
Denition
Es un proceso mediante el cual es posible obtener proposiciones generales a partir de funciones proposicionales.

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 8/9

Cuanticadores
Denition
Es un proceso mediante el cual es posible obtener proposiciones generales a partir de funciones proposicionales. Veremos dos tipos de cuanticadores: El universal y el existencial

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 8/9

Cuanticadores
Denition
Es un proceso mediante el cual es posible obtener proposiciones generales a partir de funciones proposicionales. Veremos dos tipos de cuanticadores: El universal y el existencial Cuanticador Universal: se lee: Para todo x (o para cada x ), se verica P (x ), y se denota por:

8x : P (x )

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 8/9

Cuanticadores
Denition
Es un proceso mediante el cual es posible obtener proposiciones generales a partir de funciones proposicionales. Veremos dos tipos de cuanticadores: El universal y el existencial Cuanticador Universal: se lee: Para todo x (o para cada x ), se verica P (x ), y se denota por: Cuanticador Existencial: se lee: existe x (o existe por lo menos un x ), tal que se verica P (x ), y se denota por:

8x : P (x )

9x : P (x )

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 8/9

Cuanticadores
Denition
Es un proceso mediante el cual es posible obtener proposiciones generales a partir de funciones proposicionales. Veremos dos tipos de cuanticadores: El universal y el existencial Cuanticador Universal: se lee: Para todo x (o para cada x ), se verica P (x ), y se denota por: Cuanticador Existencial: se lee: existe x (o existe por lo menos un x ), tal que se verica P (x ), y se denota por: Variante del Cuanticador Existencial: existe un nico x (o existe slo un x ) que verica P (x ), y se denota

8x : P (x )

9x : P (x )

9 !x : P (x )
P. Universidad Catlica de Valparaso, Clase 2-Mat 113-7

Facultad 8/9

Leyes de Morgan para cuanticadores

1

8x 2 E : P (x ) , 9x 2 E : P (x ) Es falso que para todo x en E se cumple P (x ), es equivalente a : existe algn x en E tal que no se cumple P (x )

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 9/9

Leyes de Morgan para cuanticadores

1

8x 2 E : P (x ) , 9x 2 E : P (x ) Es falso que para todo x en E se cumple P (x ), es equivalente a : existe algn x en E tal que no se cumple P (x ) 9x 2 E : P (x ) , 8x 2 E : P (x ) Es falso que existe x en E tal que se cumple P (x ) es equivalente a: para todo x en E no se cumple P (x )

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 9/9

Leyes de Morgan para cuanticadores

1

8x 2 E : P (x ) , 9x 2 E : P (x ) Es falso que para todo x en E se cumple P (x ), es equivalente a : existe algn x en E tal que no se cumple P (x ) 9x 2 E : P (x ) , 8x 2 E : P (x ) Es falso que existe x en E tal que se cumple P (x ) es equivalente a: para todo x en E no se cumple P (x )
Ejercicio: utilice la simbologa aprendida para armar y negar la expresin. "Todos los alumnos de oceanografa son aplicados"

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 9/9

Leyes de Morgan para cuanticadores

1

8x 2 E : P (x ) , 9x 2 E : P (x ) Es falso que para todo x en E se cumple P (x ), es equivalente a : existe algn x en E tal que no se cumple P (x ) 9x 2 E : P (x ) , 8x 2 E : P (x ) Es falso que existe x en E tal que se cumple P (x ) es equivalente a: para todo x en E no se cumple P (x )
Ejercicio: utilice la simbologa aprendida para armar y negar la expresin. "Todos los alumnos de oceanografa son aplicados" p (x ): es alumno de oceanografa y q (x ): es aplicado

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 9/9

Leyes de Morgan para cuanticadores

1

8x 2 E : P (x ) , 9x 2 E : P (x ) Es falso que para todo x en E se cumple P (x ), es equivalente a : existe algn x en E tal que no se cumple P (x ) 9x 2 E : P (x ) , 8x 2 E : P (x ) Es falso que existe x en E tal que se cumple P (x ) es equivalente a: para todo x en E no se cumple P (x )
Ejercicio: utilice la simbologa aprendida para armar y negar la expresin. "Todos los alumnos de oceanografa son aplicados" p (x ): es alumno de oceanografa y q (x ): es aplicado escrito en lenguage simbliconos queda : 8x : p (x ) ) q (x )

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 9/9

Leyes de Morgan para cuanticadores

1

8x 2 E : P (x ) , 9x 2 E : P (x ) Es falso que para todo x en E se cumple P (x ), es equivalente a : existe algn x en E tal que no se cumple P (x ) 9x 2 E : P (x ) , 8x 2 E : P (x ) Es falso que existe x en E tal que se cumple P (x ) es equivalente a: para todo x en E no se cumple P (x )
Ejercicio: utilice la simbologa aprendida para armar y negar la expresin. "Todos los alumnos de oceanografa son aplicados" p (x ): es alumno de oceanografa y q (x ): es aplicado escrito en lenguage simbliconos queda : 8x : p (x ) ) q (x ) y su negacin ser 9x : p (x )^ q (x ). Existen alumnos de oceanograa que no son aplicados.

P. Universidad Catlica de Valparaso,

Clase 2-Mat 113-7

Facultad 9/9