UNIVERSIDAD PRIVADA

“FRANZ TAMAYO”

Aplicación de la
lógica formal

Integrantes: Martinez Jaldin Kevin Genaro

Herbas Velasco Oscar
Taquichiri Martínez Emanuel Silver
Semestre: Primero
Asignatura: Álgebra I
Docente: Marcia Jandira Loayza Antezana
Año: 2019

Cochabamba - Bolivia
 APLICACIÓN DE LA LÓGICA FORMAL

1. INTRODUCCION

La lógica formal es un sistema que está constituido por ideas y palabras que se llaman
proposiciones, estas a su vez deben tener sentido y la lógica formal nos ayuda a identificar
si estas tienen alguna contradicción para determinar si esto es verdadero o falso según los
valores lógicos que nos planteamos, día a día usamos esta lógica sin darnos cuenta, por lo
cual veremos el uso de esta ciencia

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia
valida. Se encuentra vinculada con el campo de la investigación científica en los resultados,
teorías, explicaciones y aportaciones de la matemática física química historia y demás
ciencias. Así mismo la lógica intervine en nuestras vidas cotidianas ayudándonos a
desarrollar nuestra capacidad de razonar y a pensar de manera clara, precisa y sin alguna
falla.

2. Desarrollo
Condicionantes
La lógica plantea certezas lógicas y las encuentra en sus leyes lógicas o tautologías
convertidas en reglas cuya aplicación encadenada sobre verdades o certezas axiomática o
empíricamente establecidas constituyen el desarrollo de los argumentos lógicos como
inferencias o razonamientos deductivos.
La Inferencia
Consiste en derivar la verdad de una proposición, llamada conclusión, de la verdad de otras
proposiciones, llamadas premisas. Es decir que es una estructura de proposiciones donde,
de una o más proposiciones llamadas premisas, se deriva otra llamada conclusión.
Los Conectores

Dos requisitos fundamentales en toda redacción son la coherencia y la cohesión. La primera

corresponde a la estructura lógica del texto; es decir a la construcción del sentido a partir
de la relación apropiada entre las ideas que lo componen: orden, jerarquía,
correspondencia. La segunda, al conjunto de propiedades lingüísticas que indican esas
relaciones.

CIRCUITOS LOGICOS
Un circuito lógico un conjunto de símbolos y operadores que satisfacen las reglas de la
lógica, simulando el comportamiento real de un circuito eléctrico, son básicamente, un
arreglo de interruptores conocidos como compuertas lógicas, en que cada compuerta
lógica tiene su tabla de verdad.

CLASES DE CIRCUITOS LOGICOS

Circuitos lógicos en serie: Es aquel que está constituido por interruptores dispuestos uno
detrás de otro. Se le representa mediante una conjunción, basta que uno de los
interruptores este abierto para que el resultado sea igual acero (Apagado).

Circuitos lógicos en paralelo: Es aquel que está constituido por interruptores dispuestos
uno a lado del otro. Se le representa mediante una disyunción, basta que uno de los
interruptores este cerrado para que el resultado sea iguala a 1 (Encendido).

2.1 LA LÓGICA

La lógica, es una ciencia formal y una rama de la Filosofía que estudia los principios de la
demostración e inferencia válida. La Lógica examina la validez de los argumentos en
términos de su estructura, (estructura Lógica), independientemente del contenido
específico del discurso y de la lengua utilizada en su expresión y de los estados reales a
los que dicho contenido se pueda referir.

2.2 LEYES DE LA LÓGICA FORMAL

La lógica formal establece cuatro leyes fundamentales del pensamiento:

1) El pensamiento debe respetar el principio de identidad. La ley de la identidad enseña a

identificar y a distinguir acertadamente las cosas, a no substituir una noción por otra. En
todo razonamiento, discusión o debate, toda noción debe ser empleada en una sola y
misma significación. Ej: A=A

2) El pensamiento no debe ser contradictorio. La ley lógica de no-contradicción impide

contradecirse en el curso de los razonamientos, en el análisis de los problemas. Es preciso
distinguir las contradicciones inadmisibles de un falso razonamiento y las de la vida real
que son dialécticas. Ej: A no puede ser -A y A a la vez

