NOMBRE:

Ricardo Ant. Almonte Sánchez

MATRICULA:

17 - 5850

ASIGNATURA:

Lógica Matemática

FACILITADOR:

Roberto Herrera
 INTRODUCCIÓN

En este trabajo final desarrollaremos algunos temas muy importantes sobre la

lógica en diversos contextos, como su utilidad en la resolución de problemas,
los circuitos lógicos en la electrónica, la aplicación del lenguaje de
programación prolog, tanto en sistemas expertos o compiladores acompañados
de ejemplos para facilitar el aprendizaje al respecto. La importante
implementación del lenguaje prolog en la inteligencia artificial, las
comparaciones entre: compuertas lógicas y proposiciones compuestas.
Aprenderemos el significado de inferir y un ejemplo en los sistemas actuales y
la importancia de los argumentos lógicos en la vida cotidiana.
 Objetivos:

Dotar la capacidad de formulación y de generación de inferencias correctas en

el marco de varios sistemas formales.
Aprender a utilizar las reglas y técnicas para determinar si es o no valido un
argumento dado.
Aplicar el razonamiento lógico para la solución de teoremas.
Poder usar de forma constante el razonamiento lógico para realizar cualquier
actividad.
El objetivo de la lógica matemática es cuestionar los conceptos y las reglas de
deducción que son utilizadas en las matemáticas y esto constituye a la lógica
una verdadera matemática.
Escribe la utilidad de la lógica en la resolución de problemas.

El estudio de la lógica puede beneficiarnos en la filosofía (y en la vida en

general).
La lógica estudia algunos aspectos de la argumentación. La lógica nos permite
1) distinguir los argumentos correctos de los incorrectos, 2) comprender por
qué algunos son correctos y otras no, y 3) evitar cometer falacias o sofismas en
nuestro razonamiento. Una falacia o sofisma es un argumento incorrecto que
parece correcto. Un argumento correcto es un conjunto de afirmaciones
organizadas de tal manera que una de ellas (la conclusión) es compatible con
las demás (las premisas). Un argumento incorrecto es aquel en el que las
premisas no apoyan la conclusión.
El papel de la lógica se hace evidente cuando nos damos cuenta de que los
filósofos buscan, implícita o explícitamente, argumentos sólidos y pertinentes
para defender sus ideas. Pero para saber si un argumento es sólido y relevante
se necesita saber si es válido. Y es la lógica que nos ayuda a saber si un
argumento dado es válido o no.
La lógica tiene dos funciones en la filosofía: clarificar nuestro pensamiento y
ayudarnos a evitar errores en el razonamiento. La filosofía se identifica por un
conjunto de problemas. Los filósofos, a lo largo de la historia, han respondido a
estos problemas, tratando de resolverlos. Para ello, presentan teorías y
argumentos.
Necesitamos la lógica para evaluar de manera crítica los problemas de la
filosofía. Si alguien quiere reflexionar sobre el problema filosófico de saber por
qué razones las ideas verdes no son saladas, lo mejor que podemos hacer es
mostrar que este es un falso problema. Para ello necesitamos argumentos.
Necesitamos la lógica para evaluar críticamente las teorías de los filósofos.
¿Una propuesta teórica será plausible? ¿Cómo podemos defenderla? ¿Cuáles
son sus debilidades y cuáles son sus puntos fuertes? ¿Y por qué?
Necesitamos la lógica para evaluar críticamente los argumentos de los
filósofos. ¿Son sus argumentos sólidos? ¿O son errores sutiles de
razonamiento? ¿O se basan en premisas tan discutibles como sus
conclusiones?
Por lo tanto, para que los estudiantes puedan enfrentar los problemas de la
filosofía de forma creativa, tienen que dominar las herramientas críticas
elementales que les permitan formular claramente los problemas, las teorías y
los argumentos de la filosofía, y que les permitan adoptar una postura crítica –
defendiendo sus propias ideas con argumentos.
El arte de la filosofía es el arte de la fundamentación de nuestras ideas con
argumentos sólidos, creativos e inteligentes.
El dominio de este arte consiste en tener la capacidad de distinguir los
argumentos con esas características de los que no lo tienen, y tener la
capacidad de cambiar de opinión cuando somos incapaces de defenderlas con
argumentos bien fundamentados. El pensamiento lógicamente disciplinado no
impide, por tanto, la creatividad; por el contrario, la promueve (…).
La lógica nos ayuda a pensar en las diferentes posibilidades. Para determinar
si un argumento es válido debemos determinar si hay alguna manera en el que
las premisas sean verdaderas y la conclusión falsa. Una falacia es
precisamente un argumento que parece válido para una persona sin formación
lógica porque no es capaz de ver que es posible que las premisas sean
verdaderas y la conclusión falsa (es decir, no es capaz de ver que la conclusión
no es una consecuencia la lógica de las premisas). El estudio de la lógica
contribuye así de manera decisiva a la creatividad filosófica, ya que acostumbra
al estudiante a pensar en nuevas circunstancias que de otro modo no tendría
en consideración”.
Escribe la importancia de los circuitos lógicos en la electrónica
básica.
Un circuito lógico es una máquina que recibe una o más señales de entradas y
produce una señal de salida.
En cada instante, el circuito puede procesar exactamente un bit de información
para producir un bit de salida. De esta forma, a las señales de entrada se les
puede asignar sucesiones de bits que son procesadas por el circuito bit por bit
para producir una sucesión de bit de salida.
Los circuitos lógicos se construyen a partir de circuitos elementales llamados
compuertas lógicas. Estas compuertas son la base de los circuitos eléctricos.
Importancia y utilidad de 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.
La lógica digital es un proceso racional para adoptar sencillas decisiones de
'verdadero' o 'falso' basadas en las reglas del álgebra de Boole. El estado
verdadero se representado por un 1, y falso por un 0, y en los circuitos lógicos
estos numerales aparecen como señales de dos tensiones diferentes. Los
circuitos lógicos se utilizan para adoptar decisiones específicas de 'verdadero-
falso' sobre la base de la presencia de múltiples señales 'verdadero-falso' en
las entradas. Las señales se pueden generar por conmutadores mecánicos o
por transductores de estado sólido. La señal de entrada, una vez aceptada y
acondicionada (para eliminar las señales eléctricas indeseadas, o ruidos), es
procesada por los circuitos lógicos digitales. Las diversas familias de
dispositivos lógicos digitales, por lo general circuitos integrados, ejecutan una
variedad de funciones lógicas a través de las llamadas puertas lógicas, como
las puertas OR, AND y NOT y combinaciones de las mismas (como 'NOR', que
incluye a OR y a NOT). Otra familia lógica muy utilizada es la lógica transistor-
transistor. También se emplea la lógica de semiconductor complementario de
óxido metálico, que ejecuta funciones similares a niveles de potencia muy bajos
pero a velocidades de funcionamiento ligeramente inferiores. Existen también
muchas otras variedades de circuitos lógicos, incluyéndola hoy obsoleta lógica
reóstato-transistor y la lógica de acoplamiento por emisor, utilizada para
sistemas de muy altas velocidades.
Las aplicaciones del Lenguaje ProLog en:

Sistemas Expertos

Los agentes y sistemas expertos se pueden considerar entes capaces de

actuar como lo haría un experto humano en la resolución de un determinado
problema. Pueden percibir el ambiente mediante sensores y actúan sobre ese
ambiente por medio de efectores. En los agentes hardware, los sensores son
sustituidos por cámaras y telémetros y los efectores son reemplazados
mediante motores. En los agentes software, las percepciones y acciones
vienen a ser las cadenas de bits codificados. La Figura 6 muestra un agente
genérico.

Pero, tanto si un agente es hardware o software, necesita un programa que

permita transformar los datos provenientes del entorno de usuario en acciones
adecuadas para la resolución del problema para el que han sido diseñados.

Estos programas se pueden construir siguiendo multitud de paradigmas, y uno

de ellos es la programación lógica, que, como hemos visto, se adapta
perfectamente a la representación del conocimiento.

Existen muchos tipos de sistemas expertos: de diagnóstico médico, para el

análisis de imágenes de satélite, clasificador, controlador, asesor, agentes
económicos, etc.

Como ejemplo de sistema experto tenemos el programa Prolog que permite

conocer la velocidad de un vehículo dadas sus características y las de la vía
por la que circula.

Dado que hemos hablado repetidas veces de estos sistemas a lo largo del
curso, no vamos a profundizar más en esta cuestión.
Compiladores

La comprensión del lenguaje natural y la construcción de compiladores e

intérpretes son campos de desarrollo muy adecuados para Prolog.

