Logica 11

UNIVERSIDAD DE CONCEPCION
Facultad de Ciencias Fı́sicas y Matemáticas
Introducción a la Matemática Universitaria.
520145
Capı́tulo 1. Lógica y Conjuntos.
FCFM. UdeC. 1. ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Lógica
Conceptos primitivos
Los valores de verdad VERDADERO (V ) y FALSO (F ) son los

conceptos primitivos de la lógica.
Proposición
Una proposición es una sentencia declarativa (que afirma o niega

algo de algún sujeto) que posee un único valor de verdad, pudiendo
ser verdadera (V) o bien ser falsa (F).
Usualmente se denotan por letras minúsculas p, q , r , s, etc.

Lógica
Conectivos lógicos
Un conectivo lógico es un operador que nos permite obtener

nuevas proposiciones a partir de otras dadas. Los conectivos
básicos son:
• negación (∼) (“no”)
• conjunción (∧) (“y”)
• disyunción (∨) (“o”)
• condicional (→) (“si. . . , entonces”)
• bicondicional (↔) (“si y sólo si”)

Lógica
Tipos de proposiciones
Las proposiciones se clasifican en simples y compuestas, vale

decir, las que no incluyen conectivos lógicos, y las que sı́ los
incluyen.
Valores posibles de dos proposiciones dadas
p q
V V
V F
F V
F F

Lógica
Negación (∼)
Dada una proposición p, se llama negación de p, y se escribe

∼ p, a la proposición “no p”. Esto significa que ∼ p es V si p es
F , y ∼ p es F si p es V .
TABLA DE VERDAD
p ∼p
V F
F V

Lógica
Conjunción (∧)
Dadas dos proposiciones p y q , la conjunción de ellas es la

proposición “p y q ”, la cual se escribe p ∧ q . Ası́, p ∧ q es V si
ambas lo son, y p ∧ q es F si al menos una de ellas lo es.
TABLA DE VERDAD.
p q p∧q
V V V
V F F
F V F
F F F

Lógica
Disyunción (∨)
Dadas dos proposiciones p y q , la disyunción de ellas es la

proposición “p o q ”, la cual se escribe p ∨ q . Ası́, p ∨ q es V si al
menos una de ellas lo es, y p ∨ q es F si ambas lo son.
TABLA DE VERDAD
p q p∨q
V V V
V F V
F V V
F F F
Lógica
Condicional (→)
Dadas dos proposiciones p y q , la condicional de ellas es la

proposición “si p entonces q ”, la cual se escribe p → q . Aquı́, p se
llama antecedente y q consecuente. También, p → q se lee “p es
condición suficiente para q ”, o bien “q es condición necesaria para
p”. Ası́, p → q es F sólo si p es V y q es F .

Lógica
Condicional (→)
TABLA DE VERDAD
p q p→q p q p↔q
V V V V V V
V F F V F F
F V V F V F
F F V F F V

Lógica
Bicondicional (↔)
Dadas dos proposiciones p y q , la bicondicional de ellas es la

proposición “p sı́ y sólo sı́ q ”, la cual se escribe p
↔ q . También,
p ↔ q se lee “p es condición necesaria y suficiente para q ”. Ası́,
p ↔ q es V sólo si ambas proposiciones tienen el mismo valor de
verdad.
FCFM. UdeC. 10 . ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Lógica
Definiciones varias
Una proposición compuesta 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 sólo
contiene valores V .
• CONTRADICCION, si ella es siempre F .
• CONTINGENCIA, si no es tautologı́a ni contradicción.

Lógica
Implicación lógica
Dadas dos proposiciones p y q , se dice que p implica

lógicamente q , si la proposición p
→ q es una tautologı́a. En tal
caso se escribe p ⇒ q y se lee “p implica q ”.
Equivalencia lógica
Dadas dos proposiciones p y q , se dice que ellas son lógicamente

equivalentes, si la proposición p
↔ q es verdadera. En tal caso
se escribe p ⇔ q y se lee “p es equivalente a q ”.

