UNIVERSIDAD CATÓLICA DE LA SANTÍSIMA CONCEPCIÓN

FACULTAD DE INGENIERÍA
DEPARTAMENTO DE MATEMÁTICA Y FÍSICA APLICADAS

Taller N◦ 1
ÁLGEBRA I (MAT 111A)
Lógica

☞ Conectivos Lógicos

✎ Conjunción ✎ Disyunción ✎ Disyunción excluyente ✎ Condicional ✎ Bicondicional

p q p ∧q p q p∨q p q pYq p q p →q p q p↔q
V V V V V V V V F V V V V V V
V F F V F V V F V V F F V F F
F V F F V V F V V F V V F V F
F F F F F F F F F F F V F F V

☞ Propiedades ✓ p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
✎ ∼ (∼ p) ⇔ p ✎ Leyes de Morgan
✎ Idempotencia ✓ ∼ (p ∧ q) ⇔∼ p∨ ∼ q
✓ ∼ (p ∨ q) ⇔∼ p∧ ∼ q
✓ p∧p⇔p
✓ p∨p⇔p ✎ Contra-recı́proca
✎ Conmutatividad ✓ (p → q) ⇔ (∼ q →∼ p)
✓ p∧q ⇔q∧p ✎ Negaciones importantes
✓ p∨q ⇔q∨p ✓ ∼ (p → q) ⇔ (p∧ ∼ q)
✎ Asociatividad ✓ ∼ (p → q) ⇔ (∼ p ∨ q)
✓ (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r) ✓ ∼ (p ↔ q) ⇔ (p∧ ∼ q) ∨ (q∧ ∼ p)
✓ (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r) ✎ Otras
✓ (p → q) → r ⇔ p → (q → r) ✓ (p ↔ q) ⇔ (p → q) ∧ (q → p)
✎ Distributividad ✓ (p ↔ q) ⇔ (p ∧ q) ∨ (∼ p∧ ∼ q)
✓ p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) ✓ (p → q) ⇔ (∼ p ∨ q)

☞ Cuantificadores
✎ Cuantificador Universal ∀
✎ Cuantificador Existencial ∃
✎ Existe un único ∃!
☞ Negaciones de Cuantificadores
✎ ∼ (∀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, y ∈ A, x 6= y : P (x) ∧ P (y))
2 MAT111A - Taller 2010

Forma de Trabajo

☞ Formar grupo de a lo mas cinco alumnos.

☞ Resolver la mayor parte de los ejercicios propuestos.
☞ Consultar dudas al profesor de Taller.
☞ Viernes a las 12:00 hrs estará la solución del taller en fotocopiadora.

Ejercicios propuestos

1. Pruebe

(1.1) (p → q) ∧ (q → r) ⇒ (p → r) (1.2) p Y q ⇔∼ (p ↔ q)

2. Escriba p Y q en términos de la conjunción, disyunción y la negación.

3. Redes de Interruptores
Sean P F dos terminales conectados redes de cables eléctricos, a un interruptor de corriente eléctrica. Un
interruptor a se dice que esta cerrado si este deja pasar corriente eléctrica, en caso contrario se dice que el
interruptor esta abierto y lo simbolizaremos por a8 . Sea la proposición

p : a esta cerrado
entonces ∼ p : a esta abierto.
Sean a, b y c tres interruptores eléctricos y sea el circuito

a b c8

P a8 b c F

a8 b8 c8

Utilice proposiciones y conectivos lógicos para determinar si es posible determinar si llega corriente eléctrica de
P a F.

MG 20 y 22 Abril 2010