En esta sección vamos a ver una aplicación de la programación lógica a la

teoría de autómatas y lenguajes formales.

En Prolog se puede especificar un autómata finito mediante tres hechos,

simplemente. El predicado inicial, inicial (Q), es true si Q es el estado inicial. El
predicado final (Q) es true si Q es el estado final. Y el predicado delta (Q, X,
Q1) que funciona del siguiente modo: es true si el autómata cambia del
estado Q al estado Q1 al recibir el símbolo X. El autómata recibe una cadena
de símbolos del alfabeto S *. El autómata reconoce el lenguaje si comenzó en
el estado inicial y acabó en el estado final tras seguir las transiciones
especificadas por d .

Veamos un ejemplo concreto utilizando el lenguaje (ab)*. La Figura 7

representa el autómata que reconoce el lenguaje.

Figura 7

Reconocedor del lenguaje (ab)*

El código del programa Prolog para implementar el reconocedor se expone a
continuación.

domains

lista=char*

predicates

inicial(symbol)

final(symbol)

delta(symbol, char, symbol)

aceptar(lista, symbol)

acepto(lista)

clauses

inicial(q0).

final(q0).

delta(q0, 'a', q1).

delta(q1, 'b', q0).

acepto(L):-inicial(Q), aceptar(L,Q).

aceptar([X|Y], Q):-delta(Q, X, Q1), aceptar(Y, Q1).

aceptar([],Q):-final(Q).

goal

write("Dame lista de símbolos: "), readterm(lista, L),

acepto(L),

nl,

write("Pertenece al lenguaje".
Las trazas de los programas para los casos ab y aa se muestran en la
Figura.

A)

B)
Escribe la utilidad de la Programación ProLog en la Inteligencia
Artificial.

En la resolución de juegos y la planificación así como la construcción de

agentes inteligentes constituyen amplios campos que abarca la rama de
la Inteligencia Artificial. A continuación, veremos algunos ejemplos de
resolución de juegos y problemas típicos de planificación implementados
en Prolog. Podremos observar la facilidad con la que podemos plasmar las
especificaciones de los problemas directamente, utilizando una sintaxis que
nos proporciona un alto grado de abstracción. Esto nos aporta una gran ventaja
a la hora de realizar el desarrollo de la aplicación una vez analizado el
problema y diseñada su solución.
Escribe los valores de verdad de las compuertas lógicas y
compáralos con los valores de verdad de las proposiciones
compuestas.

Las compuertas lógicas procesan señales las cuales representan un valor

verdadero o falso. Normalmente la tensión positiva de la fuente +Vs representa
el valor verdadero y los 0 V el falso. Otros términos usados para los estados
verdadero y falso se muestran en la tabla de la derecha. Es mejor que te
familiarices con ellos. Las puertas lógicas son identificadas por su función
lógica: NOT, AND, NAND, OR, NOR, EX-OR y EX-NOR. Las letras mayúsculas
son normalmente usadas para dejar claro que el término se refiere a una puerta
lógica.

Los circuitos digitales son implementados por 3 tipos fundamentales de

circuitos lógicos: AND, OR y NOT y las tecnologías utilizadas son:

TTL: transistor.

CMOS: Es un tipo de memoria que contiene información sobre la configuración

del sistema.

ECL: Lógica Emisores acoplados.

Verdadero

El valor verdadero se representa con la letra V; si se emplea notación numérica

se expresa con un uno: 1; en un circuito eléctrico, el circuito está cerrado.

Falso

El valor falso se representa con la letra F; si se emplea notación numérica se

expresa con un cero: 0; en un circuito eléctrico, el circuito está abierto.

Verdadero

Para una variable lógica A, B, C, ... que pueden ser verdaderas V, o falsas F,
los operadores fundamentales se definen así:
Not, Or y And

Negación (NOT)
La negación es un operador que se ejecuta, sobre un único valor de verdad,
devolviendo el valor contradictorio de la proposición considerada.

Disyunción (OR)

La disyunción es un operador que actúa sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad verdadero cuando una de las proposiciones es verdadera, o cuando
ambas lo son, y falso cuando ambas son falsas.

La tabla de verdad de la disyunción es la siguiente:

Conjunción (AND)

La conjunción es un operador que actúa sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas

La tabla de verdad de la conjunción es la siguiente:

Otras (NOR, NAND, XOR, etc)

NOR