Lógica
Algunas tautologı́as importantes
• ∼ (∼ p) ⇔ p (doble negación)
• p∧q ⇔ q∧p (conmutatividad de ∧)
• p∨q ⇔ q∨p (conmutatividad de ∨)
• p↔q ⇔ q↔p (conmutatividad de ↔)
• p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r (asociatividad de ∨)
• p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r (asociatividad de ∧)
• p ↔ (q ↔ r) ⇔ (p ↔ q) ↔ r (asociatividad de ↔)

Lógica
Algunas tautologı́as importantes (continuación)
• p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
(distributividad de ∧ con respecto a ∨)
• p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
(distributividad de ∨ con respecto a ∧)
• ∼ (p ∧ q) ⇔ ∼ p ∨ ∼ q (Ley de De Morgan para ∧)

• ∼ (p ∨ q) ⇔ ∼ p ∧ ∼ q (Ley de De Morgan para ∨)
• p→q ⇔ ∼ q → ∼ p (contrarecı́proca)
• p→q ⇔ ∼p ∨ q
• p↔q ⇔ (p → q) ∧ (q → p)

Lógica
Función proposicional
Se llama función proposicional (o enunciado abierto) a una

expresión p que contiene una o más variables, y tal que ella se
convierte en una proposición lógica cuando se le asignan valores
especı́ficos a dichas variables.
Conjunto de validez
Se llama Conjunto de validez de una función proposicional p, y se

denota por Vp , al conjunto de valores (o n-uplas de valores) para
los cuales dicha función es verdadera.

Lógica
Cuantificadores lógicos
• Para indicar que una función proposicional es verdadera para

cualquier elemento de un determinado conjunto U se usa el
sı́mbolo ∀, el cual se llama cuantificador universal.
∀ se lee: “para todo”, “cualquiera sea”, “para cada”.

algún elemento de un determinado conjunto U se usa el
sı́mbolo ∃, el cual se llama cuantificador existencial y se lee:
“existe (un)”, “existe al menos un”, “existe algún”.

un único elemento de un determinado conjunto U se usa el
sı́mbolo ∃! y se lee: “existe un único”.
Lógica
Más sobre cuantificadores lógicos
Sean A un conjunto y p una función proposicional que depende de

una variable x (en tal caso se escribe p(x)).
• ∀ 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”.

Lógica
Negaciones importantes
• ∼ ( ∀ x ∈ A : p(x) ) ⇔ ( ∃ x ∈ A : ∼ p(x) )
• ∼ ( ∃ x ∈ A : p(x) ) ⇔ ( ∀ x ∈ A : ∼ p(x) )
• ∼ ( ∃! x ∈ A : p(x) ) ⇔
( ∀ x ∈ A : ∼ p(x) ) ∨ ( ∃ x ∈ A, ∃ y ∈ A, x 6= y :
p(x) ∧ p(y) )

Lógica
Teoremas y demostraciones
Un teorema es una proposición verdadera de cierta relevancia para

una teorı́a y cuya verdad debe ser demostrada.
Algunas estructuras de teoremas
• Implicación: Si (hipótesis), entonces (tesis) (H ⇒ T )

Métodos de demostración:
– Método directo.
– Métodos indirectos: contra-recı́proca (∼
T ⇒ ∼ H),
reducción al absurdo (H∧ ∼ T ) ⇒ (p∧ ∼ p)
(contradicción).

Lógica
• Equivalencia: (Hipótesis) si y sólo si (tesis) (H ⇔ T )
Método de demostración: (H ⇒ T ) ∧ (T ⇒ H)
• Equivalencia de varias proposiciones:

P1 ⇔ P2 ⇔ P3 .
Métodos de demostración
– Directo: P1 ⇔ P2 y P2 ⇔ P3 .
– Usando transitividad. Mostrar que:
P1 ⇒ P2 , P2 ⇒ P3 , y P3 ⇒ P1 .
• Discreto: ∀n ∈ N : p(n)
Método de demostración: Inducción Matemática.

Lógica
La falsedad de una proposición con cuanfificadores universales se
puede demostrar usando un contra-ejemplo. Es decir, excibiendo
un valor para el cual la función proposicional es falsa.
Ahora, la proposición (∀x : P (x)) es falsa si la negación

∼ (∀x : P (x)) ⇐⇒ (∃x :∼ P (x)) es verdadera. Es decir, si
existe un valor de x para el cual P (x) es falsa.
Ejemplo (de contraejemplo). Dada la proposición

