Lgica

ALGEBRA y ALGEBRA LINEAL

La lgica es la herramienta con que
520142 se construye el edificio llamado Matemtica

Primer Semestre
Conceptos primitivos
Los valores de verdad VERDADERO (V ) y FALSO (F ) son los conceptos
primitivos de la lgica.

CAPITULO I
LOGICA Y CONJUNTOS. Proposicin

Una proposicin es una sentencia (expresin) sujeta a un valor de verdad.

DEPARTAMENTO DE INGENIERIA MATEMATICA Usualmente se denotan por letras minsculas p, q, r, s, etc.

Facultad de Ciencias Fsicas y Matemticas
Universidad de Concepcin
1 2

Lgica Lgica

Ejemplos
Conectivos lgicos
Cules de las siguientes afirmaciones son proposiciones ?
Un conectivo lgico es una operacin que nos permite obtener nuevas
Es esto verdadero ? proposiciones a partir de otras dadas. Los conectivos bsicos son:
Hoy es martes
negacin () (no)
10 es un nmero primo
conjuncin () (y)
El sol y el cielo
Todos los alumnos de este curso son estudiosos disyuncin () (o)

La realidad de la vida condicional () (si. . . , entonces)

bicondicional () (si y slo si)

 Lgica Lgica

Tipos de proposiciones
Negacin ()
Las proposiciones se clasifican en simples y compuestas, vale decir, las
Dada una proposicin p, se llama negacin de p, y se escribe p, a la
que no incluyen conectivos lgicos, y las que s los incluyen.
proposicin no p. Esto significa que p es V si p es F , y p es F si p
Valores posibles de dos proposiciones dadas es V .

p q TABLA DE VERDAD
V V p p
V F V F
F V F V
F F

5 6

Lgica Lgica

Conjuncin () Disyuncin ()
Dadas dos proposiciones p y q, la conjuncin de ellas es la proposicin Dadas dos proposiciones p y q, la disyuncin de ellas es la proposicin p
p y q, la cual se escribe p q. La proposicin p q es V si ambas lo son, o q, la cual se escribe p q. La proposicin p q es V si al menos una
y p q es F si al menos una de ellas lo es. de ellas lo es, y p q es F si ambas lo son.

TABLA DE VERDAD TABLA DE VERDAD

p q pq p q pq
V V V V V V
V F F V F V
F V F F V V
F F F F F F
 Lgica Lgica

Condicional () Bicondicional ()
Dadas dos proposiciones p y q, la condicional de ellas es la proposicin Dadas dos proposiciones p y q, la bicondicional de ellas es la proposicin
si p entonces q, la cual se escribe p q. Aqu, p se llama antecedente p si y slo si q, la cual se escribe p q. Tambin, p q se lee p es
y q consecuente. Tambin, p q se lee p es condicin suficiente para condicin necesaria y suficiente para q. La proposicin p q es V slo
q, o bien q es condicin necesaria para p. La proposicin p q es F si ambas proposiciones tienen el mismo valor de verdad.
slo si p es V y q es F .
TABLA DE VERDAD
TABLA DE VERDAD p q pq
p q pq V V V
V V V V F F
V F F F V F
F V V F F V
F F V

9 10

Lgica Lgica

Definiciones varias Implicacin lgica

Una proposicin se dice una:
TAUTOLOGIA (o TEOREMA LOGICO), si ella es siempre V ,
cualesquiera sean los valores de verdad de las proposiciones
simples que la componen, es decir, si su tabla de verdad slo
contiene valores V .
CONTRADICCION, si ella es siempre F .
Dadas dos proposiciones p y q, se dice que p implica lgicamente q, si la
proposicin p q es siempre verdadera. En tal caso se escribe p q y
se lee p implica q.
Equivalencia lgica
Dadas dos proposiciones p y q, se dice que ellas son lgicamente
equivalentes, si la proposicin p q es siempre verdadera. En tal caso
se escribe p q y se lee p es equivalente a q.

CONTINGENCIA, si no es tautologa ni contradiccin.

 Lgica Lgica

Algunas tautologas importantes Algunas tautologas importantes (continuacin)

( p) p (doble negacin) p (q r) (p q) (p r)
(distributividad de con respecto a )
pq qp (conmutatividad de )
p (q r) (p q) (p r)
pq qp (conmutatividad de ) (distributividad de con respecto a )
pq qp (conmutatividad de ) (p q) pq (Ley de De Morgan para )
p (q r) (p q) r (asociatividad de ) (p q) pq (Ley de De Morgan para )
p (q r) (p q) r (asociatividad de ) (p q) p q
p (q r) (p q) r (asociatividad de ) pq q p (contrarecproca)
pq p q
pq (p q) (q p)
pq ( p q) (p q)
13 14

Lgica Lgica

