2.

Disyuncin: Vincula dos proposiciones mediante el

conectivo lgico "o".
* Cuando los valores del operador principal son todos
Tabla de Verdad
verdaderos se dice que el esquema molecular es
p q p q .
V V V
V F V * Se dir que el esquema molecular es
F V V si los valores del operador principal son todos falsos.
F F F
* Si los valores del operador principal tiene por lo menos
3. Disyunci n Exclusiva: Vincula dos proposiciones una verdad y una falsedad se dice que es
mediante el conectivo lgico: "o ..........., o ............." .

Tabla de Verdad
p q p q LEYES DE LGEBRA PROPOSICIONAL
V V F
V F V Son equivalencias lgicas que nos permiten reducir esque-
F V V mas moleculares complejos y expresarlos en forma ms sen-
F F F cilla. Las demostraciones de dichas leyes se hacen constru-
yendo la tabla de verdad en cada caso.
4. Condicional: Vincula dos proposiciones mediante el
conectivo lgico :
"Si ............, entonces .............."

Tabla de Verdad a. Ley de Idempotencia:

p q p q p p p
V V V p p p
V F F
F V V b..
b Ley Co nmutativa:
L
F F V
F p q q p
p q q p
5. Bicondicional: Vincula dos proposiciones mediante
el conectivo lgico:
c. Ley As
Asociativa:
Aso
so
".............. si y slo si .............."
(p q) r p (q r)
Tabla de Verdad (p q) r p (q r)
p q p q
V V V d. Ley Distributiva:
V F F p (q r) (p q) (p r)
F V F p (q r) (p q) (p r)
F F V
e. Ley de la Doble Negacin:
6. Negacin: Afecta a una sola proposicin. Es un
~ (~ p) p
operador mondico que cambia el valor de verdad de
una proposicin:
f. Leyes de Identidad:
Tabla de Verdad p V V ; p F p
p ~p p V p ; p F F
V F
F V g. Leyes d el Complemento:
p ~p V
La cantidad de filas en una tabla es: p ~p F

h. Ley del Condicional:

Donde n es la cantidad de proposiciones simples. p q ~p q