∀x ∈ R : x2 − 4 = 0.
Si x = 1, entonces 12 − 4 6= 0. En consecuencia, hay un valor
para el cual la función proposicional x2 − 4 = 0 es falsa. Luego,
x = 1 es un contraejemplo y la proposición es falsa.

Lógica
Ejemplos de demostración:
Proposición 1:
Sea a ∈ N. Si a es par, entonces a2 es par.

Demostración (directa). La hipótesis es H : a es par y la tesis es
T : a2 es par.
Ahora, si a es par, entonces por definición a = 2n para algún
n ∈ N. Ası́ a2 = (2n)2 = 4n2 = 2(2n2 ) también es par, pues
2n2 ∈ N. En consecuencia, se obtuvo la tesis T .

Lógica
Proposición 2: Sea a ∈ N. Si a2 es par, entonces a es par.
: a2 es par y sea
Demostración (por contradicción). Sea H
∼ T : a impar. Es decir, supongamos H∧ ∼ T .
Ahora, si a impar, entonces por definición a = 2n + 1 para algún
n ∈ N. Luego,
a2 = (2n + 1)2 = 4n2 + 4n + 1 = 2(2n2 + 2n) + 1.
Es decir, a2 es impar. Se obtuvo H∧ ∼ H , lo que es una

CONTRADICCIÓN (→←).

Conjuntos
Idea de Conjunto
Llamaremos conjunto a cualquier colección bien determinada de

objetos. Se denotan por A, B, ....
Los objetos los llamaremos elementos del conjunto, se denotan por
a, b, c, .... Un objeto a de A se dice que pertenece al conjunto y
se escribe a ∈ A. En caso contrario se escribe a ∈ /A
Dos conjuntos importantes son el conjunto vacı́o, que no contiene
elementos y se denota por φ, y el conjunto universo, que contiene a
todos los elementos y se denota por U .

Conjuntos
Definición de Conjunto.
Dado x ∈ U y un conjunto A, subconjunto de U , se tiene la

pregunta: ¿ x ∈ A ∨ x ∈/ A?.
Si esta pregunta se puede responder siempre, entonces se dice
que A está bien definido .
Los elementos x de A se pueden caracterizar por una propiedad

P (x) y definir el conjunto como A = {x ∈ U : P (x)}, llamada
definición por comprensión.
También se puede enumerar los elementos del conjunto

A = {a, b, c, ...}, llamada definición por extensión.

Conjuntos
Ejemplos. Un conjunto está bien definido por extensión o por

comprensión si dado x ∈ U es claro que ¿ x ∈ A ∨ x ∈
/ A?.
• Por extensión, vale decir mostrando los elementos de A.
N := { 1, 2, 3, · · · } (Números naturales)
• Por comprensión, esto es dando una propiedad (o proposición)

que caracterice a los elementos del conjunto.
na o
Q := : a, b ∈ Z, b 6= 0 (Números racionales).
b

Conjuntos
Inclusión de conjuntos
Dados dos conjuntos A y B , se dice que A es subconjunto de B

o que A está incluido en B , y se escribe A ⊆ B , si todos los
elementos de A están también en B , esto es:
A ⊆ B ⇐⇒ (∀x ∈ U : x ∈ A ⇒ x ∈ B)
Propiedades de la inclusión. Dados A, B, C conjuntos, se tiene

• φ⊆A⊆U
• A⊆A
• (A ⊆ B ∧ B ⊆ C) ⇒ A ⊆ C

Conjuntos
Igualdad de conjuntos
Dados dos conjuntos A y B , se dice que A y B son iguales, y se

escribe A = B , si los elementos de A y B coinciden, esto es:
A=B ⇐⇒ (A ⊆ B) ∧ (B ⊆ A).
Esto es, para un elemento x, se tiene:
(∀x ∈ U : x ∈ A ⇒ x ∈ B)∧(∀x ∈ U : x ∈ B ⇒ x ∈ A).

Conjuntos
Conjunto de las partes de un conjunto dado
Dado un conjunto A, se define el conjunto de las partes de A, y