3) Si se trata de una cuestión planteada y comprendida convenientemente, es inadmisible

responder a ella de una manera indeterminada, ni por sí ni por no. Esto es lo que se llama
la ley del tercero excluido. Después de las precisiones necesarias, hay que responder
siempre de una manera determinada. De dos juicios contradictorios, uno es necesariamente
justo y el otro falso, y no hay un tercero. Ej: A es B o no-B.

4) Todo pensamiento es justo a la condición de que esté bien fundado, de que derive de
otro pensamiento justo que, en ese caso, le sirve de premisa (ley de la razón suficiente).
Por eso el pensamiento debe ser consecuente.

2.2.1 LEYES LÓGICAS

La lógica formal para su mejor comprensión presenta unas cuantas leyes que permiten
simplificar proposiciones. Estas leyes son las siguientes: identidad, absorción, Morgan;
idempotencia, conmutativa, asociativa, distributiva, complementación, implicación y de
doble implicación.

1. LEYES DE IDEMPOTENCIA: p^p≡p

pvp≡p

2. LEYES CONMUTATIVAS: p^q≡q^p

p^q≡q^p

3. LEYES ASOCIATIVAS: (p ^ q) ^ r ≡ p ^ (q ^ r)

(p v q) v r ≡ p v (q v r)

4. LEYES DE NEGACIÓN: ~(~p )≡ p

p ^~p ≡F

p v ~p≡V

5. LEYES DE IDENTIDAD: p^V≡p

pvF≡p

6. LEYES DE MORGAN: ~(p ^ q) ≡ ~ p v ~ q

 ~(pv q) ≡ ~ p ^ ~ q

7. DEFINICIÓN DE IMPLICACIÓN: p => q ≡ ~ p v q

8. LEYES DISTRIBUTIVA: p ^ (q v r) ≡ (p ^ q) v (p ^ r)

p v (q ^ r) ≡ (p v q) ^ (p v r)

9. LEYES DE ABSORCIÓN: p ^ (p v q) ≡ p ; p v (p ^ q) ≡ p

p ^ F ≡F ; p v V≡V

10. DEFINICIÓN DE DOBLE IMPLICACIÓN: p <=> q ≡ (p => q) ^ (q => p)

11. EQUIVALENCIA LÒGICA: p <=> q ≡ ~ ( p v q)

2.3. TAUTOLOGIAS CONTRADICCIONES Y CONTINGENCIAS LOGICAS:

2.3.1 Tautología: Una tautología es una expresión lógica que es verdadera para todos los
posibles valores de verdad de sus componentes atómicos. Las proposiciones dan el
resultado positivo.

2.3.2. Contradicción: Son aquellas fórmulas que son falsas para cualquier valoración de
los símbolos proposicionales que contiene. Las proposiciones dan el resultado negativo.

2.3.3. Contingencia: Son aquellas fórmulas cuyo valor de verdadero o falso depende de la
valoración de los símbolos proposicionales que contiene. Las proposiciones dan un
resultado negativo y positivo.
2.4 LEYES Y REGLAS DE LA INFERENCIA:

2.4.1LEYES DE INFERENCIA

Son aquellas que demuestran las condiciones y premisas con casos reales:

A. MODUS PONENDO PONENS (PP)

P→Q “Si llueve, entonces las calles se mojan”

P “Llueve”

La regla ‘ponendo penens’ significa, “afirmando afirmo” y en un condicional establece, que

si el antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el
consecuente (segundo término, en este caso q).

B. MODUS TOLLENDO TELLENS (TT)

“Tollendo tellens” significa “negando, niego” y se refiere a una propiedad inversa de los
condicionales, a los que nos referimos en primer lugar.

p→q “Si llueve, entonces las calles se mojan”

⌐q “Las calles no se mojan”

⌐p “luego, no llueve”

C. DOBLE NEGACION (DN)

⌐p(⌐p)↔p

El esquema representa, “p doblemente negada equivale a p”. Siguiendo el esquema de una