Funcin proposicional
Se llama funcin proposicional (o enunciado abierto) a una expresin p
que contiene una o ms variables, y tal que ella se convierte en una
proposicin lgica cuando se le asignan valores especficos a dichas
variables.
Cuantificadores lgicos
Para indicar que una funcin proposicional es verdadera para
cualquier elemento de un determinado conjunto A se usa el
smbolo , el cual se llama cuantificador universal.
se lee: para todo, cualquiera sea, para cada.

Conjunto de validez Para indicar que una funcin proposicional es verdadera para
algunos elementos de un determinado conjunto A se usa el
Se llama Conjunto de validez de una funcin proposicional p, y se denota
smbolo , el cual se llama cuantificador existencial.
por Vp , al conjunto de valores (o n-uplas de valores) para los cuales dicha
funcin es verdadera. se lee: existe (un), existe al menos un, existe algn.
Para indicar que una funcin proposicional es verdadera para un
Ejercicio Analice la siguiente proposicin: nico elemento de un determinado conjunto A se usa el smbolo !.
Si un nmero natural es divisible por dos y tres, entonces es divisible por ! se lee: existe un nico.
seis.
 Lgica Lgica

Ms sobre cuantificadores lgicos

Teoremas y demostraciones
Sean A un conjunto y p una funcin proposicional que depende de una
variable x (en tal caso se escribe p(x)). Un teorema es una proposicin verdadera de cierta relevancia para una
teora y cuya verdad debe ser demostrada.
x A : p(x) se lee para todo x en A, p(x) es verdadera.
x A : p(x) se lee existe x en A tal que p(x) es verdadera.
Algunas estructuras de teoremas

Negaciones importantes Implicacin: Si (hiptesis), entonces (tesis) (H T )

Mtodos de demostracin:
( x A : p(x) ) ( x A : p(x) ) Mtodo directo.
( x A : p(x) ) ( x A : p(x) ) Mtodos indirectos:
contra-recproca ( T H).
( ! x A : p(x) )
reduccin al absurdo (H T ) (p p) (contradiccin).
( x A : p(x) ) ( x A, y A, x 6= y : p(x) p(y) )

17 18

Lgica Lgica

Ejemplos de demostracin:
Equivalencia: (Hiptesis) si y slo si (tesis) (H T )
Mtodo de demostracin: (H T ) (T H) Proposicin 1: Sea a N. Si a es par entonces a2 es par.
Dem. (directa) Hiptesis: a es par
Equivalencia de n proposiciones:
P1 P2 Pn , n > 2 entonces a = 2n para algn n N,
Mtodos de demostracin entonces a2 = (2n)2 = 4n2 = 2(2n2 ),
Directo: P1 P2 y P2 P3 , etc. entonces a2 es par (pues 2n2 N),  (Q.E.D.)
Usando transitividad: [(Pi Pj ) (Pj Pk )] (Pi Pk ). Proposicin 2: Sea a N. Si a2 es par entonces a es par.
(e.g., mostrar que Pi Pi+1 , i = 1, ...n 1, y Pn P1 ). Dem. (contradiccin) se supone H T : a2 es par y a es impar.
Discreto: n N : p(n) entonces a = 2n + 1 para algn n N,
Mtodo de demostracin: Induccin Matemtica.
entonces a2 = (2n + 1)2 = 4n2 + 4n + 1,
La falsedad de una proposicin se puede demostrar usando un contra- entonces a2 es impar (por Prop. 1 y suma de nros. pares es par),
ejemplo.
entonces a2 par y a2 impar (p p), CONTRADICCION ()
 Conjuntos Conjuntos

Llamaremos conjunto a cualquier coleccin de objetos determinados y Observacin

distintos. Los objetos los llamaremos elementos del conjunto. Dos Dado x U y un conjunto A: x A x /A ?
conjuntos importantes son el conjunto vaco, que no contiene elementos, Si esta pregunta puede responderse siempre, entonces
y el conjunto universo, que contiene todos los elementos. se dice que A est bien definido .

Notacin Maneras de definir un conjunto

Los conjuntos: A, B,
Por extensin, vale decir mostrando los elementos de A.
Los elementos: a, b,
Ejemplo : A = N := { 1, 2, 3, } (Nmeros naturales)
a pertenece a A: aA
a no pertenece a A: a
/A Por comprensin, esto es dando una propiedad (o proposicin) que
caracterice a los elementos del conjunto.
Conjunto vaco:
na o
Conjunto universo: U Ejemplo : Q := : a, b Z, b 6= 0 (Nmeros racionales)
b

21 22

Conjuntos Conjuntos

Inclusin de conjuntos Igualdad de conjuntos

Dados dos conjuntos A y B, se dice que A es subconjunto de B, y se Dados dos conjuntos A y B, se dice que A y B son iguales, y se escribe
escribe A B, si todos los elementos de A estn tambin en B, esto es: A = B, si los elementos de A y B coinciden, esto es:
A=B (A B) (B A)
AB (x U : x A x B)