se denota P(A), como el conjunto de todos los subconjuntos de
A, esto es:
P(A) := { X : X ⊆ A}
Notar que:
1. Los elementos de P(A) son conjuntos.
B ∈ P(A) ⇐⇒ B ⊆ A.
2. P(A) 6= φ ya que φ ∈ P(A) y A ∈ P(A).

3. El conjunto de las partes de A, también se denota por 2A .

Conjuntos
Operaciones entre conjuntos
Sea U el conjunto universo, y sean A, B subconjuntos de U . Es

decir, A, B ∈ P(U )).
a) La diferencia de A y B es el conjunto
A − B := { x ∈ U : x∈A ∧ x 6∈ B }
(También se escribe A \ B ).
b) El complemento de A con respecto a U , el cual se denota Ac

(o bien A′ , −A), es el conjunto U − A, vale decir:
Ac := U − A = { x ∈ U : x 6∈ A }

Conjuntos
Algunas propiedades
• ∀x ∈ U : x ∈ A ∨ x ∈ Ac
• φc = U ∧ Uc = φ • A ∪ Ac = U
• (Ac )c = A • A ∩ Ac = φ

Conjuntos
Otras operaciones entre conjuntos
Sea U el conjunto universo, y sean A, B subconjuntos de U .
c) La intersección de A y B , la cual se denota A ∩ B , es el

conjunto de todos los elementos comunes a A y B , esto es
A ∩ B := { x ∈ U : x∈A ∧ x∈B}
d) La unión de A y B , la cual se denota A ∪ B , es el conjunto

de todos los elementos que están en A o en B , esto es
A ∪ B := { x ∈ U : x∈A ∨ x∈B}

Conjuntos
Propiedades de ∩ y ∪
• A∪A=A, A∩A=A (idempotencia)
• A∪B =B∪A, A∩B =B∩A (conmutatividad )
• A ∪ (B ∪ C) = (A ∪ B) ∪ C (asociatividad de ∪)
• A ∩ (B ∩ C) = (A ∩ B) ∩ C (asociatividad de ∩)
• A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) (distributividad )
• A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) (distributividad )
• (A ∪ B)c = Ac ∩ B c (Ley de De Morgan)
• (A ∩ B)c = Ac ∪ B c . (Ley de De Morgan)

Conjuntos
Más definiciones
• Dos conjuntos A y B se dicen disjuntos si y sólo si

A ∩ B = φ.
Por ejemplo, para A ∈ U , A y Ac son disjuntos pues
A ∩ Ac = φ.
• Dados dos conjuntos no vacı́os A y B , se define el Producto
Cartesiano entre ellos, el cual se denota por A × B , como el
conjunto de todos los pares ordenados (a, b) tales que a
pertenece a A y b pertenece a B , esto es
A × B := { (a, b) : a∈A ∧ b ∈ B }.

Conjuntos
• Dados n conjuntos no vacı́os A1 , A2 , ..., An , se define el

Producto Cartesiano entre ellos, el cual se denota por
A1 × A2 × · · · × An , como el conjunto de todas las n-uplas
ordenadas (a1 , a2 , ..., an ) tales que ai pertenece a Ai para
cada i ∈ {1, ..., n}, esto es
A1 ×A2 ×· · ·×An := { (a1 , a2 , ..., an ) : ai ∈ Ai , i ∈ {1, ..., n} }
Por ejemplo,
R×R×R = { (x, y, z) : x ∈ R ∧ y ∈ R ∧ z ∈ R},
es el producto cartesiano entre A1 , A2 y A3 , con A = R, se

denota por R3 .

Conjuntos
Partición de un conjunto. Sean A1 , A2 , ..., An subconjuntos de

un conjunto B . Se dice que { A1 , A2 , ..., An } es una partición
de B si estos conjuntos son no vacı́os, disjuntos dos a dos y su
unión es el conjunto B , vale decir si, y sólo si:
• Ai 6= φ, para cada i ∈ {1, ..., n}.

