You are on page 1of 16

2017

"Año del Buen Servicio al Ciudadano.”

FACULTAD DE DERECHO Y CIENCIA POLITICA

CENTRO DE ESTUDIOS: ULADECH

TEMA: CIRCUITOS

ASIGNATURA: LÓGICA MATEMÁTICA

CICLO: I CICLO

DOCENTE TUTOR: MG. MIGUEL VILLARREYES GUERRA

ESTUDIANTES:

 LINGAN CALDERON MELVIN OMAR


 ROSA ROCILLO TICLIAHUANGA
 NEYRA MEDINA JESUS
 JIMENEZ CARRILLO ACELA

TUMBES _ 2017
UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

CIRCUITOS LÓGICOS

George Boole desarrolló a mediados del siglo XIX el álgebra de Boole, conocida

también como álgebra de la lógica y que permite simplificar deductivamente

afirmaciones lógicas.

1. Bit: Un bit es un dígito del sistema de numeración binario (binary digit) en el que se

usan dos dígitos, el 0 y el 1. En nuestro sistema de numeración decimal se usan 10

dígitos.

Podemos suponer un bit como un foco que puede estar en uno de los siguientes dos

estados:

LOGICA MATEMATICA Página 1


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

2. Álgebra de Conmutación: Una aplicación importante del álgebra booleana, es el

álgebra de circuitos con dispositivos de dos estados: El ejemplo más simple es un

conmutador que cumple una función de estar cerrado o abierto.

Los interruptores de corriente cumplen una función de cerradura:

Cerrados Dejan pasar la Corriente Eléctrica

Abiertos No dejan pasar la Corriente Eléctrica

LOGICA MATEMATICA Página 2


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

3. Circuitos en Serie. Dos o más interruptores están en serie, cuando se encuentran uno

a continuación de otro y la corriente que pasa al primer interruptor, será la misma que

traviesa al último.

Si uno o dos interruptores están abiertos, entonces no pasa corriente y el foco no prende.

4. Circuitos en Paralelo. Cada receptor conectado a la fuente de energía, está

independiente del resto.

LOGICA MATEMATICA Página 3


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

5. Funciones y Circuitos. En la figura se representa un circuito de interruptores en serie

y otro en paralelo, con su respectiva función (F).

LOGICA MATEMATICA Página 4


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

6. Puertas o Compuertas Lógicas. Es la expresión física de un operador booleano en la

lógica de conmutación.

6.1 Puerta Y (and). Es la función Booleana del producto.

LOGICA MATEMATICA Página 5


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

LEYES DEL ÁLGEBRA DE PROPOSICIONES

OBJETIVOS

1. Objetivo General:

Determinar y utilizar el conjunto de leyes y reglas que garanticen el correcto desarrollo

de los procesos cognitivos en el campo de la lógica. Con estas leyes podemos demostrar

el desarrollo de las tablas de verdad del bicondicional, a la misma vez poder distinguir

cada equivalencia lógica ya sea para realizar normalmente o en tablas de verdad.

LEYES DEL ÁLGEBRA DE PROPOSICIONES

Del Estudio de las Tautologías se derivan dos tipos especiales de estas: La Equivalencia

Lógica y las Implicaciones. Estas son Tautologías que tienen la forma proposicional de

un Bicondicional y un Condicional, respectivamente.

EQUIVALENCIA LÓGICA ——–> Bicondicional ( )

IMPLICACIONES ——–> Condicional ( →)

LOGICA MATEMATICA Página 6


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

EQUIVALENCIA LÓGICA

Sean A y B dos formas proposicionales. Diremos que A es lógicamente equivalente a

B, o simplemente que A es equivalente a B, y escribiremos:

ABóA=B

LEYES DEL ÁLGEBRA DE PROPOSICIONES

Son Equivalencias Lógicas que nos permiten reducir esquemas moleculares complejos y

expresarlos en forma más sencilla.

CONCLUSIÓN

Concluimos que para utilizar apropiadamente las reglas del álgebra en la demostración y

establecer la correcta utilización de cada ley en cada ejercicio la cual podemos usar para

demostrar en el ejercicio de una manera más sencilla, el manejo de valores de verdad de

las proposiciones simples, compuestas y de las funciones proposicionales.

También realizamos demostraciones mediante el uso de Tablas de Verdad o por

deducción utilizando otras leyes del Álgebra de Proposiciones.

LEYES DE LA LOGICA DE PROPOSICIONES

1. Ley de identidad:

 p→p p↔p

LOGICA MATEMATICA Página 7


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

2. Ley de la doble negación:

• p↔¬¬p

3. Ley del tercio excluso:

• p∨¬p

4. Ley de contradicción:

• ¬ (p∧¬p)

5. Leyes de Morgan:

• ¬ (p∧q) ↔ (¬p∨¬q)

• ¬ (p∨q) ↔ (¬p∧¬q)

6. Leyes de reducción al absurdo:

• (¬p → (q∧¬q))↔p

7. Leyes de conmutación:

• (p ∨ q) ↔ (q ∨ p) (p∧q)↔(q ∧ p)

• (p ↔ q)↔(q ↔p)

8. Leyes de asociación:

• ((p∨q) ∨ r)↔(p∨(q ∨r))

• ((p∧q)∧r)↔(p∧(q ∧ r))

LOGICA MATEMATICA Página 8


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

