Álgebra: Clase 2

Jhonattan Gaona

UPLA

31 de marzo de 2016

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 1 / 14

Índice

1 Equivalencia

2 Tautologı́as, contradicciones y contingencias

3 Implicancia lógica

4 Algunas tautologı́as importantes

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 2 / 14

Proposiciones equivalentes

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 3 / 14

Proposiciones equivalentes

Definición
Decimos que dos proposiciones compuestas m y n son equivalentes si
entregan el mismo valor de verdad sin importar el valor de verdad de las
variables involucradas. Escribimos m ≡ n para indicar este hecho.

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 3 / 14

Proposiciones equivalentes

Definición
Decimos que dos proposiciones compuestas m y n son equivalentes si
entregan el mismo valor de verdad sin importar el valor de verdad de las
variables involucradas. Escribimos m ≡ n para indicar este hecho.

Ejemplo
Muestre que p ⇒ q ≡∼ p ∨ q.

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 3 / 14

Proposiciones equivalentes

Definición
Decimos que dos proposiciones compuestas m y n son equivalentes si
entregan el mismo valor de verdad sin importar el valor de verdad de las
variables involucradas. Escribimos m ≡ n para indicar este hecho.

Ejemplo
Muestre que p ⇒ q ≡∼ p ∨ q.
Muestre que p ∧ (p ∨ q) ≡ p.

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 3 / 14

Índice

1 Equivalencia

2 Tautologı́as, contradicciones y contingencias

3 Implicancia lógica

4 Algunas tautologı́as importantes

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 4 / 14

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 5 / 14
Tautologı́a
Una proposición se dice una tautologı́a si siempre tiene el valor de verdad
verdadero (V ).

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 5 / 14

Tautologı́a
Una proposición se dice una tautologı́a si siempre tiene el valor de verdad
verdadero (V ).

Contradicción
Una proposición se dice una contradicción si siempre tiene el valor de
verdad falso (F ).

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 5 / 14

Tautologı́a
Una proposición se dice una tautologı́a si siempre tiene el valor de verdad
verdadero (V ).

Contradicción
Una proposición se dice una contradicción si siempre tiene el valor de
verdad falso (F ).

Contingencia
Una proposición se dice una contingencia si tiene el valor de verdad
verdadero (V ) y el valor falso F .

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 5 / 14

Ejemplo
Considere las siguientes proposiciones y clasifı́quelas según la definición
anterior.

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 6 / 14

Ejemplo
Considere las siguientes proposiciones y clasifı́quelas según la definición
anterior.
1 p∨ ∼ p.

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 6 / 14

Ejemplo
Considere las siguientes proposiciones y clasifı́quelas según la definición
anterior.
1 p∨ ∼ p.
2 p∧ ∼ p.

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 6 / 14

Ejemplo
Considere las siguientes proposiciones y clasifı́quelas según la definición
anterior.
1 p∨ ∼ p.
2 p∧ ∼ p.
3 p∧ ∼ q.

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 6 / 14

Índice

1 Equivalencia

2 Tautologı́as, contradicciones y contingencias

3 Implicancia lógica

4 Algunas tautologı́as importantes

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 7 / 14

Implicación lógica

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 8 / 14

Implicación lógica

Definición
Dadas dos proposiciones p y q, se dice que p implica lógicamente q, si la
proposición p ⇒ q es una tautologı́a.

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 8 / 14

Implicación lógica

Definición
Dadas dos proposiciones p y q, se dice que p implica lógicamente q, si la
proposición p ⇒ q es una tautologı́a.

Ejemplo
Considere la proposición p ⇒ (p ∨ q), ¿Es una implicancia?

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 8 / 14

Índice

1 Equivalencia

2 Tautologı́as, contradicciones y contingencias

3 Implicancia lógica