inferencia por pasos; la representaríamos asì:

⌐(⌐) “No ocurre que Ana no es una estudiante”

P “Ana es una estudiante”

 D. ADJUNCION Y SIMPLIFICACION

Adjunción (A): Si disponemos de dos enunciados afirmamos como dos premisas separadas,
mediante la adjunción, podemos unirlos en una sola premisa utilizando el operador ^
(conjunción).

P “juan es cocinero”

Q “pedro es policía”

______________________________________________________________

P ^ q “juan es cocinero y pedro es policía

E. MODUS TOLLENDO PONENS (TP)

La disyunción que se simboliza con el operador V, representa una elección entre dos
enunciados. Ahora bien, en esa elección forma parte de las posibilidades escoger ambos
enunciados, es decir, la verdad de ambos enunciados no es incompatible, si bien ambos no
pueden ser falsos.

P˅Q “He ido al cine o me he ido de compras”

⌐Q “No he ido de compras”

______________________________________________________________

P “Por tanto, he ido al cine”

F. LEY DE LA ADICION (LA)

Dado un enunciado cualquiera, es posible expresarlo como una elección (disyunción)

acompañado por cualquier otro enunciado.
 “He comprado manzanas”

_______________________________________________________________

A ˅ B “He comprado manzanas o he comprado peras”

G. SILOGISMO HIPOTÈTICO (SH)

Dados dos implicaciones, de las cuales, el antecedente de una sea el consecuente de la

otra (el mismo enunciado), podemos construir una nueva implicación cuyo antecedente sea
otra (el mismo enunciado), podemos construir una nueva implicación cuyo antecedente es
el de aquella implicación cuya consecuencia sea el antecedente de la otra implicación y
cuyo consecuente sea el de ésta última, cuyo antecedente era consecuencia del primero.

p→q “si la bola roja golpea a la bola blanca, la bola blanca se mueve”

q→r “Si la bola blanca golpea a la bola negra, la bola negra se mueve”

_______________________________________________________________

p→r “Si la bola roja golpea a la bola blanca, la bola negra se mueve”

H. SILOGISMO DISYUNTIVO (DS)

Dadas tres premisas, dos de ella, implicaciones, y la tercera una disyunción cuyos
miembros sean los antecedentes de los condicionales, podemos concluir en una nueva
premisa en forma de disyunción, cuyos miembros serían los consecuentes de las os
implicaciones lógicamente, si planteamos una elección entre dos causas, podemos plantear
una elección igualmente entre sus dos posibles efectos, que es el sentido de esta regla.

p→q “Si llueve, entonces las calles se mojan”

r→s “Si la tierra tiempla, los edificios se caen”

p˅r “Llueve a la tierra tiembla”

q˅s “Las calles se mojan o los edificios se caen”

 I. SIMPLIFICACION DISYUNTIVA (SD)

Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo

consecuente, y sus antecedentes se corresponden con los dos miembros de una
disyunción, podemos concluir con el consecuente de ambas implicaciones.

p˅q “Helado de fresa o helado de vainilla”

p→r “Si tomas helado de fresa, entonces repites”

q→r “Si tomas helado de vainilla, entonces repites”

r Luego, repites

J. LEY CONMUTATIVA

Esta ley, no es válida para la implicación, pero si para conjunción y para disyunción. Una
conjunción es afirmar que se dan dos cosas a la vez, de modo que el orden de sus
elementos no cambia este hecho. Igualmente, con disyunción es presentar una elección
entre dos cosas, sin importar en que orden se presente esta elección.

P^q

⌐(⌐p˅⌐q)

p˅q

⌐(⌐p^⌐q)

2.5 CONECTORES LOGICOS

Dos requisitos fundamentales en toda redacción son la coherencia y la cohesión. La primera

corresponde a la estructura lógica del texto; es decir a la construcción del sentido a partir
de la relación apropiada entre las ideas que lo componen: orden, jerarquía,
correspondencia. La segunda, al conjunto de propiedades lingüísticas que indican esas
relaciones.

