Contenidos

Parte I: Lógica proposicional

Apunte de Álgebra

Mauricio Vargas

11 de abril de 2009

Mauricio Vargas Apunte de Álgebra

 Contenidos
Parte I: Lógica proposicional

1 Parte I: Lógica proposicional

Conceptos Generales de una Teorı́a
Ideas Primitivas
Valor Veritativos de una Proposición
Conectivos Lógicos

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conceptos Generales de una Teorı́a

Se define una teorı́a como un conjunto de conocimientos. Los

elementos de una teorı́a son definiciones e ideas primitivas.
Definiciones: Entrega de conceptos de manera formal.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conceptos Generales de una Teorı́a

Se define una teorı́a como un conjunto de conocimientos. Los

elementos de una teorı́a son definiciones e ideas primitivas.
Definiciones: Entrega de conceptos de manera formal.

Ideas Primitivas: Entrega de conceptos a nivel intuitivo.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conceptos Generales de una Teorı́a

Se define una teorı́a como un conjunto de conocimientos. Los

elementos de una teorı́a son definiciones e ideas primitivas.
Definiciones: Entrega de conceptos de manera formal.

Ideas Primitivas: Entrega de conceptos a nivel intuitivo.

Teorema: Consiste en afirmaciones que relacionan

definiciones, ideas primitivas y que pueden relacionarse con
otros teoremas. Todo teorema es demostrable.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conceptos Generales de una Teorı́a

Se define una teorı́a como un conjunto de conocimientos. Los

elementos de una teorı́a son definiciones e ideas primitivas.
Definiciones: Entrega de conceptos de manera formal.

Ideas Primitivas: Entrega de conceptos a nivel intuitivo.

Teorema: Consiste en afirmaciones que relacionan

definiciones, ideas primitivas y que pueden relacionarse con
otros teoremas. Todo teorema es demostrable.

Axioma: Es una afirmación que no se demuestra.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Ideas Primitivas

Noción de verdadero y falso.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Ideas Primitivas

Noción de verdadero y falso.

Noción de proposición: Entenderemos por proposición a una

oración de la cual se puede determinar un valor de verdad sin
ambiguedad.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Ideas Primitivas

Noción de verdadero y falso.

Noción de proposición: Entenderemos por proposición a una

oración de la cual se puede determinar un valor de verdad sin
ambiguedad.

Ejemplos:
Parı́s es capital de Francia.
2+2=6

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Valor Veritativos de una Proposición

Caracterı́sitica de toda proposición de ser verdadera o falsa.

También se llama valor de verdad.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conectivos Lógicos

Son operadores que permiten obtener una tercera proposición a

partir de 2 proposiciones dadas.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ∧ (y)

p∧q

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ∧ (y)

p∧q

Dados p y q se puede formar la proposición p ∧ q que es

verdadera cuando p y q lo son.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ∧ (y)

p∧q

Dados p y q se puede formar la proposición p ∧ q que es

verdadera cuando p y q lo son.

p q p∧q
V V V
V F F
F V F
F F F

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ∨ (o)

p∨q

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ∨ (o)

p∨q

Dados p y q se puede formar la proposición p ∨ q que es

verdadera si al menos una de las proposiciones lo es.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ∨ (o)

p∨q

Dados p y q se puede formar la proposición p ∨ q que es

verdadera si al menos una de las proposiciones lo es.

p q p∨q
V V V
V F V
F V V
F F F

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ⇒ (implica)
p⇒q

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ⇒ (implica)
p⇒q

Dados p y q, p implica q cuando: (p ⇒ q) ⇔ (p̄ ∨ q)

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ⇒ (implica)
p⇒q

Dados p y q, p implica q cuando: (p ⇒ q) ⇔ (p̄ ∨ q)

Nota: Implica se refiere a entonces, es decir si se cumple p,

entonces se cumple q. Como dijo Descartes: ’Pienso, luego
existo’ tiene sentido ya que luego significa entonces y no
después.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ⇒ (implica)
p⇒q

