Documente Academic
Documente Profesional
Documente Cultură
Ayudanta 1
Lgica
I. Propiedades:
- Axioma de la negacin:
Tabla 1 : Tabla de verdad de la negacin
p ~p
V F
F V
pq Alternacin p q, o ambas
pq Condicional S p entonces q
pq Bicondicional p s y slo si q
- 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
Ejercicios propuestos:
[~a ( b c ) ] [ ( a b c) { ( b c ) a }]
Desarrollo:
V [V (V) V]
~ (V [F) V]
FV
*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
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
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.