• Ai ∩ Aj = φ para cada i 6= j .
n
[
• Ai = B .
i=1

Conjuntos
Cardinalidad. El número de elementos de un conjunto finito A se

llama cardinalidad de A y se denota por |A| o por Card(A) o
por #(A).
En particular, Si Card(A) = n, entonces Card(2A ) = 2n .
Ejemplo. Si A = {x ∈ N : n es par y n < 10}, entonces su

cardinalidad es
Card(A) = Card({2, 4, 6, 8} = 4.
Además,
Card(2A ) = Card(P(A)) = 24 = 16.

Conjuntos
Propiedades
• Si A y B son conjuntos disjuntos, entonces

|A ∪ B| = |A| + |B|.
• Si A y B son conjuntos arbitrarios, entonces
|A ∪ B| = |A| + |B| − |A ∩ B|.
• Si A, B y C son conjuntos arbitrarios, entonces
|A∪B∪C| = |A|+|B|+|C|−|A∩B|−|A∩C|−|B∩C|+|A∩B∩C| .

Logica 11

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Logica 11

Caricato da

Copyright:

Formati disponibili

UNIVERSIDAD DE CONCEPCION

Facultad de Ciencias Fı́sicas y Matemáticas

Introducción a la Matemática Universitaria.

Capı́tulo 1. Lógica y Conjuntos.

FCFM. UdeC. 1. ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Los valores de verdad VERDADERO (V ) y FALSO (F ) son los

Una proposición es una sentencia declarativa (que afirma o niega

Usualmente se denotan por letras minúsculas p, q , r , s, etc.

FCFM. UdeC. 2. ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Un conectivo lógico es un operador que nos permite obtener

• negación (∼) (“no”)

• conjunción (∧) (“y”)

• disyunción (∨) (“o”)

• condicional (→) (“si. . . , entonces”)

• bicondicional (↔) (“si y sólo si”)

FCFM. UdeC. 3. ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Las proposiciones se clasifican en simples y compuestas, vale

Valores posibles de dos proposiciones dadas

FCFM. UdeC. 4. ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Dada una proposición p, se llama negación de p, y se escribe

FCFM. UdeC. 5. ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Dadas dos proposiciones p y q , la conjunción de ellas es la

FCFM. UdeC. 6. ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Dadas dos proposiciones p y q , la disyunción de ellas es la

Dadas dos proposiciones p y q , la condicional de ellas es la

FCFM. UdeC. 8. ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

FCFM. UdeC. 9. ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Dadas dos proposiciones p y q , la bicondicional de ellas es la

FCFM. UdeC. 10 . ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Una proposición compuesta se dice una:

• TAUTOLOGIA (o TEOREMA LOGICO), si ella es siempre V ,

• CONTRADICCION, si ella es siempre F .

• CONTINGENCIA, si no es tautologı́a ni contradicción.

FCFM. UdeC. 11 . ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Dadas dos proposiciones p y q , se dice que p implica

Dadas dos proposiciones p y q , se dice que ellas son lógicamente

FCFM. UdeC. 12 . ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Algunas tautologı́as importantes

• p∧q ⇔ q∧p (conmutatividad de ∧)

• p∨q ⇔ q∨p (conmutatividad de ∨)

• p↔q ⇔ q↔p (conmutatividad de ↔)

FCFM. UdeC. 13 . ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Algunas tautologı́as importantes (continuación)

• ∼ (p ∧ q) ⇔ ∼ p ∨ ∼ q (Ley de De Morgan para ∧)

FCFM. UdeC. 14 . ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Se llama función proposicional (o enunciado abierto) a una

Se llama Conjunto de validez de una función proposicional p, y se

FCFM. UdeC. 15 . ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

• Para indicar que una función proposicional es verdadera para

∀ se lee: “para todo”, “cualquiera sea”, “para cada”.

• Para indicar que una función proposicional es verdadera para

• Para indicar que una función proposicional es verdadera para

Sean A un conjunto y p una función proposicional que depende de

• ∀ x ∈ A : p(x) se lee “para todo x en A, p(x) es

• ∃ x ∈ A : p(x) se lee “existe x en A tal que p(x) es

FCFM. UdeC. 17 . ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

FCFM. UdeC. 18 . ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

Un teorema es una proposición verdadera de cierta relevancia para

Algunas estructuras de teoremas

• Implicación: Si (hipótesis), entonces (tesis) (H ⇒ T )

FCFM. UdeC. 19 . ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.

• Equivalencia de varias proposiciones:

FCFM. UdeC. 20 . ACQ/MOS/GAC/MWC/LNB/MSS/FLG/ESF.