4 Algunas tautologı́as importantes

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 9 / 14

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 10 / 14
∼ (∼ p) ≡ p
(p ∧ q) ≡ (q ∧ p)
(p ∨ q) ≡ (q ∨ p)
(p ⇔ q) ≡ (q ⇔ p)
p ∨ (q ∨ r ) ≡ (p ∨ q) ∨ r
p ∧ (q ∧ r ) ≡ (p ∧ q) ∧ r
p ⇔ (q ⇔ r ) ≡ (p ⇔ q) ⇔ r
p ∧ (q ∨ r ) ≡ (p ∧ q) ∨ (p ∧ r )
p ∨ (q ∧ r ) ≡ (p ∨ q) ∧ (p ∨ r )
∼ (p ∧ q) ≡∼ p∨ ∼ q
∼ (p ∨ q) ≡∼ p∧ ∼ q
(p ⇒ q) ≡ (∼ q ⇒∼ p)
(p ⇒ q) ≡ (∼ p ∨ q)
(p ⇔ q) ≡ [(p ⇒ q) ∧ (q ⇒ p)]
[(p ⇒ q) ∧ (q ⇒ r )] ⇒ (p ⇒ r )
(p ∧ q) ∨ p ≡ p
(p ∨ q) ∧ q ≡ p
Jhonattan Gaona (UPLA) Álgebra: Clase 2
doble negación.
conmutatividad de ∧.
conmutatividad de ∨.
conmutatividad de ⇔.
asociatividad de ∨.
asociatividad de ∧.
asociatividad de ⇔.
distributividad de ∧ con respecto a ∨.
distributividad de ∨ con respecto a ∧.
Ley de morgan para ∧.
Ley de morgan para ∨.
contrarecı́proco.
bicondicional dividida.
transitividad.
absorción.
absorción.
31 de marzo de 2016 10 / 14
Ejercicio
Demostrar las propiedades anteriores usando tablas de verdad.

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 11 / 14

Ejercicio
Demostrar las propiedades anteriores usando tablas de verdad.

Observación

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 11 / 14

Ejercicio
Demostrar las propiedades anteriores usando tablas de verdad.

Observación
Las equivalencias anteriores nos permiten realizar álgebra en el conjunto de
las proposiciones y las operaciones que se realizan con los conectivos.
Podemos simplificarlas, expandirlas y trabajar de forma similar como lo
hacemos con expresiones algebraicas reemplazando proposiciones
equivalentes.

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 11 / 14

Ejemplos

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 12 / 14

Ejemplos

1 Determine si la siguiente proposición es una tautologı́a, contradicción

o contingencia:

(p ∧ q)∧ ∼ (p ∧ q).

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 12 / 14

Ejemplos

1 Determine si la siguiente proposición es una tautologı́a, contradicción

o contingencia:

(p ∧ q)∧ ∼ (p ∧ q).

2 Vı́ctor que siempre dice la verdad, le ha contado a su hermana lo

siguiente:
Me gusta Marı́a Elena o Andrea, pero no las dos. Además, si me
gustará Andrea, también me gustarı́a Marı́a Elena. ¿Quién le gusta a
Vı́ctor realmente?

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 12 / 14

Ejemplos

1 Determine si la siguiente proposición es una tautologı́a, contradicción

o contingencia:

(p ∧ q)∧ ∼ (p ∧ q).

2 Vı́ctor que siempre dice la verdad, le ha contado a su hermana lo

siguiente:
Me gusta Marı́a Elena o Andrea, pero no las dos. Además, si me
gustará Andrea, también me gustarı́a Marı́a Elena. ¿Quién le gusta a
Vı́ctor realmente?
3 Simplifique al máximo

[(p ∧ (p ⇒ q)] ⇒ p.

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 12 / 14

Ejemplos

4 Demostrar que la siguiente proposición es tautologı́a:

(p ∧ q) ⇒∼ (∼ p ∧ q).

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 13 / 14

Para pensar...

Las matemáticas bien entendidas, no sólo poseen verdad, sino también una
belleza suprema: una belleza frı́a y austera, como la de una escultura.

Jhonattan Gaona (UPLA) Álgebra: Clase 2 31 de marzo de 2016 14 / 14