MATEMTICA BSICA

Esquema Molecular EQUIVALENTES) si sus tablas de verdad son

idnticas, en cuyo caso se simboliza
Esquema Molecular. Es una formula lgica pq
que resulta de la combinacin de variables
proposicionales, conectivos lgicos y signos Leyes lgicas
de coleccin. 1. Ley de Involucin (Doble negacin)
Dentro de la estructura de un esquema ( p) p
molecular slo uno de los conectivos lgicos
2. Leyes del Complemento
es de mayor jerarqua (conectivo lgico
p p F
principal), el cual va a dar el nombre al
p p V
esquema molecular. Para ello se debe tener
en cuenta el correcto uso de los signos de 3. Leyes Conmutativas
coleccin entre las diferentes variables pqqp
proposicionales. pqqp
Generalmente los esquemas moleculares se pqqp
denotan con letras maysculas como: A, B, C, p qq p
etc.
4. Leyes Asociativas
Tipos de Esquemas Moleculares p (q r) (p q) r
1. Tautologa. Si todos los valores de la p (q r) (p q) r
matriz principal de la Tabla de Verdad p (q r) (p q) r
son verdaderos. p (q r )( p q) r

2. Contradiccin. Si todos los valores de la 5. Leyes de Morgan

matriz principal de la Tabla de Verdad (p q) p q
son falsos. (p q) p q
p q ( p q)
3. Contingencia o Consistencia. Si en la p q ( p/ q)
matriz principal de la Tabla de Verdad P/q ( p q)
hay por lo menos una verdad y por lo
menos una falsedad. 6. Ley de la Condicional
pqpq
Implicacin lgica y equivalencia lgica p q (p q)
pqpq
Se llama IMPLICACIN LGICA (o p q p q
simplemente IM- PLICACIN) a toda p q p q
condicional p q que sea
7. Leyes de Absorcin
TAUTOLOGA; en tal caso, a la p (p q) p
condicional se le denota p q . p (p q) p
p (p q) p
Como el ejemplo de IMPLICACIN se tiene p (p q r s) p
q Se llama EQUIVALENCIA p (p q r s) p
p ( p q) p q
LGICA (o simplemente EQUIVALENCIA) p ( p q) p q
a toda bicondicional p q que sea p (p q) p q
p (p q) p q
TAUTOLOGA, denotndose en tal caso
p q . 8. Leyes de Contraposicin
p q q p
Proposiciones lgicamente equivalentes p q q p
Dos proposiciones p y q se llaman pqqp
EQUIVALENTES (o lgicamente p qq p
 MATEMTICA BSICA

p q (p q) (q p)
9. Leyes de Idempotencia
ppp p q (p q) (q p)
ppp
p p p p q (p q) (p q)
p p p
ppppp 15. Leyes Distributivas
ppppp p (q r) (p q) (p r)
p (q r) (p q) (p r)
10. Leyes de Identidad p (q r) (p q) (p r)
pVp p (q r) (p q) (p r)
pFF p (q r) (p q) (p r)
pVV p (q r) (p q) (p r)
pFp p (q r) (p q) (p r)
pVV p (q r) (p q) (p r)
pFp
pVp
pFp CIRCUITOS LGICOS
p Vp Un circuito conmutador slo puede estar
en dos estados estables: cerrado o
p Fp abierto, del mismo modo que una
proposicin lgica puede verdadera o
11. Otras Leyes falsa. Por tanto, podemos representar
ppV una proposicin lgica utilizando un
p p p circuito lgico.
ppV
p p F Circuito en Serie:
Dos interruptores conectados en
serie representan una conjuncin.
12. Relaciones entre y

p qp q
(p q)
p q ( p q)
Circuito en Paralelo:
p q (p q) Dos interruptores conectados en
p q p q paralelo representan una disyuncin
p q ( p q) inclusiva.
p q (p q)
p qpq
p q (p q)
(p q)
p q p q
pqp q Determinar la menor expresin que
representa el circuito dado.
p q (p q) a)
p
pqp q
p
q

13. Definicin del Biimplicador q p

p q (p q) (q p)
p q ( p q) ( q p) b)
p q
p q (p q) ( p q)
p
p
14. Definicin del Disyuntor Fuerte q
 MATEMTICA BSICA
c)