FACULTAD DE HUMANIDADES

ESCUELA PROFESIONAL DE EDUCACION- EDUCACION INICIAL

Matemática y Lógica
Docente Titular: Mg. Juan Dalio Díaz Beltrán Docente

Tutor: Mg. Jaime Angel Ortiz Diaz

TEMA: CIRCUITOS LOGICOS

INTEGRANTES DE GRUPO N° 4:

 Isabel Irma Calla Ramos

 Yudy Mayorga Uscamayta Yana
 Evelyn Katiuhskia Lipa Puma
 Nelida Elizabeth Quispe Condori
 Marilin Pilar Collohuanca Jara
 Raquel
 Nely Fany Chila Vilca
 Marina

Semestre: I-Q
 CIRCUITO LÓGICO

Los circuitos lógicos por lo general solo sirven como una ayuda auxiliar necesaria para
lograr un mejor entendimiento de los caracteres simbólicos no gráficos.
Este tipo de representaciones gráficas son usados en informática y son llamados
generalmente como circuitos digitales, este nombre radica porque trabaja con dígitos, en
especial con dos dígitos especiales, esto son, los valores de “0” y “1”. Estos dos únicos
valores se les conoce como forma binaria y significan:

 “0” voltaje bajo “low“, que significa falso.

 “1” voltaje alto “high“, que significa verdadero

Los valores de únicos 0 y 1 son los únicos dígitos binarios conocidos como bit, un bit es
como una moneda con una cara y una cruz, verdadero o falso, arriba o abajo, etc.
Pero para nuestro caso, su representación gráfica de los valores de verdad de una

proposición , sería:
Circuito 1

Circuito Cerrado

( )=

Circuito 2

Circuito Abierto

( )=
En definitiva los circuitos lógicos con interruptores no son más que:
Un arreglo de un conjunto de interruptores de compuertas abiertas y cerradas que tiene
como finalidad transmitir información de manera conveniente, es decir, también se pueden
negar el paso de la información restringiendo ciertas rutas dirigiendo la información bajo
nuestro juicio.

Para el caso del circuito 1, le indica que la proposición es verdadera ( ) = , en

electrónica, significa que la corriente pasa con total normalidad y para el circuito 2, la

proposición es falsa ( )= , en este caso, significa que la corriente no pasa

En los gráficos de los circuitos 1 y 2 representan los dos únicos valores de verdad de la

proposición :

Circuitos

Con estas representaciones logramos una correspondencia entre circuito y proposiciones, para ser
más exactos, con los interruptores del circuito.

Gracias a estas representaciones, podemos diseñar una representación gráfica de las proposiciones
moleculares con todos los conectivos lógicos que estudiamos en secciones anteriores. Para lograrlo,
debemos de establecer dos tipos de conecciones, esto son, los circuitos en serie y en paralelo.

CIRCUITOS EN SERIE (LA CONJUNCIÓN)

Un circuito en serie de dos proposiciones y se puede representar así:

 ( )=

Esto es, un circuito en serie donde las proposiciones representan los interruptores, para ser

más exactos, representan tan solo a los valores de verdad de las proposiciones y .
Este este circuito significa que la información pasa por el circuito a través de los

interruptores, en este caso, se dice que el los valores de verdad de y son verdaderas
cuando la información pasa entre las dos.
Este es un circuito en serie donde la información está cruzando con normalidad cuando los
interruptores están cerrados. Para el resto de las combinaciones, tenemos:

( )=

Si tenemos circuitos donde tanto uno o dos interruptores se encuentran abiertos, indica que
la información no cruza de extremo a extremo, decimos entonces que es falso que la
información pase por cualquiera de la combinación de estos circuitos.

Todas estas posibles combinaciones circuitos cerrados y abiertos en serie representan a la

tabla de verdad de la conjunción, aquí un recuadro donde vemos todas sus combinaciones:
 Circuitos

Por tanto, un circuito lógico en serie de dos interruptores es la representación gráfica de una
conjunción de dos proposiciones, cada proposición le corresponde un interruptor.

CIRCUITOS EN PARALELO (LA DISYUNCIÓN)

Un circuito en paralelo de dos proposiciones Proposición p y Proposición q se puede

representar así:

Esto es un circuito en paralelo donde las

proposiciones y se encuentran en paralelo, en

este caso, la información puede pasar por el

interruptor o por el interruptor .

Esto indica que es suficiente que uno de estos

interruptores esté cerrado para confirmar que la
información pase de extremo a extremo.

( )=
Estos circuitos con interruptores en paralelo indica significa que estamos tratando con una
proposición disyuntiva inclusiva para las proposiciones Proposición p y Proposición q. Para
el resto de las combinaciones posibles de la disyunción inclusiva, tenemos:

Por tanto, un circuito en paralelo de dos interruptores

representa gráficamente a dos proposiciones donde cada
proposición le corresponde un interruptor.

La tabla de verdad de todas estas posibilidades de la

disyunción inclusiva es la siguiente.

Circuitos

( )=

Tenga en cuenta que un circuito lógico con interruptores

solo muestra una de las posibles combinaciones de la tabla
( )= de verdad de un esquema molecular.

Para el caso de la negación, donde suponemos que la

proposición es verdadera, sería:

Si la proposición es falsa, su negación sería.

( )=

=
REPRESENTACIÓN GENERAL DE LAS PROPOSICIONES CON CIRCUITOS
LÓGICOS

Pero existe una forma de representar un esquema molecular por circuitos eléctricos
omitiendo los valores de verdad de estas. En esta tabla mostramos la representación gráfica
de la proposición p.

Un circuito lógico sin interruptores representa a una proposición cualquiera, en este caso, la
Proposición p, estos circuitos puede representar cualquier esquema molecular donde
podemos reducirlo en una combinación de esquemas moleculares de proposiciones
disyuntivas y/o conjuntivas.

Su representación gráfica de estas últimas es:

Para el caso de una proposición conjuntiva :

 Para el caso de una proposición disyuntiva :

Para el caso de la negación, simplemente lo representamos así:

Los circuitos lógicos de la conjunción, disyunción y negación son suficientes para

representar a la condicional material y bicondicional material y cualquier esquema
molecular que intentemos desarrollar.
CIRCUITO LÓGICO DE LA CONDICIONAL
Para representar el circuito lógico de la condicional, basta con usar una ley lógica:

Este sería un circuito en paralelo con la proposición negada:

Esto nos ayudará a representar el siguiente conectivo lógico.

CIRCUITO LÓGICO DE LA BICONDICIONAL

El circuito lógico de la bicondicional con ayuda de la siguiente ley lógica:

( ) ( )

Este circuito es igual a la conjunción y se puede representar así:

Pero como ( )y( ) se pueden representar de la siguiente manera:

( ) ( )

Por tanto, nuestro circuito lógico de la bicondicional sería:

CIRCUITO LÓGICO DE LA DISYUNCIÓN EXCLUSIVA

En la sección de leyes lógicas no hemos mencionado ninguna ley específica para la

disyunción exclusiva porque usualmente es la que menos se toma en cuenta y la que menos
se usa tanto en la teoría como en los ejercicios de lógica.

Pero también se puede representar con circuitos lógicos, para lograrlo, tenemos que
reducirlo bajo las posibles combinaciones de la disyunción inclusiva, la conjunción y la
negación.

Comencemos haciendo la siguiente comparación:

Tabla de verdad de la disyunción exclusiva Tabla de verdad de la bicondicional

Como se habrán dado cuenta, la disyunción exclusiva y la bicondicional son proposiciones

opuestas, por tanto, podemos escribir esta disyunción así:

( )

Donde ( ) ( ), tenemos:
p [( ) ( )] ( ) ( )

Pero: y , reemplazando:

p ( ) ( )

( ) ( )

Con esta identidad lógica podemos realizar nuestro circuito lógico, como podemos ver, la
disyunción exclusiva se puede expresar como una disyunción inclusiva. Nuestro circuito
sería:

Pero los esquemas y representan a circuitos en serie, por tanto, la forma

final del circuito de la disyunción exclusiva es:

Y este sería la representación final del circuito lógico de la disyunción exclusiva.

Pero quiero aclarar un punto interesante cuando expresamos los esquemas moleculares en
esta forma gráfica, existen otras maneras de representar a las proposiciones, hemos visto
dos de ellas, una es la habitual, con variables proposicionales y con los diferentes símbolos
de los conectivos lógicos, la otra forma sería por medio de los llamados circuitos lógicos.

El Álgebra de Boole es la manera adecuada de formalizar las funciones booleanas dándole

un significado a estas gráficas usando caracteres simbólicos adecuados.

El método abreviado

El método abreviado por lo general se usa con la condicional material (simbólicamente

hablando) operacionalmente y evita elaborar todo ese rollo de la tabla de verdad, consiste
en suponer todas las premisas falsas y el consecuente verdadero donde resulta como única
posibilidad para la condición de ser falsa.

Para lograrlo, el esquema debe tener una forma generalizada, para ello, debemos tener una

serie de premisas de la forma ( )= donde representa el número de premisas y el

consecuente falso ( )= , nuestro esquema sería:

Si la condicional es falsa tal como se muestra en el esquema, entonces decimos que es una
inferencia inválida y lo escribimos así:

Si la condicional es verdadera, entonces la implicación es válida y lo escribiremos así:

Otro punto que debemos de considerar intuitivamente es que si se trata de una implicación,
tendremos que suponer que la condicional material debe tener una relación semántica entre

premisas y la conclusión, esto solo es posible si usamos el símbolo de la implicación ,

pero si se pasa por alto la implicación, no lo podemos llamar inferencia lógica.
Por ejemplo, con la condicional se puede diseñar proposiciones de este tipo:

Tanto la proposición como son verdaderas, sin embargo, no

se puede inferir de , porque no hay relación directo o falta datos para determinar
que la proposición condicional sea verdadera, literalmente lo es, pero la implicación
requiere que la conclusión sea inferida de las premisas.

Por tanto, la inferencia es propio de la implicación y no de la condicional material. Si el

método abreviado hacemos uso de la inferencia, estaremos obligados a usar la implicación,
en caso contrario, puedes usarlo como una condicional material. Ojo, solo cuando usamos
la palabra inferencia, que no se les olvide.

Dicho todo esto, usaremos dos ejemplos para usar correctamente el método abreviado.

Ejemplo Ilustrativo 1

Averiguar si la siguiente inferencia es correcta.

Solución:

El esquema anterior es lo mismo que escribirlo así:

( ) ( )

Para averiguar si es correcta o no, haremos uso del método abreviado, aquí es donde
usamos la condicional en vez de la implicación solo por cuestiones operacionales, nuestro
esquema sería:
Esta condicional se supone que es falsa, pero vamos a averiguarlo si lo es, según el
esquema, debe cumplirse que:

( )= … (I)

( )= … (II)

( )= … (III)

La expresión (III) es más fácil de resolver, deducimos que ( ) = y ( ) = , si

reemplazamos el valor de verdad de en (I), encontramos que ( )= y si el valor de

verdad de y lo reemplazamos en (II), entonces (II) sigue siendo verdadera.

Esto indica que la condicional material es falsa porque no encontramos contradicciones con

(I), (II) y (III), por tanto, no se puede inferir de y , lo escribimos

simplemente asi:

( ) ( )

Entonces decimos que la inferencia es incorrecta.

Ejemplo Ilustrativo 2

Indicar si la siguiente inferencia es válida.

Solución:

Por el método abreviado, tenemos:

Recuerde que estamos suponiendo que este esquema condicional es falsa, sigamos, este
método abreviado nos sugiere que:

( )= … (I)

( )= … (II)

( )= … (III)

( )= … (IV)

De (IV) deducimos que:

( )= y ( )=

Reemplazando el valor de verdad de en (I) y el valor de verdad de en (III),

encontramos que:

( )= y ( )= simultáneamente.
Esto indica que el esquema molecular no puede ser falso, por tanto la inferencia es válida,
esquemáticamente se expresa:

De esta manera queda demostrada la inferencia.

Como se habrán dado cuenta, el método abreviado es muy sencillo y con ello podemos
evitar la tabla de verdad para este tipo de esquemas que ya mencionamos, finalizando este
tema, vayamos al siguiente apartado donde presentaremos una serie de leyes de
equivalencia e implicación que nos servirá de utilidad en los ejercicios resueltos.

Los 3 principios lógicos

Estos principios sólo es posible si una proposición interactúa consigo mismas bajo las
siguientes leyes simbólicamente expresivas expresadas a continuación:

Ley de identidad

Una proposición sólo es idéntica a sí misma, se representa así:

Ley de no contradicción

Una proposición sólo puede ser verdadera o falsa a la vez. Se denota:

 ( )

Ley del tercio excluido

Una proposición o es verdadera o es falsa, no existe una tercera posibilidad.

 

Ahora mismo vamos a presentar una serie de leyes tautológicas como son las equivalencias
notables e implicaciones notables. Téngalo muy presente que lo usaremos en un sin fin de
problemas resueltos de lógica proposicional.

Equivalencias notables

En esta oportunidad presentaré una serie de identidades lógicas que servirán en al

resolución y simplificación de esquemas moleculares más complejas. Este tipo de esquemas
también nos ayudan a evitar las aburridas tablas de verdad, pues, comencemos.

Ley de involución

Doble negación de una proposición es una afirmación.

 ( )

Leyes de idempotencia

Una cadena de conjunciones o disyunciones de una misma proposición resulta ser tal
proposición.

Leyes conmutativas

Los componentes de las proposiciones conjuntivas, disyuntivas (inclusiva o exclusiva) y

