V F F

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

I. TABLAS DE VERDAD A B
Son diagramas que permiten obtener las verdad o
falsedad de una proposicin, a partir de un esquema V V V
molecular (el cual representa a una proposicin). V F F
F F V
II. REGLA DE LOS CONECTORES LGICOS
F V F
II.1.EL NEGADOR: Si una proposicin es verdadera, su
negacin es falsa o viceversa III. ESQUEMAS MOLECULARES SEGN MATRIZ PRINCIPAL

III.1. Tautolgicos: (Todos son V)

A A Sea la proposicin: (pq)v p
V F
F V
p q ( p q) v p

II.2.EL CONJUNTOR: Una proposicin conjuntiva es

verdadera solo cuando cada uno de sus V V V V V
componentes es verdadero V F F V V
F V V V F
F F V V F
A ^ B
III.2. Contingentes: (V o F)
V V V
V F F Sea la proposicin: p( p q)
F F V
F F F
p q p ( pq )
II.3.EL DISYUNTOR DBIL: Una proposicin
disyuntiva incluyente es falsa solo cuando cada
V V V V V
uno de sus componentes son falsas
V F F F F
F V V V F
F F V V F
A v B
V V V III.3. Contradictorios: (Todos son F)
V V F
F V V Sea la proposicin: ( p v q)p
F F F

II.4.EL DISYUNTOR FUERTE: Una proposicin p q (p v q) p

disyuntiva excluyente es verdadera solo cuando
sus componentes tienen valores diferentes V V F V F V
V F F V F V
F V F V F F
A B F F V F F F
V F V
IV. RESUMEN DE LAS REGLAS DE LOS CONECTORES
V V F LGICOS
F V V
F F F
A B
AB AvB A B
II.5.EL IMPLICADOR: Una proposicin implicativa solo A
es falsa cuando el antecedente es verdadero y V V F V V V
el consecuente es falso V F F F V F
F V V F V V
F F V F F V
A B

V V V
A B A B A B A B A/B EQUIVALENCIAS LGICAS
V V V F F F Dos esquemas proposicionales A y B, se dice que son
V F F V F V
equivalentes cuando unidas por el bicondicional el
F V V V F V
F F V F V V resultado es una tautologa, es decir los valores de A y B
tienen los mismos valores de verdad.
 LEY DE EQUIVALENCIA APLICACIONES

A ( A) ( A) A
DOBLE NEGACIN

[
A LAS LEYES
RESUMEN DE ]
( A ) DE EQUIVALENCIA O PRINCIPIOS
( A) [ ] A
EQUIVALENTES|

LEYES DE DMORGAN
( AB) A v B A v B ( A B)

( A v B ) A B Av B
AB

CONMUTACIN ( A v B)(B v A) ( A B)(B A)

,
( v , /, , , )

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

ASOCIACIN ( , v , , ) C
A


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

DISTRIBUCIN
A ( B v C ) ( A B ) v ( AC )
( A vC )
A v ( BC ) ( A v B )

ABSORCIN
A(A v B) A A v ( AB) A
A(A v B) AB A v ( A B ) A v B

DEFINICIN DEL IMPLICADOR A B Av B A B ( A B)
DEFINICIN DEL
BIIMPLICADOR
( A B ) ( A B )( B A )

( A B) ( AB) v ( A B) ( A B) ( A B )
DEFINICIN DEL DISYUNTOR
EXCLUYENTE
( A B) ( A B)
( A B) ( A B )
( A B) ( A B)

DEFINICIN DEL DISYUNTOR A v B)

EXCLUYENTE
A B ( A v B )(

EXPORTACIN
( A B ) C A ( B C )

MUTACIN A ( B C ) B ( A C )

IDEMPOTENCIA A
A A AvAA

COMPLEMENTO
A A F A v A V
 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.