Universidad Diego Portales Asignatura: Algebra I

Escuela de Ingeniera Vespertina Profesor: Marcel Saintard

Ayudante: Javiera Paz

Ayudanta 1
Lgica

I. Propiedades:
- Axioma de la negacin:
Tabla 1 : Tabla de verdad de la negacin

p ~p
V F

F V

Es importante recalcar que:

Si una proposicin p es verdadera, entonces la proposicin ~p es falsa. Y si p

es falsa, entonces ~p es verdadera.

- Conectivos y proposiciones compuestas:

Operacin Nombre Puede leerse

pq Alternacin p q, o ambas

p^q Conjuncin pyq

pq Condicional S p entonces q

pq Bicondicional p s y slo si q

pwq Disy. excluyente p q, pero no ambas

Universidad Diego Portales Asignatura: Algebra I
Escuela de Ingeniera Vespertina Profesor: Marcel Saintard
Ayudante: Javiera Paz

- Tablas de verdad:

p q ~p ~q pq pq pq pq pwq

V V F F V V V V F

V F F V F V F F V

F V V F F V V F V

F F V V F F V V F

a) Dos proposiciones son equivalentes (idnticas) si sus tablas de verdad

son iguales. Se indica mediante el smbolo ()
b) Una proposicin es una tautologa (T) si su tabla de verdad resulta
siempre V.
c) Una proposicin es una contradiccin (C) si su tabla de verdad resulta
siempre F.
d) Una proposicin es una contingencia (K) si su tabla de verdad resulta a
veces F, a veces V.
Universidad Diego Portales Asignatura: Algebra I
Escuela de Ingeniera Vespertina Profesor: Marcel Saintard
Ayudante: Javiera Paz

Ejercicios propuestos:

a) A travs de una matriz de valores veritativos (tabla de verdad), determine

si el esquema es tautologa, contradiccin o una contingencia.
(suponga que: a=V; b=V; c=F)

[~a ( b c ) ] [ ( a b c) { ( b c ) a }]

Desarrollo:

[V (V F)] [(V F) (V F) V)]

V [V (V) V]

~ (V [F) V]

FV

Por lo tanto es tautologa.

b) Determine si la proposicin es una tautologa, una contradiccin o una

contingencia.

[(p ~q) p] (~p q)

*nota: para este caso al no saber los valores de verdad hacemos la tabla, como
tenemos dos incgnitas calculamos el nmero de combinaciones.

2 = 22 = 4
Universidad Diego Portales Asignatura: Algebra I
Escuela de Ingeniera Vespertina Profesor: Marcel Saintard
Ayudante: Javiera Paz

A X Y
p q ~p ~q p ~q Ap ~p q XY

V V F F F F F F

V F F V V V F V

F V V F V F V V

F F V V V F F F

Por lo tanto lo que tenemos en este ejercicio es una CONTINGENCIA.

c) {(p q ) [ p (~p q)]} ~(p ~q)

Calculamos nuevamente el nmero de combinaciones:

22 = 4

A B C X D Y

p q ~p ~q pq ~pq pB AC p~q ~D XY

V V F F V V V V F V V

V F F V F F F F V F F

F V V F F V F F V F F

F F V V F V F F V F F

Por lo tanto es una CONTINGENCIA.

Universidad Diego Portales Asignatura: Algebra I
Escuela de Ingeniera Vespertina Profesor: Marcel Saintard
Ayudante: Javiera Paz

d) Qu condiciones debe satisfacer p y q para que la siguiente proposicin sea:

a) [( qp ) q ]( pq ) Falsa
b) [(pq )r ] v [qr ] Falsa
c) {~p( p v q ) }[ pq ] Verdadera

a) 22 = 4
A X B Y
p q ~p ~q qp A q pq ~X XB

V V F F V F F V V

V F F V V V V F V

F V V F F F F V V

F F V V V V F F F

Por los tanto para que la proposicin sea falsa p y q deben ser falsos.