LÓGICA SIMBÓLICA

La lógica simbólica es el acto de la creación de un "lenguaje" artificial que hace uso de

símbolos convencionales que representan estructuras para hacer frente a los complejos
argumentos lógicos. Su propósito es ahorrar tiempo en la argumentación y ayudar a prevenir la
confusión, imprecisión y la ambigüedad de la palabra. Se utiliza en lingüística, filosofía,
informática y sobre todo, en matemática.
 Clases de Preposiciones:

Proposición Simple:
Las proposiciones simples o atómicas son proposiciones que ya no pueden
descomponerse en dos expresiones que sean proposiciones. Oraciones. También Son
aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o
términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("sí. . .
entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero
no entre oraciones.
Ejemplos de proposiciones simples o atómicas:
1. La ballena es roja
2. La raíz cuadrada de 16 es 4
3. Gustavo es alto
4. Teresa va a la escuela
Proposición Compuesta o compleja:

Las también denominadas moleculares. Son aquellas que están formadas por dos o
más proposiciones simples unidas por los operadores lógicos. También las que
aparecen las partículas gramaticales como: No, o, y, si…entonces, si y solo sí.

Ejemplos de proposiciones compuestas:

1. La ballena no es roja
2. Gustavo no es alto
3. Teresa va a la escuela o María es inteligente
4. 4 es menor que 8 o 6 es mayor que 1
5. El 1 es el primer número primo y es mayor que cero
6. Fui al banco, pero el banco estaba cerrado
7. Si el miércoles próximo me saco la lotería entonces te regalare un auto.
 La expresión lingüística
Consta de tres clases de elementos o símbolos: variables, constantes y auxiliares.
Variables:
Son los símbolos que sustituyen las proposiciones o enunciados. Se llaman variables
porque su significado va cambiando en las diferentes argumentaciones o expresiones.
Se han acordado cinco variables o letras como símbolos: p, q, r, s, t. Si hacen falta
más variables, se recorre a subíndices:

Una variable como por ejemplo p puede simbolizar "La Tierra es un planeta" o "Todos
los planetas giran entorno all Sol" o cualquier otra proposición. Por ello, siempre es
preciso indicar la proposición que se simboliza con la variable. Así, p = La Tierra es un
planeta.

Constantes:

Constantes o conectores proposicionales son las partículas de significado no variable

que tienen la función de alterar, relacionar o conectar enunciados atómicos
haciéndolos complejos. Los más frecuentes son la negación, la conjunción, la
disyunción, el condicional y el bicondicional.

• Negación: ¬. (También: -, ~ )
Representa la partícula lingüística no o cualquiera otra partícula que incluyan la idea
de negación. Por ejemplo: no es el caso que, no pasa que, ni, etc. También prefijos
que indican esta idea como imposible.
Así, la formalización de "La luna no tiene satélites", será ¬p ; habiendo definido "La
luna tiene satélites" con la letra p.

• Conjunción: Ù . (También: •, & )

Representa la partícula lingüística y o cualquier otra que indique la idea de unió, como
también, igualmente, pero.
Así, la formalización de "Marte tiene satélites y Júpiter también", considerando "Marte
tiene satélites" = p y "Júpiter tiene satélites" = q, será p Ù q .

• Disyunción: Ú .
Representa la partícula lingüística o. Es preciso advertir que esta partícula tiene dos
sentidos: un inclusivo y otro exclusivo. En sentido inclusivo equivale a y/o, o sea, que
incluye la verdad de los dos enunciados de la disyunción o bien sólo la de uno de los
dos. El sentido exclusivo expresa la idea que la verdad de un miembro es incompatible
con la verdad del otro: o uno o el otro, pero no los dos. El sentido inclusivo es lo que,
en general, se adopta a lógica.
Así, la formalización de "Se aprende lógica escuchando a clase o estudiando", siendo
"Se aprende lógica escuchando a clase" = p y "Se aprende lógica estudiante" = q, será
pÚq.

• Condicional: ®. (También: É )
Representa las partículas lingüísticas si … entonces ... o cualquiera otros que indiquen
la idea de condición, como cuando … entonces... , entonces o una simple "coma". La
partícula entonces o equivalente separa el antecedente del consecuente.

Así, la formalización de "Si llueve, entonces la tierra se moja", con p simbolizando

"Llueve" y q, "La tierra se moja", será p ® q .

• Bicondicional : « . (También: º )
Representa las partículas lingüísticas si y sólo si … o cualquier otra que indique doble
condición, como equivale, cuando y sólo cuando, únicamente. Se trata de una
condición necesaria y suficiente.

Así, la formalización de "Es de noche si y sólo si se ha post el sol", con p simbolizando

"Es de noche" y q "Se ha post el sol", será p « q.
 La expresión lingüística Tiene diferentes formas que son las siguientes:
 La descripción: Es un dibujo hecho con palabras. En la descripción de una
persona cuando esta se refiere a los rasgos físicos se llama prosopografía y
cuando es de los rasgos se llama etopeya. Describir es explicar, de forma
detallada y ordenada como son las personas, los lugares o los objetos.
 La exposición: es la forma lingüística que anuncia los hechos y las ideas, su
propósito consiste en informar acerca de un objeto, un acontecimiento o una
idea.
 La narración: relato de uno o varios sucesos, ordenado los hechos para que
adquieran un nuevo significado con orden cronológico o climático.
 La argumentación: se utiliza cuando se quiere persuadir a los lectores. Es un
razonamiento que persigue la aceptación o el rechazo de una tesis propuesta.
 Los símbolos y reglas de las funciones lógicas
Una función lógica expresa una relación entre una o más entradas de variables
lógicas. Dichas funciones se representan convenientemente mediante

Reglas de las Funciones:

Introducción de la conjunción: La regla hace posible la introducción de una conjunción
en una demostración lógica. Es la inferencia que una proposición p es verdadera, y la
proposición q es verdadera, entonces la conjunción lógica de dos proposiciones p y q
es verdadera.
La regla de introducción de la conjunción puede escribirse en la notación subsiguiente:
 Modus tollendo tollens: establece que si una primera
afirmación implica una segunda afirmación; y la segunda
afirmación no es verdadera; se puede inferir que la
primera no puede ser verdadera.

Modus ponendo ponens: Se puede resumir como "si P implica Q;

y si P es verdad; entonces Q también es verdad."

Modus ponendo tollens : establece que, si no es posible

que dos términos sean simultáneamente verdaderos; y uno
de ellos es verdadero; entonces se puede inferir que el otro
término no puede ser verdadero.

Modus tollendo ponens: establece que, si se nos dice que al

menos una de las dos proposiciones es verdadera; y también
se nos dijo que no es la primera la que es verdadera; se puede
inferir que debe ser la última la que es verdadera. Es decir, si P
o Q es verdadero y P es falso, entonces Q es verdadero.

Silogismo hipotético: es una forma de argumento válido que

consiste en un silogismo con una sentencia condicional
para una o ambas de sus premisas.

Simplificación: es una inferencia inmediata válida, forma de argumento y regla de

inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces
A es verdad.
 Traducciones simples:
Se denominan traducciones simples aquellas oraciones que no
utilizan conectivos lógicos.
Estos son algunos ejemplos:
 p: El eclipse es un fenómeno natural.
 q: La luna es un satélite de la tierra.
 r: 2 es el inverso multiplicativo de ñ2.
 s: -3 es el inverso aditivo de 3.
El valor de verdad de una proposición simple puede ser verdadero (V) o falso (F), pero
no
los dos valores al mismo tiempo, pues dejaría de ser proposición.

Traducciones Complejas:
son aquellas que se obtienen combinando dos o más proposiciones simples mediante
términos de enlace.
Estos son algunos ejemplos de proposiciones compuestas:
 p: Está lloviendo.
 q: El sol brilla.
 p À q: Está lloviendo y el sol brilla.
 x: ¿Quieres café?
 y: ¿Quieres té?
 x v y: ¿Quieres café o té?
 s: Llueve.
 r: Hace frío.
 s→ r: Si llueve entonces hace frío.
 p: Un triángulo es equilátero.
 q: Un triángulo tiene sus tres lados iguales.
 p ↔q: Un triángulo es equilátero si y sólo si tiene sus tres lados iguales.
 Letras Senténciales:
Es una variable discreta que puede ser verdadera o falsa. Las variables
proposicionales son los bloques de construcción básicos de las fórmulas
proposicionales, usadas en lógica proposicional y en lógicas superiores.

Las fórmulas en lógica son comúnmente construidas recursivamente a partir de

algunas variables proposicionales, algún número de conectivos lógicos, y algunos
cuantificadores lógicos. Las variables proposicionales son las fórmulas atómicas de la
lógica proposicional. Por ejemplo, en una lógica proposicional dada, se podría definir
una fórmula de la siguiente manera:

Cada variable proposicional es una fórmula.

• Dada una fórmula X, su negación ¬X es una fórmula.
• Dadas dos fórmulas X e Y, y un conectivo binario b (como por ejemplo la
conjunción ∧), entonces (X b Y) es una fórmula.
• De este modo, todas las fórmulas de la lógica proposicional son construidas
utilizando variables proposicionales como unidades básicas.

Las variables proposicionales son representadas como predicados 0-arios en lógica de

primer orden.

Tablas de verdad
Una tabla de verdad es una representación esquemática de las relaciones entre
Proposiciones; sirve para determinar los valores de verdad de proposiciones
compuestas, las cuales dependen de los conectivos utilizados y de los valores de
verdad de sus proposiciones simples.
En la elaboración de una tabla de verdad los términos de enlace tales como la
negación
( ì ~ ì), la disyunción ( ì Ì ì) y la conjunción ( ì À ì) se consideran conectivos
fundamentales; por tal razón, sus valores de verdad constituyen base para establecer
bajo qué condiciones una proposición compuesta es verdadera o falsa.

Métodos:
Método Directo: para demostrar un teorema por este método la valides de la hipótesis
a partir de esta clase de postulados, las definiciones y los teoremas demostrados se
prueba la valides de la tesis, y para demostrar un teorema de este método se realizan
los siguientes pasos

1. Se determina claramente la hipótesis y la tesis del teorema que se va a demostrar

2. Se realiza una construcción geométrica a partir de la hipótesis y la tesis. En esta se
incluyen las construcciones auxiliares que apoyen la demostración del teorema
3. Pero se relaciona la hipótesis con las definiciones, postulados y teoremas
demostrados anteriormente, para establecer una sucesión lógica de proposiciones que
permitan comprobar la valides de la tesis generalmente este paso de la demostración
se presenta en 2 columnas:
1. Se escriben las proposiciones verdaderas
2. Se escribe la justificación correspondiente finalmente se afirma la tesis
reducción al absurdo. Para demostrar un teorema de la forma
"p entonces q" utilizando el método de reducción al absurdo se asume como
verdadera la proposición " no q " y se establece una contradicción con lo cual se
concluye que " no q " debe ser falsa y, en consecuencia, "q " debe ser verdadera

Método Indirecto: Consiste en tratar de ver si se puede ir de premisas verdaderas a

conclusión falsa. Se asignan los valores a las premisas (cada variable mantiene
siempre el mismo valor) de tal manera que éstas sean verdaderas y la conclusión
falsa. Así logramos formar un razonamiento inválido.
Con éste método se puede comprar si una fórmula es una tautología o no, si un
esquema de argumento es válido o inválido y si dos fórmulas son o no lógicamente
equivalentes entre sí.

Principales compuertas lógicas

Una puerta lógica, o compuerta lógica, es un dispositivo electrónico con una función
booleana u otras funciones como sumar o restar, incluyen o excluyen según sus
propiedades lógicas. Se pueden aplicar a tecnología electrónica, eléctrica, mecánica,
hidráulica y neumática. Son circuitos de conmutación integrados en un chip.
Experimentada con relés o interruptores electromagnéticos para conseguir las
condiciones de cada compuerta lógica, por ejemplo, para la función booleana Y (AND)
colocaba interruptores en circuito serie, ya que con uno solo de estos que tuviera la
condición «abierto», la salida de la compuerta Y sería = 0, mientras que para la
implementación de una compuerta O (OR), la conexión de los interruptores tiene una
configuración en circuito paralelo.
Puerta SI o BUFFER
La puerta lógica SI
realiza la función booleana igualdad. En la práctica se suele utilizar como amplificador
de corriente o como seguidor de tensión, para adaptar impedancias (buffer en inglés).
La ecuación característica que describe el comportamiento de la puerta SI es:
Su tabla de verdad es la siguiente:
Tabla de verdad puerta SI
Entrada Salida
0 0
1 1

Puerta AND

La puerta lógica Y, más conocida por su nombre en inglés AND (), realiza la función
booleana de producto lógico. Su símbolo es un punto (·), aunque se suele omitir. Así,
el producto lógico de las variables A y B se indica como AB, y se lee A y B o
simplemente A por B.
La ecuación característica que describe el comportamiento de la puerta AND es:
Su tabla de verdad es la siguiente:
Tabla de verdad puerta AND
Entrada Entrada Salida
0 0 0
0 1 0
1 0 0
1 1 1
Así, desde el punto de vista de la aritmética módulo 2, la compuerta AND implementa
el producto módulo 2.
Puerta OR

Puerta OR con transistores

La puerta lógica O, más conocida por su nombre en inglés OR (), realiza la operación
de suma lógica.
La ecuación característica que describe el comportamiento de la puerta OR es:

Su tabla de verdad es la siguiente:

Tabla de verdad puerta OR
Entrada Entrada Salida
0 0 0
0 1 1
1 0 1
1 1 1
Podemos definir la puerta OR como aquella que proporciona a su salida un 1 lógico si
al menos una de sus entradas está a 1.
Puerta OR-exclusiva (XOR)

La puerta lógica OR-exclusiva, más conocida por su nombre en inglés XOR, realiza la
función booleana A'B+AB'. Su símbolo es (signo más "+" inscrito en un círculo). En la
figura de la derecha pueden observarse sus símbolos en electrónica.
La ecuación característica que describe el comportamiento de la puerta XOR es:
Su tabla de verdad es la siguiente:
Tabla de verdad puerta XOR
Entrada Entrada Salida
0 0 0
0 1 1
1 0 1
1 1 0
Se puede definir esta puerta como aquella que da por resultado uno, cuando los
valores en las entradas son distintos. ej: 1 y 0, 0 y 1 (en una compuerta de dos
entradas). Se obtiene cuando ambas entradas tienen distinto valor.
Si la puerta tuviese tres o más entradas, la XOR tomaría la función de suma de
paridad, cuenta el número de unos a la entrada y si son un número impar, pone un 1 a
la salida, para que el número de unos pase a ser par. Esto es así porque la operación
XOR es asociativa, para tres entradas escribiríamos: a(bc) o bien (ab)

c. Su tabla de verdad sería:

XOR de tres entradas
Entrada Entrada Entrada Salida
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 1
Desde el punto de vista de la aritmética módulo 2, la puerta XOR implementa la suma
módulo 2, pero mucho más simple de ver, la salida tendrá un 1 siempre que el número
de entradas a 1 sea impar.

Lógica negada
Puerta NO (NOT)
Artículo principal: Puerta NOT

La puerta lógica NO (NOT en inglés) realiza la función booleana de inversión o

negación de una variable lógica. Una variable lógica (A) a la cual se le aplica la
negación se pronuncia como "no A" o "A negada".
Puerta NOT con transistores
La ecuación característica que describe el comportamiento de la puerta NOT es:
Su tabla de verdad es la siguiente:
Tabla de verdad puerta NOT
Entrada Salida
0 1
1 0
Se puede definir como una puerta que proporciona el estado inverso del que esté en
su entrada.
Puerta NO-Y (NAND)[editar]
Artículo principal: Puerta NAND

La puerta lógica NO-Y, más conocida por su nombre en inglés NAND, realiza la
operación de producto lógico negado. En ocasiones es llamada también barra de
Sheffer.2 En la figura de la derecha pueden observarse sus símbolos en electrónica.

Puerta NAND con transistores

La ecuación característica que describe el comportamiento de la puerta NAND es:
Su tabla de verdad es la siguiente:
Tabla de verdad puerta NAND
Entrada Entrada Salida
0 0 1
0 1 1
1 0 1
1 1 0
Podemos definir la puerta NO-Y como aquella que proporciona a su salida un 0 lógico
únicamente cuando todas sus entradas están en 1.
Puerta NO-O (NOR)[editar]
Artículo principal: Puerta NOR

La puerta lógica NO-O, más

conocida por su nombre en inglés NOR, realiza la operación de suma lógica negada.
En ocasiones es llamada también barra de Pierce. 2 En la figura de la derecha pueden
observarse sus símbolos en electrónica.

Puerta NOR con transistores

La ecuación característica que describe el comportamiento de la puerta NOR es:
Su tabla de verdad es la siguiente:
Tabla de verdad puerta NOR
Entrada Entrada Salida
0 0 1
0 1 0
1 0 0
1 1 0
Podemos definir la puerta NO-O como aquella que proporciona a su salida un 1 lógico
sólo cuando todas sus entradas están a 0. La puerta lógica NOR constituye un
conjunto completo de operadores.
Puerta NOR-exclusiva (XNOR)[editar]
Artículo principal: Puerta XNOR

Símbolo de la puerta lógica XNOR

La puerta NO-exclusiva, más conocida por su nombre en inglés NOR exclusive o
XNOR, es el complemento de la puerta OR exclusiva, siendo su función booleana AB
+ A’B’. Se utiliza el mismo símbolo que la puerta OR exclusiva (signo más “+” inscrito
en un círculo) y su representación en el diseño de circuitos lógicos y ecuación que la
describe.
o también como:
Las tablas de verdad para dos y tres entradas o variables son las siguientes:
Tabla de verdad puerta XNOR
Entrada Entrada Salida
0 0 1
0 1 0
1 0 0
1 1 1
XNOR de tres entradas
Entrada Entrada Entrada Salida
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 0
Esta puerta al ser el complemento de la puerta OR exclusiva (XOR), sus resultados
son uno (1) cuando sus entradas, para el caso de 2, son iguales, ya sean con valor 0 o
valor 1 (0 y 0, ó 1 y 1). Para más de 2 entradas, si el número de unos de entradas es
par, la salida es 1 y si es impar, la salida es 0. Si todas las entradas son 0, la salida es
1, como puede comprobarse en la tabla de verdad de tres entradas.
La puerta lógica XNOR se identifica como función par, en tanto que la puerta lógica
XOR se identifica como función impar.
 Introducción
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal,
o logística, es parte tanto de la lógica como de las matemáticas, y consiste en el
estudio matemático de la lógica, y en la aplicación de dicho estudio a otras áreas de la
matemática y de las ciencias. La lógica matemática tiene estrechas conexiones con
las ciencias de la computación y con la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que
codifican o definen nociones intuitivas de objetos matemáticos como conjuntos,
números, demostraciones, y algoritmos, utilizando un lenguaje formal.
La lógica matemática se suele dividir en cuatro subcampos: teoría de modelos, teoría
de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en
lógica matemática ha jugado un papel fundamental en el estudio de las matemáticas.
La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de la
lógica». Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas
matemáticamente.
La lógica matemática comprende dos áreas de investigación distintas: la primera es la
aplicación de las técnicas de la lógica formal a las matemáticas y el razonamiento
matemático y la segunda, en la otra dirección, la aplicación de técnicas matemáticas a
la representación y el análisis de la lógica formal.
Las compuertas lógicas son circuitos electrónicos diseñados para obtener resultados
booleanos (0,1), los cuales se obtienen de operaciones lógicas binarias (suma,
multiplicación). Dichas compuertas son AND, OR, NOT, NAND, NOR, XOR, XNOR.
Además se pueden conectar entre sí para obtener nuevas funciones. A continuación
se describirá las características de las compuertas. Este tipo de dispositivos lógicos
se encuentran implementados con transistores y diodos en un semiconductor y
actualmente podemos encontrarlas en formas de circuitos integrados lógicos. Al
mismo tiempo, puedes tu programar el comportamiento de otra manera, con circuitos
reconfigurables o programable, como micro controladores o FPGAs. Sin embargo, en
este tutorial veremos las compuertas implementadas en circuitos independientes y su
comportamiento.
 Conclusión
Podemos concluir que las compuertas lógicas son dispositivos electrónicos utilizados
para realizar lógica de conmutación. Son el equivalente a interruptores eléctricos o
electromagnéticos. Recordemos que para utilizar apropiadamente estas compuertas
es necesario entender la lógica binaria o el álgebra booleana (desarrollada por George
Boole en el año de 1854) la cual en nuestros días nos permite desarrollar y diseñar
componentes y sistemas utilizando simplemente proposiciones lógicas verdadero/falso
que en electrónica es entendida como “Ceros” y “Unos” lógicos. Actualmente la
tecnología permite integrar transistores en los diminutos ya muy conocidos circuitos
integrados. Dichos transistores sirven como puertas que permiten o impiden el paso
de corrientes eléctricas con lo cual podemos materializar la idea de las proposiciones
lógicas booleanas

Bibliografía
https://es.scribd.com/document/57289826/Compuertas-Logicas
http://electronicacompleta.com/lecciones/compuertas-logicas/
https://hetpro-store.com/TUTORIALES/compuertas-logicas/
https://es.wikipedia.org/wiki/Puerta_l%C3%B3gica
 Republica de Panamá
Ministerio de Educación
Colegio José Daniel Crespo

Estudiantes: Tatiana Corrales

Iguilka Ruiz
Eileen Domínguez
Elier González
 Grado: XII°B

Profesor: Ramón Martínez

Materia: Lógica y Filosofía

Tema: Lógica Simbólica Y Lógica Digital

Año 2018