La puerta NOR o compuerta NOR es una puerta lógica digital que implementa
la disyunción lógica negada -se comporta de acuerdo a la tabla de verdad
mostrada a la derecha.

NAND

La puerta NAND, compuerta NAND o NOT AND es una puerta lógica que
produce una salida que es falsa solamente si todas sus entradas son
verdaderas; por tanto, su salida es complemento a la de la puerta AND

XOR

La puerta XOR, compuerta XOR u OR exclusiva es una puerta lógica digital

que implementa el o exclusivo; es decir, una salida verdadera (1/HIGH) resulta
si una, y solo una de las entradas a la puerta es verdadera. Si ambas entradas
son falsas (0/LOW) o ambas son verdaderas, resulta en una salida falsa. La
XOR representa la función de la desigualdad, es decir, la salida es verdadera si
las entradas no son iguales, de otro modo el resultado es falso. Una manera de
recordar XOR es "uno o el otro, pero no ambos".
Expresiones Booleanas
Las expresiones booleanas se usan para determinar si un conjunto de una o
más condiciones es verdadero o falso, y el resultado de su evaluación es un
valor de verdad.

PROPIEDADES DE LAS EXPRESIONES BOOLEANAS

a) Formadas con variables booleanas

b) Valores de 1 (verdadero) ó 0 (falso)
c) Puede tener constantes booleanas (1 ó 0)
d) Puede tener operadores lógicos: AND (&, ^), OR (V) y NOT (¬, ‘ , -, ~) •
Multiplicación lógica: AND • xy = x ∙ y = (x)(y) • Suma lógica: OR • x + y •
Complemento (negación): NOT • x’
e) Se puede obtener el resultado lógico de una expresión booleana aplicando
las tablas de verdad (valores de certeza)

1.- Existencia de neutros

x+0=x
x∙1=x

2.- Conmutatividad
x+y=y+x
x∙y=y∙x

3.- Asociatividad
x + (y + z) = (x + y) + z
x ∙ (y ∙ z) = (x ∙ y) ∙ z

4.- Distributividad
x + (y ∙ z) = (x + y) ∙ (x + z)
x ∙ (y ∙ z) = (x ∙ y) ∙ z

5.- Complementos
x + x’ = 1
x ∙ x’ = 0
LEYES DEL ÁLGEBRA BOOLEANA

TEOREMAS DEL ÁLGEBRA BOOLEANAA

1.- Idempotencia x + x = x x ∙ x = x

2.- Identidad de los elementos 0 y 1

x+1=1
x∙0=0

3.- Absorción
x + (x ∙ y) = x
x ∙ (x + y) = x

4.- Complemento de 0 y 1
0’ = 1
1’ = 0

5.- Involución (doble negación)

(x’)’ = x

6.- Leyes de Morgan

(x + y)’ = x’ ∙ y’
(x ∙ y)’ = x’ + y’

Mientras que en los valores de verdad de las proposiciones

compuestas.

La Negación: si una proposición (sea simple o compuesta) es verdadera, su

negación es falsa y viceversa. Ejemplo: si P es: “Constanza es un municipio de
la Vega”, ~ P se leerá: “no es cierto que Constanza es un municipio de la
Vega”.

La Conjunción: esta proposición solo es verdadera cuando las dos

proposiciones que la forman son verdaderas, y en los demás casos será falsa.

La Disyunción Inclusiva: esta proposición es falsa únicamente cuando las

dos proposiciones que la forman son falsa, en caso contrario es verdadera.

La Disyunción Exclusiva: esta solo será verdadera cuando las dos

proposiciones que la componen tienen diferentes valores de verdad, en caso
contrario es falsa.

La Condicional o Implicación: una condicional solo es falsa cuando su

antecedente es verdadero y el consecuente es falso; en lo demás casos la
condicional es verdadera.
La Bicondicional o Doble Implicación: esta solo es verdadera cuando las
dos proposiciones que la forman tiene el mismo valor de verdad, es decir,
cuando las dos proposiciones que la forman ambas sean verdaderas o ambas
falsas. En caso contrario la Bicondicional es falsa.

Ejemplo:

¿Qué significa inferir?

Puede considerarse como la definición de este término, en primer lugar: sacar

una conclusión o deducción a partir un suceso o cosa. También es causar y
conducir a un resultado.

Desde el punto de vista de la lógica se denomina de esta manera al acto de

