Agradezco a DIOS por sobre todas las cosas que me haya puesto en

mi camino a personas buenas que me apoyaron.

1

Le agradezco a mis padres por brindarme el apoyo econmico y el

esfuerzo que hacen para culminar mi carrera policial.

INTRODUCCION
La asignatura de lgico matemtico de estudios de las Escuelas
Tcnico Superiores de la Polica Nacional del Per, a travs de sus
2

unidades de aprendizaje se imparte conceptos bsicos sobre la lgica

proposicional, los conectivos; la tablas de verdad y las tautologa:
argumentos he inferencias; el silogismo disyuntivo.
La cual promueve el desarrollo del pensamiento lgico y reflexivo a
partir de oraciones en lenguaje natural.

LGICA PROPOSICIONAL Y TEORA DE CONJUNTOS

CAPITULO I
3

1.1

INTRODUCCION ALA LGICA: La lgica nace en el seno de la filosofa pero tal

como ocurri con otras disciplinas su mbito de estudio y de conocimiento dej de ser parte
exclusiva de la filosofa, para integrarse al campo general de la ciencia.

1.2

PROPOSICION: es aquel juicio que se puede determinar si es verdadero o falso,

por ejemplo 3 es un nmero primo, es una proposicin.

1.3 PROPOSICION SIMPLE Y COMPUESTA:

PS: Es toda aquella proposicin que no tiene conectivo lgico alguno, ni modificador.
PC: Es toda aquella proposicin formada por medio de dos o ms proposiciones simples
enlazadas por un conectivo lgico.

1.4 OPERADORES LOGICOS Y TABLAS DE VERDAD:

OL: Los operadores lgicos, son los que permiten decidir qu valor
de verdad tiene una proposicin.
TV: Las tablas de verdad nos permiten demostrar la funcin de un
operador lgico en todas sus posibles variaciones o
combinaciones.
La tabla de verdad est compuesta por una o ms variables (por lo
general 2) y los operadores lgicos con los que se quiere combinar.
1.5

PROPIEDADES DE LOS OPERADORES LOGICOS:

CAPITULO II

2.1 INFERENCIA LOGICA: En la lgica tradicional, llamada aristotlica, la

forma esencial de inferencias es una forma de razonamiento deductivo no
obstante se reconocan algunas inferencias directas o inmediatas.
EN LA LOGICA ACTUAL:
transformada en

podra ser
donde

CPITULO III

3.1 CIRCUITOS LOGICOS: Un circuito lgico es un conjunto de smbolos y

operaciones que satisfacen las reglas de la lgica, simulando el
comportamiento real de un circuito elctrico.
3.2 COMPUERTAS:
- BUFFER
-AND

-OR

-XOR

-NOR (NOT-OR)

-NOT or INTERVER

-NAND (NOT AND)

-NXOR

3.3 TIPOS DE CIRCUITO:

- Circuito lgico combinatorio

- Circuito lgico secuencial

- Circuito lgico programable
3.4 SIMPLIFICACION: Una vez que se obtiene la expresin booleana para un
circuito lgico, podemos reducirla a una forma ms simple que contenga menos
trminos, la nueva expresin puede utilizarse para implantar un circuito que sea
equivalente al original pero que contenga menos compuertas y conexiones.
1. Ley de Morgan :
o
1. A + B = AB
2. AB = A + B
2. Ley Distributiva:
o
3. A+(BC) = (A+B)(A+C)
4. A(B+C) = AB+AC
Adems de las leyes formales para las funciones AND y OR:
5. A0 = 0 ; A+0 = A

6. A1 = A ; A+1 = 1
7. AA = A ; A+A = A
8. AA = 0 ; A+A = 1
Y la Ley de la Involucin:

9. A(negada) = A

RAZONES
= AB + (AB + AB) , Propiedad asociativa
= AB + B(A+A) , 4. [A(B + C) = AB + AC]
= AB + B1 , 8. [A + A = 1]
= AB + B , 6. [B1 = B]
= B + AB , Propiedad conmutativa
= (B + A)(B + B) , 3. [A + (BC) = (A + B)(A + C)]
= (B + A)1 , 8. [A + A = 1]
= B + A , 6. [A * 1 = A]
6