Dados p y q, p implica q cuando: (p ⇒ q) ⇔ (p̄ ∨ q)

Nota: Implica se refiere a entonces, es decir si se cumple p,

entonces se cumple q. Como dijo Descartes: ’Pienso, luego
existo’ tiene sentido ya que luego significa entonces y no
después.

En la expresión p̄ ∨ q, p̄ corresponde a la negación de p, es

decir:

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ⇒ (implica)
p⇒q

Dados p y q, p implica q cuando: (p ⇒ q) ⇔ (p̄ ∨ q)

Nota: Implica se refiere a entonces, es decir si se cumple p,

entonces se cumple q. Como dijo Descartes: ’Pienso, luego
existo’ tiene sentido ya que luego significa entonces y no
después.

En la expresión p̄ ∨ q, p̄ corresponde a la negación de p, es

decir:
p p̄
V F
F V

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ⇒ (implica)
De manera análoga a los demás conectores se pueden
desarrollar los valores de verdad para un implica.
p q p⇒q
V V V
V F F
F V V
F F V

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ⇒ (implica)
De manera análoga a los demás conectores se pueden
desarrollar los valores de verdad para un implica.
p q p⇒q
V V V
V F F
F V V
F F V
Que es equivalente desarollar los valores para p̄ ∨ q
p p̄ q p̄ ∨ q
V V F V
V F F F
F V V V
F F V V

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ⇔ (si y sólo si)

Dados p y q se cumple p si y sólo si se cumple q, es decir:

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ⇔ (si y sólo si)

Dados p y q se cumple p si y sólo si se cumple q, es decir:

p ⇔ (q ≡ p) ⇒ (q ∧ p) ⇒ p

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ⇔ (si y sólo si)

Dados p y q se cumple p si y sólo si se cumple q, es decir:

p ⇔ (q ≡ p) ⇒ (q ∧ p) ⇒ p

p q p⇒q q⇒p (p ⇒ q) ∧ (q ⇒ p) p⇔q

V V V V V V
V F F V F F
F V V F F F
F F V V V V

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector ⇔ (si y sólo si)

Dados p y q se cumple p si y sólo si se cumple q, es decir:

p ⇔ (q ≡ p) ⇒ (q ∧ p) ⇒ p

p q p⇒q q⇒p (p ⇒ q) ∧ (q ⇒ p) p⇔q

V V V V V V
V F F V F F
F V V F F F
F F V V V V

∴ p ⇔ q se cumplirá si y sólo si ambos valores son verdaderos

o ambos son falsos.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector Y (o excluyente / o exclusivo)

Dados p y q se cumplirá sólo p o solamente q ya que los

términos son excluyentes entre si, es decir es condición
necesaria para que se cumpla una de las proposiciones que la
otra no se cumpla.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Conector Y (o excluyente / o exclusivo)

Dados p y q se cumplirá sólo p o solamente q ya que los

términos son excluyentes entre si, es decir es condición
necesaria para que se cumpla una de las proposiciones que la
otra no se cumpla.

Ejemplo: ’Toda palabra tiene un número de letras par o

impar’. No existe ambiguedad para determinar que economı́a
tiene 8 letras y que 8 es número par. La condición de par
elimina toda posibilidad de que sea impar ya que son
incompatibles.

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Desarrollo: p Y q ⇔ (p ∨ q)∧ ∼ (p ∧ q)

Mauricio Vargas Apunte de Álgebra

 Conceptos Generales de una Teorı́a
Contenidos Ideas Primitivas
Parte I: Lógica proposicional Valor Veritativos de una Proposición
Conectivos Lógicos

Desarrollo: p Y q ⇔ (p ∨ q)∧ ∼ (p ∧ q)

p q p∨q q∧p ∼ (p ∧ q) (p ∨ q)∧ ∼ (p ∧ q)

V V V V F F
V F V F V V
F V V F V V
F F F F V F

Mauricio Vargas Apunte de Álgebra