• ((p ↔q)↔r)↔(p↔(q ↔r))

9. Leyes de transposición:

• (p →q)↔ (¬q→¬p)

• (p ↔q)↔(¬q↔¬p)

10. Leyes distributivas:

• (p ∧ (q ∨r))↔((p∧q)∨(p ∧r))

• (p∨(q ∧r))↔((p∨q)∧(p ∨r))

• (p→(q ∧r))↔((p →q)∧(p →r))

• (p→(q ∨r))↔((p→ q)∨(p →r))

11. Leyes de permutación:

• (p→ (q →r))↔ (q→ (p →r))

12. Leyes del silogismo:

• (p →q) → ((q →r) → (p →r))

13. Silogismo hipotético o transitividad

• ((p →q) ∧ (q →r))→ (p →r)

• ((p ↔q) ∧ (q ↔r))→(p ↔r)

14. Leyes de inferencia de la alternativa o de los silogismos disyuntivos:

LOGICA MATEMATICA Página 9


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

• [¬p∧ (p∨q)]→q

• [p∧ (¬p∨¬q)] →¬q

15. Ley del dilema constructivo:

• [(p∨q) ∧ (p →r) ∧ (q →r)]→r

16. Segunda ley del dilema constructivo:

• [(p →q ) ∧(r →s)∧(p ∨r)]→ (q ∨s)

17. Ley del dilema destructivo:

• [(¬p∨¬q) ∧(r →p) ∧ (s →p)]→ (¬r∨¬s)

18. Ley de exportación:

• [(p∧q) →r]↔ [(p→(q ∨r)]

19. Ley de resolución:

• [(¬p∨q) ∧(p ∨r)]→ (q ∨r)

20. Ley del bicondicional:

• (p ↔q)↔ [(p →q) ∧ (q →p)]

21. Condicional-disyunción:

• (p →q) ↔ (¬p∨q)

22. Condicional-conjunción:

• (p →q)↔¬ (p∧¬q)

LOGICA MATEMATICA Página 10


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

23. Leyes de simplificación:

• (p∧q)→p

• p → (p∨q)

24. Leyes de expansión:

• (p →q) ↔ [p↔ (p∧q)]

• (p →q) ↔ [q ↔ (p∨q)]

25. Modus ponendo ponens:

• [ ( p →q)∧p]→q

26. Modus tollendo tollens:

[(p →q)∧¬q]→¬p

LOGICA MATEMATICA Página 11


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

AUTOEVALUACIÓN

1. Comprobar que la tabla de verdad de la proposición compuesta es una tautología.

2. Usar las tablas de verdad y demostrar la validez o invalidez de la siguiente


inferencia.

Verificar la respuesta aplicando el método abreviado.

P → ~q P1

Q v ~r P2

--------------------

P → r C

LOGICA MATEMATICA Página 12


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

(P → ~ q) (Q v ~ r) (P → r)

V F V V V F

V V F

P: V, V

Q: F

R: F

POR LO TANTO ES METODO ABREVIADO

3. Determinar la validez de la siguiente inferencia:

Si me gusta el inglés, entonces estudiaré. Estudio o desapruebo el curso; en

consecuencia, si desapruebo el curso, entonces no me gusta el inglés.

P1: SI ME GUSTA EL INGLES, ENTONCES ESTUDIARE P → Q

P2: ESTUDIO O DESAPRUEBO EL CURSO Q V R

C: DESAPRUEBO EL CURNO ENTONCES NO ME GUSTA EL INGLES Q → ˜P

(P → Q) (Q V R) (Q → ˜P)

V V V V V F

V V F

P: VF

Respuesta: Inferencia no válida.


Q: VVV

R: V

LOGICA MATEMATICA Página 13


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

4. En las siguientes proposiciones compuestas determinar su valor de verdad

resultante:

a) Todos los hombres son mortales y los peces son acuáticos. P ˄ Q

b) Sócrates fue un filósofo griego y Pelé un jugador de fútbol. P ˄ Q

c) El sol es el centro del sistema planetario solar y la luna no es un satélite de la

tierra. P ˄ ˜ Q

P Λ Q P Λ Q P Λ ˜Q

V V V V V F

V V F

P: V,V

Q: V,V,F

ES UNA INFERENCIA VALIDA

Solución:

a) Verdadera b) Verdadera c) Falsa

LOGICA MATEMATICA Página 14


UNIVERSIDAD CATÓLICA LOS ÁNGELES DE CHIMBOTE

5) De los enunciados son proposiciones:

a) 8 es par V

b) x es impar F

b) 3 + 5 > 6 V

d) ¡Arriba Perú! F

Solución: a y c

P Λ Q

V V

REFERENCIA BIBLIOGRÁFICAS

1. http://www.academia.edu

2. https://prezi.com

3. Núñez J. Matemática y Lógica. 1ra Ed. Chimbote-Perú. Editorial. ULADECH

4. Figueroa, R. (2004). Matemática. Básica. 3ª ed. Lima-Perú. Editorial Gráficas

América S.R.L.

5. Venero A. (2004). Matemática Básica. 4ª ed. editorial Lima-Perú. Graf. Top

E.I.R.L.

6. Lázaro M. (2007). Matemática Básica. 3ª ed. Lima-Perú. Editorial Moshera S.R

LOGICA MATEMATICA Página 15