evaluar que realiza la mente entre proposiciones. En la lógica tradicional o
aristotélica se llama así a la formación de un razonamiento deductivo. En la
lógica moderna, es aplicar una regla de transformación que permite convertir
una fórmula o expresión bien formada de un sistema formal en otra como
teorema del mismo sistema.
Realice una inferencia relacionada a los software de
computadoras que hay en la actualidad.

Cada vez son más frecuentes las condenas a empresas por el uso de software
ilegal, y vuelven a poner en el punto de mira la última reforma del Código
Penal, que endurece sensiblemente las sanciones por software pirata y amplía
las consecuencias legales para la empresa y sus administradores.
Cuando un software es pirateado, los consumidores, los creadores del mismo y
los vendedores son perjudicados. La piratería de software aumenta el riesgo de
que la computadora del consumidor sea dañada por un software defectuoso,
malicioso o infectado con virus u otras amenazas a su seguridad y privacidad.

Un claro ejemplo de esto fue la piratería de Windows xp, provocando pérdidas

millonarias a Microsoft entre el 2002 al 2008, aunque hoy en día aún se siguen
distribuyendo copias “No oficiales” del mismo provocando que el la empresa
siga perdiendo dinero.
¿Cuál es la importancia de los argumentos lógicos en la vida
cotidiana?
Los argumentos lógicos en la vida cotidiana son muy importantes ya que con
estos se solucionan de una forma correcta los diversos problemas y dilemas
que se presentan en nuestro entorno, por lo tanto, si no implementamos la
lógica en nuestro diario vivir, no podríamos solucionar de una manera
adecuada, dichos dilemas.

Por ejemplo al realizar una simple operación matemática; como rectificar los
vueltos en una tienda, estaríamos aplicando una lógica la cual tiene unos
pasos, un inicio y un final.

En la vida del hombre la lógica es de gran importancia, ya que es un

instrumento necesario para que obtenga un conocimiento que pueda ser
calificado de válido.

Escribe la relevancia de la lógica de predicado.

La lógica de predicados está basada en la idea de las sentencias realmente
expresan relaciones entre objetos, así como también cualidades y atributos de
tales objetos. Los objetos pueden ser personas, objetos físicos, o conceptos.
Tales cualidades, relaciones o atributos, se denominan predicados. Los objetos
se conocen como argumentos o términos del predicado.

¿Por qué la lógica debe permear todas tus acciones

profesionales?

Porque la lógica contiene gran cantidad de conocimientos lógicos, lo importante

para nuestra educación es el uso de esos conocimientos.
La educación lógica es una preparación para una vida buena. Si no se traduce
en vidas más felices y menos dañinas.

La lógica facilitaría y acomodaría todo en mis acciones como profesional el

actuar guiado de un razonamiento lógico abriría muchas puertas y muchas
oportunidades, las cuales como profesional debo de saber aprovechar, también
me ayudaría a que los demás confíen en mi persona y vean el potencial que
haya por explotar.
 OPINION PERSONAL
Es increíble captar, que a diario usamos la lógica para resolver problemas
cotidianos, esto se da a tal punto que no somos conscientes de esto. Muchos
autores apoyan la idea de que la lógica sirve para resolver todo tipo de
conflictos (políticos, económicos, sociales, culturales, etc.)
Esto se contempla gracias a que, generalmente todo gira en sentido al
razonamiento lógico, algo tan habitual que muchas veces pasa desapercibido,
además de que todo conflicto puede ser resuelto por la lógica.
Algo que nos deja muy en claro, que la lógica es una muy poderosa
herramienta para la sociedad en general o el usuario común.

CONCLUCION
Gracias a la lógica, es factible la formulación de premisas, donde buscamos un
resultado en base al método deductivo o inductivo, para determinar soluciones
a posibles planteamientos, que pueden ser determinados como objetivos en el
campo de la investigación.
 Bibliografía

https://www.informatica-hoy.com.ar/desarrollo-software/Pirateria-de-
software.php

https://www.icarvision.com/es/software-pirata--el-problema-es-la-seguridad--no-
la-sancion

https://definicion.de/inferencia/

https://diccionarioactual.com/inferir/

http://principioselectricosits.esy.es/2-1-Tablas-de-verdad/

http://www.electrontools.com/Home/WP/2016/05/27/compuertas-logicas-
basicas-y-sus-tablas-de-verdad/