Preliminares Teora de

Conjuntos
j
Relacin con la Lgica

Lgica Proposicional
Definicin. Una proposicin es una
oracin con valor declarativo o
informativo, de la cual se puede predicar
su verdad o falsedad
falsedad.
Ejemplos de proposiciones
Hoy es viernes
5 > 25
7 es primo

Lgica Proposicional
Ejemplos de expresiones no
proposicionales
Hola
H l
Cmo ests?
Qudense quietos
Buensimo!

Conectivos lgicos
Negacin
Dada una proposicin p, se denomina la
negacin de p a otra proposicin denotada
por ~p (se lee "no
no p")
p ) que le asigna el
valor de verdad opuesto al de p. Ej:
p: Hoy est lloviendo
~ p: Hoy no est lloviendo
(formal: variable y significado coloquial)

Conectivos lgicos
Tabla de verdad de la Negacin

Conectivos lgicos

Conectivos lgicos

Conectivos lgicos

Conectivos lgicos
Tiro las cosas viejas o que no me sirven
El sentido de la disyuncin es incluyente,
pues si tiro algo viejo, y que adems no
me sirve, la disyuncin es verdadera.

Conectivos lgicos
Implicacin o condicional
"Si apruebas todas las materias, te dejar salir el fin de
semana".
p: "Apruebas todas las materias"
q: "Te
Te dejar salir el fin de semana"
semana
Si p es verdad, entonces q tambin es verdad. Se trata
de un enunciado condicional cuya formalizacin es pq,
y que se puede leer tambin como p implica q.
p es el antecedente (o hiptesis) y q el consecuente (o
conclusin).
Una implicacin es siempre verdadera excepto cuando
el antecedente es verdadero y el consecuente falso.

Conectivos lgicos

Conectivos lgicos
Es destacable que la implicacin puede
ser cierta aunque el consecuente sea
falso. As, si no apruebas todas las
materias pero yo no te permito salir el fin
materias,
de semana, la implicacin "Si apruebas
todas las materias, te dejar salir el fin de
semana" es verdadera.

Conectivos lgicos
Ejercicios: Determina el valor de las siguientes
implicaciones y justifica por qu:
a) Si llueve hacia arriba, entonces eres un ser
humano.
b) Si 2 + 2 = 4, entonces las ranas tienen pelo.
c) Si sabes leer, entonces los crculos son cuadrados.
d) Si los burros vuelan, entonces las tortugas saben
lgebra

Conectivos lgicos
Equivalencia lgica.
Se dice que dos proposiciones son
lgicamente equivalentes, o simplemente
equivalentes Si coinciden sus resultados
equivalentes.
para los mismos valores de verdad. Se
indican como p q.

Conectivos lgicos

Conectivos lgicos

Conectivos lgicos

Tautologa
Tautologa.
Tautologa, es aquella proposicin (compuesta)
que es cierta para todos los valores de verdad
de sus variables.

Tautologa

Tautologa

Tautologas ms importantes

Tautologas ms importantes

Tautologas ms importantes

Tautologas ms importantes

Tautologas ms importantes

Tautologas ms importantes

Las tautologas relacionadas con y permiten

derivar o generar o tratar informacin nueva o distinta

Esquemas proposicionales
x+2 =5
Es una proposicin?
Si x = 7 se tiene que 7 + 2 = 5 es una
proposicin Falsa

Esquemas proposicionales
Definicin. Se llama esquema
proposicional en la indeterminada x a toda
expresin que contiene a x y posee la
siguiente propiedad: Existe
Existe por lo menos
un nombre tal que la expresin obtenida
sustituyendo la indeterminada por dicho
nombre, es una proposicin.
Las indeterminadas suelen llamarse
variables o incgnitas

Esquemas proposicionales
Ejemplo: x es blanca es un esquema
pues existe una constante esta flor que
en lugar de la variable x produce la
siguiente proposicin: Esta
Esta flor es blanca
blanca
Vamos a utilizar smbolos tales como P(x),
Q(x), F(x), para designar esquemas de
incgnita x.

Operadores Universal y
Existencial

Operadores Universal y
Existencial

Operadores Universal y
Existencial

Operadores Universal y
Existencial

Negacin de los operadores

Negacin de los operadores

Negacin de los operadores

Ejercitacin

Ejercitacin

Teora de Conjuntos

Conjuntos

SubConjuntos

SubConjuntos

Conjunto Vaco

Ejercicios

Igualdad

Igualdad

Operaciones bsicas
Si bien vamos a utilizar casi siempre las
ideas de conjuntos y demostraciones con
conjuntos, ahora vamos ms directamente
orientados hacia los problemas
computacionales, para tener una idea en
cuanto a si se pueden resolver o no

Operaciones bsicas

Producto cartesiano

Producto cartesiano

Conjunto de partes

Conjunto de partes

Equivalencias de conjuntos

Ejercitacin
Probar que (A B) (A C) = A (B C)
Dem.
x (A B) (A C)
x (A B) x (A C)
(def. de intersec.)
(x A x B) (x A x C)
(def. de resta) Asoc.
Conm.
x A ~(x
( B) ~(x
( C)
(L Prop.)
(Lg.
P
)
simp.
x A ~(x B x C)
(Morgan)
x A ~(x (B C))
(def. de unin)
x A x (B C)
(def. de )
x A (B C)
(def. de resta)
Por lo tanto (A B) (A C) = A (B C)