Para ello, una de las posibilidades más frecuentes es el uso de conectores lógicos: palabras
o frases (conjunciones, adverbios, locuciones adverbiales y conjuntivas) que resaltan las
relaciones semánticas entre las ideas u oraciones que vinculan.
Conectores Lógicos De Contraste

Conectan o unen oraciones que son opuestas o que cuentan con un significado contrario.
Entre ellos nos vamos a encontrar con los siguientes.

Conectores: No obstante, por el contrario, pero, aun así, ahora bien, en todo caso, después
de todo, por otra parte, más bien, de todas formas, sino, sin embargo, mas.

Ejemplos:

1. Ana quiere ser periodista, no obstante, no quiere tener que viajar en su profesión.
2. Estamos en verano sin embargo hace frío.
3. A pesar de no estudiar, aprobó el examen.
4. No lo hizo Juan sino Pedro.

A. Conectores de concesión

Se les llama conectores de concesión, pero también se les conoce como los concesivos.
De nuevo unen palabras o bien frases con la intención de indicar una dificultad, pero esto
no quita que la acción se llegue a realizar.

Conectores: En vista de, aunque, a pesar de, aun así, pese a que, aun cuando, por más
que, si bien, por más que.

Ejemplos:

1. Aunque llueva, iré.

2. Iremos a la playa por más que se nuble.
3. Consiguió aprobar aun cuando no estudió mucho.

B. Conectores de causa

Los causales o conectores de causa, unirán frases o palabras para indicarnos la causa y
razón de la misma.

Conectores: Porque, a causa de, puesto que, con motivo de, ya que, pues, por (debido a),
como consecuencia.
Ejemplos:

1. Lo hizo porque le dio la gana.

2. Le riñeron por su comportamiento.
3. Aprobó el carnet de conducir, puesto que realizó buenas maniobras.

C. Conectores de consecuencia

La misma palabra ya nos indica qué son los conectores de consecuencia. Intentan
mostrarnos el efecto o consecuencia de lo que estamos exponiendo por medio de frases.

Conectores: Entonces, como consecuencia de, como, en seguida, dado que, por esta
razón, con motivo de, por lo tanto, por consiguiente, de ahí que, de tal forma, en vista de,
ya que.

Ejemplos:

1. Pienso, por lo tanto, existo.

2. Ya que no puedes acompañarme iré solo.
3. Como estaba cansado, me acosté temprano.

D. Conectores de condición

Expresan una condición o bien un requisito que tiene que ser cumplido para que la oración
tenga su sentido pleno.

Conectores: Si, a condición de que, con tal de que, siempre que, a menos que, en caso de
que, siempre.

Ejemplos:

1. Te prestaré el dinero, siempre que me lo vayas devolviendo cada mes.

2. Si lo buscas bien, lo encontrarás.
3. Pasaremos inadvertidos, a menos que, te pongas a reír.
E. Conectores de adición

En este caso, cuando hablamos de los conectores aditivos, tenemos que decir que son los
que aportarán nueva y relevante información. Una forma perfecta de introducir nuevos datos
en la frase.

Conectores: Más aún, todavía más, es más, incluso, también, de igual modo, al fin y al
cabo, además, aparte de eso, para colmo, por si fuera poco, a decir verdad.

Ejemplos:

1. Él no tiene tanto dinero, es más, no sé ni cómo compró el coche.

2. Llegas sin avisar y, para colmo, con cinco amigos.
3. Mi coche es pequeño, además ya está muy viejo.

F. Conectores reformulativos

Este tipo de conectores vuelve a indicarnos lo mismo, la misma esencia de la frase, pero
con una explicación mayor. Digamos que dicen lo mismo, pero de otra manera. Dentro de
los reformulativos nos podemos encontrar con los explicativos, recapitulativos,
ejemplificativos o correctivos.

Conectores: Es decir, o sea, en otras palabras, en resumen, en resumidas cuentas, en una

palabra, finalmente, para concluir, por último, por ejemplo, concretamente, sin ir más lejos,
resumiendo, mejor dicho.

Ejemplos:

1. Él era su tutor, o sea, su responsable.

