V V V

RAZONAMIENTO V F F
MATEMTICO F V V
F V F
VERDAD FORMAL
La verdad formal es aquella que se obtiene evaluando 2.6. EL BIIMPLICADOR: Una proposicin biimplicativa
esquemas moleculares haciendo uso de reglas de conectores es verdadera solo cuando sus componentes tienen
lgicos y tablas de verdad. valores iguales

I. TABLAS DE VERDAD A B
V V V
Son diagramas que permiten obtener las verdad o falsedad
de una proposicin, a partir de un esquema molecular (el V F F
cual representa a una proposicin). F F V
F V F
II. REGLA DE LOS CONECTORES LGICOS
III. ESQUEMAS MOLECULARES SEGN MATRIZ PRINCIPAL
2.1. EL NEGADOR: Si una proposicin es verdadera, su
negacin es falsa o viceversa 3.1. Tautolgicos: (Todos son V)
Sea la proposicin: (p q) v p
A ~
V F p q (p q) v p
F V V V V V V
V F F V V
F V V V F
2.2. EL CONJUNTOR: Una proposicin conjuntiva es
F F V V F
verdadera solo cuando cada uno de sus
componentes es verdadero
3.2. Contingentes: (V o F)
Sea la proposicin: p (p ^ q)
A ^ B
V V V p q p (p ^ q)
V F F V V V V V
F F V V F F F F
F F F F V V V F
F F V V F

2.3. EL DISYUNTOR DBIL: Una proposicin disyuntiva

3.3. Contradictorios: (Todos son F)
incluyente es falsa solo cuando cada uno de sus
Sea la proposicin: ~(p v q) ^ p
componentes son falsas

p q ~ (p v ^ p
A v B
q)
V V V V V F V F V
V V F V F F V F V
F V V F V F V F F
F F V F F F
F F F

IV. RESUMEN DE LAS REGLAS DE LOS CONECTORES

2.4. EL DISYUNTOR FUERTE: Una proposicin LGICOS
disyuntiva excluyente es verdadera solo cuando sus
componentes tienen valores diferentes
A B ~A A^B AvB AB
V V F V V V
A B
V F F F V F
V F V F V V F V V
V V F F F V F F V
F V V
F F F A B AB AB A B A/B
V V V F F F
V F F V F V
2.5. EL IMPLICADOR: Una proposicin implicativa solo
F V V V F V
es falsa cuando el antecedente es verdadero y el
F F V F V V
consecuente es falso

A B
EQUIVALENCIAS LGICAS
Dos esquemas proposicionales A y B, se dice que son
equivalentes cuando unidas por el bicondicional " " el
resultado es una tautologa, es decir los valores de A y B
tienen los mismos valores de verdad.
 RESUMEN DE LAS LEYES DE EQUIVALENCIA O PRINCIPIOS
EQUIVALENTES|

LEY DE EQUIVALENCIA APLICACIONES

A ~(~A) ~(~)
DOBLE NEGACIN ~A ~[~(~A)] ~[~(~)] ~

LEYES DE DMORGAN ~(A ^ B) ~A v ~B ~(~A ^ ~ B)

~(A v B) ~A ^ ~B A ^ B ~(~A v ~B

CONMUTACIN ( , ^ , /, , , ) (A v B) (B v A) (A B) (B A)

CONTRAPOSICIN ( , , ,) (A B) (~B ~A) (A B) (~B ~A)

ASOCIACIN ( ^ , , , ) (A^B^C) [(A^B)^C] [A^(B^C)]

(A B C D) [(A B)
(C D)]

DISTRIBUCIN A^(B v C) (A ^B) v (A ^ C)

A v (B ^ C) (A v B) ^ (A v C)

ABSORCIN A ^ (A v B) A A v (A ^ B) A
~A ^ (A v B) ~A ^ B ~A v (A ^ B) ~A v B

DEFINICIN DEL IMPLICADOR A B ~A v B A B ~(~A ~B)

DEFINICIN DEL BIIMPLICADOR (A B) (A B) ^ (B A)

(A B) (A ^ B) v (~A ^ ~B)

DEFINICIN DEL DISYUNTOR (A B) ~(A B) (A B) (~A B)

EXCLUYENTE (A B) ~(~A B) (A B) ~(A B)

DEFINICIN DEL DISYUNTOR A B (A v B) ^ (~A v ~B)

EXCLUYENTE

EXPORTACIN (A ^ B) C A (B C)

MUTACIN A (B C) B (A C)

IDEMPOTENCIA ^AA vAA

COMPLEMENTO ^~ A F v~ A V

IDENTIDADES ^VA vVV

^FF vFA
 CIRCUITOS LOGICOS
La lgica es el fundamento terico de la informtica, ya que
le proporciona las herramientas necesarias para la
construccin de lenguaje de programacin.

Entre sus mltiples aplicaciones, la lgica se aplica a la

construccin de circuitos lgicos, y entre ellos los circuitos
elctricos, compuertas lgicas.

Los circuitos lgicos proporcionan una idea precisa sobre la

forma como la lgica proposicional puede ser aplicado al
diseo de computadoras electrnicas.