Conjunto de las partes de un conjunto dado

Propiedades de la inclusin
Dado un conjunto A, se define el conjunto de las partes de A, y se denota
Dados A, B, C conjuntos, se tiene P(A), como el conjunto de todos los subconjuntos de A, esto es:
AU
P(A) := { X : X A}
AA
Notar que:
(A B B C) A C
i) los elementos de P(A) son conjuntos;
ii) P(A) 6= ya que , A P(A).
 Conjuntos Conjuntos

Operaciones entre conjuntos

Otras operaciones entre conjuntos
Sea U el conjunto universo, y sean A, B subconjuntos de U .
Sea U el conjunto universo, y sean A, B subconjuntos de U .
La diferencia de A y B es el conjunto
La interseccin de A y B, la cual se denota A B, es el conjunto de
A B := { x U : xA x 6 B } todos los elementos comunes a A y B, esto es
(otra notacin: A \ B).
El Complemento de A con respecto a U , el cual se denota Ac A B := { x U : xA x B}
(o bien A , A), es el conjunto U A, vale decir:
Ac := U A = { x U : x 6 A }
La unin de A y B, la cual se denota A B, es el conjunto de todos
los elementos que estn en A o en B, esto es
Algunas propiedades

A B := { x U : xA x B}
Para todo x U se tiene: xA x Ac
c = U Uc =
(Ac )c = A 25 26

Conjuntos Conjuntos

Propiedades de y Ms definiciones

AA=A, A A = A (idempotencia) Dos conjuntos A y B se dicen disjuntos si y slo si A B = .

AB =BA, AB =BA (conmutatividad de y ) Dados dos conjuntos no vacos A y B, se define el Producto

Cartesiano de ellos, el cual se denota por A B, como el conjunto
A (B C) = (A B) C (asociatividad de )
de todos los pares ordenados (a, b) tales que a pertenece a A y b
A (B C) = (A B) C (asociatividad de ) pertenece a B, esto es
A (B C) = (A B) (A C)
(distributividad de con respecto a ) A B := { (a, b) : aA bB}

A (B C) = (A B) (A C) Dados n conjuntos no vacos A1 , A2 , ..., An , se define el Producto

(distributividad de con respecto a ) Cartesiano de ellos, el cual se denota por A1 A2 An , como
(A B)c = Ac B c (Ley de De Morgan) el conjunto de todas las n-uplas ordenadas (a1 , a2 , ..., an ) tales que
ai pertenece a Ai para cada i {1, ..., n}, esto es
(A B)c = Ac B c (Ley de De Morgan)
A1 A2 An := { (a1 , a2 , ..., an ) : ai Ai , i {1, ..., n} }
 Conjuntos Conjuntos

Particin de un conjunto Cardinalidad

Sean A1 , A2 , ..., An subconjuntos de un conjunto B. Se dice que El nmero de elementos de un conjunto finito A se llama cardinalidad de
{ A1 , A2 , ..., An } es una PARTICION de B si estos conjuntos son no A y se denota |A|.
vacos, disjuntos dos a dos y su unin es el conjunto B, vale decir si
y slo si: Propiedades

Si A y B son conjuntos disjuntos, entonces |A B| = |A| + |B|.

Ai 6= , para cada i {1, ..., n}.
Si A y B son conjuntos arbitrarios, entonces
|A B| = |A| + |B| |A B|.
Ai Aj = para cada i 6= j. Si A, B y C son conjuntos arbitrarios, entonces

n
[ |AB C| = |A|+|B|+|C||AB||AC||B C|+|AB C| .
Ai = B.
i=1

29 30

Ejemplos Ejemplos

Ejemplo 1 Ejemplo 2
Considere la siguiente proposicin: Sean A y B subconjuntos del universo U .

1 1
 a) Pruebe que Ac B c (A B)c .
p : ( > 0)( m N) +1< .
m m b) Por qu no es verdadera la igualdad?.

a) Niegue la proposicin p.
b) Determine si la proposicin p es verdadera o falsa.
Solucin
 
1 1
a) p : ( > 0)(N N) +1 .
N N
b) La proposicin es falsa, basta considerar = 1, pues, para todo
N N
1 1
1= + 1 1 = .
N N
Ejemplos

Solucin

a) Probemos que Ac B c (A B)c .

Sea (x, y) Ac B c .

(x, y) Ac B c = x Ac y B c por def. de producto cartesiano

= x
/Ay
/ B por definicin de complemento
= (x, y)
/ A B por def. de producto cartesiano
= (x, y) (A B)c por definicin de complemento

Ac B c (A B)c .

b) La igualdad no es vlida, basta considerar por ejemplo

U = {1, 2, 3}, A = {1, 2} = B.

33