2. Pasó a mejor vida, es decir, falleció.
3. La situación no ha cambiado, mejor dicho, no ha mejorado.

G. Conectores temporales

En este caso, gracias a los conectores temporales, podremos conocer cuándo sucedió la
acción que nos describen las frases. Eso sí, los temporales se pueden dividir en conectores
de anterioridad, simultaneidad y posterioridad.
Conectores: Antes, anteriormente, previamente, mientras, al mismo tiempo, en seguida, a
continuación, más tarde, al rato, entonces, cuando, érase una vez, hace mucho tiempo.

Ejemplos:

1. Al mismo tiempo que la niña hacía los deberes, su madre cantaba.

2. Cuando lo llamaron para anunciarle el premio, no podía creerlo.
3. No harán nada mientras no reciban la orden.

2.6 Circuitos lógicos

Un Circuito Lógico es aquel que maneja la información en forma de "1" y "0", dos niveles
lógicos de voltaje fijos. Puede ser cualquier circuito que se comporte de acuerdo con
un conjunto de reglas lógicas. Los circuitos lógicos. La información binaria que transmiten
los circuitos ya mencionados, se representan de la siguiente forma:

"0" o "1"
"Falso" o "Verdadero"
"On" o "Off"
"Abierto" o "Cerrado"

¿Para qué nos sirven los circuitos lógicos?

Los circuitos de conmutación y temporización, o circuitos lógicos, forman la base de

cualquier dispositivo en el que se tengan que seleccionar o combinar señales de manera
controlada. Entre los campos de aplicación de estos tipos de circuitos pueden mencionarse
la conmutación telefónica, las transmisiones por satélite y el funcionamiento de las
computadoras digitales.
CLASES DE CIRCUITOS LOGICOS
Circuitos lógicos en serie:

Es aquel que está constituido por interruptores dispuestos uno detrás de otro. Se le
representa mediante una conjunción, basta que uno de los interruptores este abierto para
que el resultado sea igual acero (Apagado). Se representa de la siguiente manera con su
tabla de verdad correspondiente: CONJUNCION.

Circuitos lógicos en paralelo:

Es aquel que está constituido por interruptores dispuestos uno a lado del otro. Se le
representa mediante una disyunción, basta que uno de los interruptores este cerrado para
que el resultado sea iguala a 1 (Encendido). Se representa de la siguiente manera con su
tabla de verdad respectivamente: DISYUNCION.

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 él 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 abiertas, indica que
la información no cruza de extremo a extremo, decimos entonces que es falso que la
información pasa 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 y 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 y . 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.

 =

3. CONCLUSION

Concluimos diciendo que la lógica formal nos sirve para ver cómo funcionan cosas
tan simples como afirmaciones y viendo que todo tiene una respuesta ya sea
verdadera o falsa, además vimos que para aplicar esta lógica tiene leyes y reglas
que nos facilitan para entender esta ciencia, también vimos los circuitos lógicos que
podemos ver en otras áreas (o ciencias) viendo así que la lógica se puede conectar
con muchas ciencias como la física o la matemática, por tanto nos queda decir que
esto es muy importante para todo ya que es algo que relaciona todo lo “lógico”.

4. BIBLIOGRAFIA

 https://prezi.com/effxi0nvjkwb/la-logica-aplicacion-y-funcion-sobre-la-vida-
del-hombre/
 https://websisblog.wordpress.com/2013/10/29/formulario-de-leyes-logicas/
 https://www.ecured.cu/Leyes_L%C3%B3gicas
 https://sites.google.com/site/logicaysufundamento/tautologia-
contradicciones-contingencias-logicas
 https://sites.google.com/site/matediscretasatilanocarrillo/unidad-2-logica-
matematica/2-2-4-leyes-y-reglas-de-la-inferencia
 https://www.cultura10.com/%C2%BFque-son-los-conectores-logicos-y-que-
tipos-hay/
 https://es.slideshare.net/DarwinLenzo/circuitos-logicos-64559394
 https://circuitoslogicosciberernvelmen.weebly.com/que-es-un-circuito-
logico.html