bicondicionales son conmutables.


 

Leyes asociativas

Esta ley establece la posibilidad de poder agrupar como quieras una proposición formada
por una serie de conjuntivos, disyuntivos o bicondicionales por signos de agrupación como
veras a continuación:

 ( ) ( )

 ( ) ( )

 ( ) ( )

 ( ) ( )

Leyes distributivas

Las propiedades de distribución de los conectivos lógicos son como sigue (no lo puedo
expresar en palabras porque no se me ocurre como):

 ( ) ( ) ( )

 ( ) ( ) ( )

 ( ) ( ) ( )

 ( ) ( ) ( )
Leyes de morgan

La negación de un conjuntivo o disyuntivo inclusivo de dos proposiciones y es igual a

un disyuntivo inclusivo o conjuntivo de y respectivamente.

 ( )

 ( )

Leyes condicionales

 ( )

Leyes bicondicionales

 ( ) ( )

 ( ) ( )

Leyes de absorción

 ( )

 ( )

 ( )

 ( )
Leyes de transposición

Leyes de exportación

 ( ) ( )

 ( … ) ( … ) (

Leyes tautológicas y contradictorias

Tener en cuenta que = tautología, = contradictoria y = cualquier esquema

molecular. Se cumple las siguientes leyes:

Para la conjunción

Para la disyunción inclusiva


Propiedad de los elementos neutros para la tautológica y contradictoria

Implicaciones notables

También existen una serie de leyes para las implicaciones notables y tiene una
representación esquemática vertical, todos y cada una de ellas tiene la siguiente forma
general:

También se puede representar así omitiendo los conectores conjuntivos así:

En cualquiera de los dos casos es consecuencia directa de … .

Según estos puntos, anunciamos las siguientes implicaciones notables.

Ley de modus ponens

Esta es la clásica representación matemática en las demostraciones matemáticas, se escribe

de la siguiente manera:
( )

Esquemáticamente es representado así:

Esta ley nos dice que si se prueba el antecedente, también se prueba el consecuente de la
inferencia. Un ejemplo sería si:

 “Si hoy llueve, entonces el piso se moja”

 “Hoy llueve”
 “Por tanto, el piso se moja”

Ley de modus tollens

Esta ley se escribe así:

( )

Y se representa:

Esta ley nos dice que si negamos el consecuente se prueba la negación del antecedente de la
inferencia. A modo de ejemplo:

 “Si = , entonces = “

 “ “
  “Por tanto, “

Ley del silogismo disyuntivo

A estas alturas, no comprender esta ley, me dejaría mucho que desear de ti querido amigo
lector, es tan sólo sentido común, está representado de la siguiente manera:

( ) ó ( )
Miralo bien y te darás cuenta del sentido lógico en la forma vertical de esta ley:

ó
En una disyunción inclusiva, si negamos una de las dos posibilidades, entonces se afirma la
otra posibilidad que nos queda. Por ejemplo:
 “Soy niño o niña”
 “No soy niño”
 “Por tanto, soy niña”

Ley de la inferencia equivalente

Esta ley también es muy usada en las demostraciones matemáticas, y por lo general
requiere de una doble demostración, es decir, el consecuente hace de antecedente y el
antecedente hace de consecuente, naturalmente una se deduce de la otra, totalmente alejado
del concepto de la condicional como ya se explicó. Su representación simbólica es:

( )
Su representación esquemática resalta el sentido común de esta ley, miralo bien y te darás
cuenta de su sencillez:

Si se afirma la verdad un miembro de una proposición bicondicional, entonces también se

afirma la verdad del otro miembro. Lo veremos mejor con un lindo ejemplo:
  “Si = , entonces = “  “Si = , entonces = “

 “ = ”  “ = ”

 “Por tanto, = “  “Por tanto, = “

Ley del silogismo hipotético

Este lay también es reconocida por nuestro sentido común, es una serie de implicaciones
sucesivas, aunque en su estructura representativa usemos la condicional material, realmente
se trata de una inferencia lógica, simbólicamente se representa así:

( ) ( )

Verticalmente se puede representar así:

Lo que nos indica esta ley es que si una proposición implica una segunda proposición y la
segunda proposición implica una tercera proposición, entonces la primera proposición
implica la tercera proposición, aquí un ejemplo:

 “Si mi madre sale de compras, entonces la acompañó”

 “Si acompaño a mi madre, entonces mi hija se irá al campo con sus amigos”

 “Luego, si mi madre sale de compras, entonces mi hija se irá al campo con sus
amigos”

Ley de transitividad simétrica

Esta ley es similar como la anterior, solo que para este caso, se usan bicondicionales, su
representación simbólica es como sigue:

( ) ( )

Bajo el esquema vertical, es mas detectable la lógica de este ley:

Como que me es dificil explicarlo literalmente, más fácil con un lindo ejemplo:

 “Yo nací si y solo si mis padres estuvieron ocupados en cama”

 “Mis padres estuvieron ocupados en cama si y sólo si a ellos se les subieron la

bilirrubina”
 “Luego, yo nací si y sólo si mis padres se les subieron la bilirrubina”

Ley de la simplificación:

Recordar que una equivalencia o una implicación siempre es una afirmación como ya
comente en esta entrada, menciono esto para no tener problemas con este ley y las dos
subsiguientes que presentaré en breve. Describimos esta ley.

Esta ley solo funciona con una proposición conjuntiva, es una inferencia inmediata válida
donde donde solo se aplica el sentido común. Su representación lógica inmediata es:

Si ( ) es verdadera, entonces es verdadera (o bien también es verdadera como

nueva conclusión), aquí un ejemplo rápido:
 ó

 “Yo soy feliz y mi amigo es carismático”

 “por tanto, yo soy feliz”

O bien, como nueva conclusión:

 “Yo soy feliz y mi amigo es carismático”

 “por tanto, mi amigo es carismático”

Ley de la adición

Esta ley es sencilla de comprender, en esta ley podemos agregar sin problema alguno una
proposición adicional a la conclusión sin afectar el valor de verdad de la inferencia en
general, se representa así:

Su forma vertical sería:

Ejemplo:

 “Yo soy superman”

 “por tanto, yo soy superman o batman”

Ley de la contradicción:
Si tengo una premisa donde deduzco una conclusión donde encuentro argumentos
contradictorios, entonces la premisa es negada, simbólicamente se escribe:

( ) ó ( )

Aquí un esquema para que lo puedas ver un poquito mejor:

Lo repito de otra manera y breve para que lo entiendas mucho mejor, si una conclusión es
contradictoria, entonces la premisa es negada.

Y aquí terminamos con todos las leyes lógicas, para que no te pierdas en esta larga entrada,
mostraré ahora mismo un resumen de todos las leyes lógicas del curso de lógica
proposicional.

RESUMEN DE TODAS LAS LEYES LÓGICAS

Resumen De Las Leyes De Equivalencia

Ley de Involución

 ( )

Leyes de Idempotencia

Leyes Conmutativas


 

Leyes Asociativas

 ( ) ( )

 ( ) ( )

 ( ) ( )

 ( ) ( )

Leyes Distributivas

 ( ) ( ) ( )

 ( ) ( ) ( )

 ( ) ( ) ( )

 ( ) ( ) ( )

Leyes De Morgan

 ( )

 ( )

Leyes Condicionales


  ( )

Leyes Bicondicionales

 ( ) ( )

 ( ) ( )

Leyes Absorción

 ( )

 ( )

 ( )

 ( )

Leyes De Transposición

Leyes De Exportación

 ( ) ( )

 ( … ) ( … ) (

 Resumen De Las Leyes De La implicación

Ley De Modus Ponens

( )

Ley De Modus Tollens

( )

Ley Del Silogismo Disyuntivo

( ) ó ( )

Ley De La Inferencia Equivalente

( )

Ley Del Silogismo Hipotético

( ) ( )

Ley De Transitividad Simétrica

( ) ( )

Ley De La Simplificación

Ley De La Adición

ó
Ley De La Contradicción

( ) ó ( )

Leyes Tautológicas Y Contradictorias

Para La Conjunción

Para La Disyunción Inclusiva

Propiedad De Los Elementos Neutros

Las 3 Principales Leyes Lógicas

Ley De Identidad


 

Ley De La No Contradicción

 ( )

Ley Del Tercio Excluido

EJERCICIOS RESUELTOS:

1.- Hallar La Expresión Equivalente Que Representa El Circuito

 BIBLIOGRAFÍA

 Figueroa R, Matemática Básica. 3ª ed. Lima-Perú. editorial Gráficas América

S.R.L.,2004
 Venero A, Matemática Básica. 4ª ed. editorial Lima-Perú. Graf. Top E.I.R.L, 2004.
 Lázaro M, Matemática Básica. 3ªed. Lima-Perú. editorial Moshera S.R., 2007.
 Mena D, Matemática. 1ra ed. Lima Perú. ediciones Jurídicas, 2008.
 https://ciencias-basicas.com/cursos-gratuitos-de-matematica/matematica-superior-
1/logica-proposicional/metodos-de-la-demostracion-matematica/