Circuitos PDF

2017
"Año del Buen Servicio al Ciudadano.”
FACULTAD DE DERECHO Y CIENCIA POLITICA
CENTRO DE ESTUDIOS: ULADECH
TEMA: CIRCUITOS
ASIGNATURA: MATEMÁTICA Y LOGICA
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:
MATEMATICA Y LOGICA Página 1

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

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.

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).

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.

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.
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 ( →)

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
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

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))

• ((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:

• [¬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)

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

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

(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

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

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

Circuitos PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Circuitos PDF

Cargado por

Copyright:

Formatos disponibles

2017

"Año del Buen Servicio al Ciudadano.”

FACULTAD DE DERECHO Y CIENCIA POLITICA

CENTRO DE ESTUDIOS: ULADECH

ASIGNATURA: MATEMÁTICA Y LOGICA

DOCENTE TUTOR: MG. MIGUEL VILLARREYES GUERRA

 LINGAN CALDERON MELVIN OMAR

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

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

MATEMATICA Y LOGICA Página 1

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

MATEMATICA Y LOGICA Página 2

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

independiente del resto.

MATEMATICA Y LOGICA Página 3

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).

MATEMATICA Y LOGICA Página 4

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

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

MATEMATICA Y LOGICA Página 5

LEYES DEL ÁLGEBRA DE PROPOSICIONES

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

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

LEYES DEL ÁLGEBRA DE PROPOSICIONES

un Bicondicional y un Condicional, respectivamente.

EQUIVALENCIA LÓGICA ——–> Bicondicional ( )

IMPLICACIONES ——–> Condicional ( →)

MATEMATICA Y LOGICA Página 6

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:

LEYES DEL ÁLGEBRA DE PROPOSICIONES

expresarlos en forma más sencilla.

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

MATEMATICA Y LOGICA Página 7

2. Ley de la doble negación:

3. Ley del tercio excluso:

6. Leyes de reducción al absurdo:

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

MATEMATICA Y LOGICA Página 8

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

10. Leyes distributivas:

• (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:

MATEMATICA Y LOGICA Página 9