Preguntas/Retos del foro:

1. ¿Por qué es importante para todo profesional en carreras

relacionadas con computación dominar los fundamentos básicos
de lógica proposicional? Dar ejemplos de aplicación.

Para todo profesional que se desempeñe en carreras relacionas

con computación es muy importante tener claro y dominar los
fundamentos básicos de la lógica proposicional ya que en el día a
día se enfrenta a situaciones en donde debe evaluarlas y
determinar si son verdad o son falsas. Con esto puede llegar a
solucionar un problema que se este dando de la mejor manera
después de un análisis detallado de cada situación.

Teniendo en cuenta que la lógica proposicional es una

herramienta útil para razonar, nos permite determinar muchas de
las condiciones de un problema para así llegar a una conclusión
razonable del mismo.

Ahora bien, las carreras relacionadas con computación en si

tienen que ver con sistemas lógicos, por lo tanto, estos sistemas
estarán enfocados en gran parte a la lógica proposicional, y con
esto podemos afirmar que cualquier sistema lógico basado en la
lógica proposicional es decidible y en un número finito de pasos se
puede determinar la verdad o falsedad semántica de una
proposición.

Ejemplos:

1- Para crear una aplicación se requiere de un requerimiento

funcional.

2- El rendimiento de una bases de datos depende de los planes de

mantenimiento que estén programados en la instancia.

3- Sino se genera backups diarios de base de datos existe riesgos

de que la operación de una compañía se vea afectada en su
entorno diario.
4- Un programador de software puede diseñar y desallorrar una
aplicación de acuerdo con su criterio, sin tener en cuenta las
políticas de la empresa que solicito la aplicación.

La lógica proposicional o lógica de orden cero es la rama de la

lógica matemática que estudia proposiciones, afirmaciones u
oraciones, los métodos de vincularlas mediante conectores
lógicos y las relaciones y propiedades que se derivan de esos
procedimientos. Es una herramienta útil para razonar, pero no
puede resolver problemas que requieren analizar la estructura
interna de las proposiciones o de las relaciones entre ellas. Este
tipo de lógica considera las proposiciones como elementos
atómicos y no tiene cuantificadores o variables de entidad.

Cualquier sistema lógico basado en la lógica proposicional es

decidible y en un número finito de pasos se puede determinar la
verdad o falsedad semántica de una proposición. Esto hace que la
lógica proposicional sea completa y con una semántica muy
sencilla de caracterizar.

La lógica proposicional es decidible, porque existe un algoritmo (la

tabla de verdad) que en un número finito de pasos puede decidir si
la fórmula es válida o no.

Enunciados (oraciones que son verdaderas o falsas) simples,

enunciados cuya verdad o falsedad no puede analizarse en función
de enunciados más simples que ellos.

la importancia de la lógica proposicional en las carreras

relacionadas con las ciencias de la computación están
estrictamente ligadas a los casos de verdad absoluta debido a que
en estas no existe como tal un estado intermedio, en un mundo
donde ínfimamente está definido todo por estados de 1 y 0 llevarlo
a un estado de 0.5 requiere algo más de trabajo y proceso de
definición por el cual logramos llegar a la respuesta intermedia
que buscamos, pero aun así esto únicamente lo logramos por
nuestra intervención y la de nuestra lógica aplicada al sistema.

Si parametrizo mi sistema en orden a manejar únicamente

números enteros, este únicamente devolverá cifras cerradas.:
Aprenderé lógica para mejorar mis algoritmos Y debo aprender a
codificar en un lenguaje especifico de programación.

Referencias:

https://www.edu.xunta.es/espazoAbalar/sites/espazoAbalar/files/da
tos/1493724904/contido/lgica_proposicional.html

http://humanidades.cosdac.sems.gob.mx/logica/vocabulario/propos
icion/

2. ¿Por qué es importante para todo profesional en carreras

relacionadas con computación dominar los fundamentos básicos
de Inferencia lógica? Dar ejemplos de aplicación.

Para todo profesional que se desempeñe en carreras relacionadas

con computación es muy importante tener claro y dominar los
fundamentos básicos de Inferencia lógica ya que en el entorno
diario se ve sujeto a tomar decisiones que implican definir
acertadamente y llegar a una conclusión adecuada sobre
problemas dados.

En otras palabras, se trata del proceso de razonamiento que nos

permite sacar una conclusión a partir de determinada información
previa; es decir, a partir de determinadas premisas.

Teniendo en cuenta que el significado del término inferencia es

‘llevar a’ o ‘llevar hacia’, podemos afirmar que la inferencia es el
objeto de estudio tradicional de la lógica. Cuando una inferencia
es aceptable, lo es por su estructura lógica y no por el contenido
específico del argumento o el lenguaje utilizado.

Ejemplos:

1- Todos los desarrollos de aplicaciones deben llevar un

requerimiento funcional, los requerimientos funcionales los
entrega el usuario final, por lo tanto, sin requerimiento funcional
no es posible realizar desarrollos de aplicaciones.

2- Se implementa un aplicación desarrollada, la aplicación genera

errores, Si genera errores se determina que no se realizaron
pruebas funcionales adecuadas de la aplicación.
3- Todas las bases de datos requieren de un proceso adecuado de
backups, BD1 es una base de datos, BD1 tendrá su proceso de
backup respectivo.

4- Un programador de software diseña un software, el cliente es

quien valida las necesidades de su negocio, si el software cumple
con las necesidades del negocio del cliente, el cliente aceptara el
software.

El término inferencia viene del verbo latino infero, que significa

‘llevar a’ o ‘llevar hacia’. Retomando su sentido etimológico,
podemos decir que una inferencia es el proceso que nos permite
llevar las premisas hacia una conclusión. En otras palabras, se
trata del proceso de razonamiento que nos permite sacar una
conclusión a partir de determinada información previa; es decir, a
partir de determinadas premisas

La inferencia es el objeto de estudio tradicional de la lógica (así

como la materia es de la química y la vida es de la biología). La
lógica investiga los fundamentos por los cuales algunas
inferencias son aceptables, y otras no. Cuando una inferencia es
aceptable, lo es por su estructura lógica y no por el contenido
específico del argumento o el lenguaje utilizado. Por esto se
construyen sistemas formales que capturan los factores
relevantes de las deducciones como aparecen en el lenguaje
natural.2

Se llama inferencia lógica a la aplicación de una regla de

transformación que permite transformar una fórmula o expresión
bien formada (EBF) de un sistema formal en otra EBF como
teorema del mismo sistema. Ambas expresiones se relacionan
mediante una relación de equivalencia, es decir, que ambas tienen
los mismos valores de verdad o, dicho de otra forma, la verdad de
una coimplica la verdad de la otra.

La inferencia lógica es un proceso limitado del razonamiento,

inferencia procesal, que está basado en un precedente como
fundamento para una conclusión.

Referencias:
https://medium.com/@matematicasdiscretaslibro/5-inferencia-y-
demostraci%C3%B3n-2a000b541c0a

http://humanidades.cosdac.sems.gob.mx/logica/vocabulario/inferen
cia/

3. ¿Qué relación tiene el contenido del módulo con lógica difusa?

Argumentar.

El contenido del módulo esta alienado con los conceptos de la

lógica difusa, ya que los ejercicios expuestos tienen relevancia
con el mundo real, esto, dado a que la forma en que percibimos el
mundo está cambiando continuamente y no siempre se puede
definir en términos de sentencias verdaderas o falsas.

Teniendo en cuenta que la forma en que la gente piensa es

inherentemente, se podría decir que es difusa, ya que en la vida
real el analizar una situación dependerá de muchas variables, y de
acuerdo con este análisis la persona podrá determinar si esta
situación es verdadera o falsa, aunque muchas veces no pueda
determinar una respuesta adecuada a esta situación.

El contenido del módulo nos permite explorar la distinción entre el

razonamiento correcto y el incorrecto el cual es el problema
central de la lógica. Por tal motivo la lógica se interesa por todos
los razonamientos sin tomar en cuenta su contenido.

Dentro del contenido del módulo hemos aprendido a conocer y a

entender como funciona la lógica, para esto ha sido indispensable
identificar variables y/o parámetros relevantes, abstraer
información y comportamiento de objetos del mundo real,
construir y analizar argumentos matemáticos y actuar de manera
autónoma, ética y responsable

Referencias:

http://humanidades.cosdac.sems.gob.mx/logica/vocabulario/logica/
https://www.tdx.cat/bitstream/handle/10803/6887/04Rpp04de11.pdf

https://poli.instructure.com/courses/11004/modules

Los métodos y las técnicas de la lógica han sido desarrollados

esencialmente con el propósito de aclarar esta distinción. La
lógica se interesa por todos los razonamientos sin tomar en
cuenta su contenido. Es decir, la lógica nos permitir a
́ la
manipulación sintáctica de expresiones más generales que las
expresiones aritméticas que ya hemos mencionado.

1-Identificar variables y/o parámetros relevantes en la dinámica

del sistema, y así mismo descartar aspectos irrelevantes, o de
poca incidencia con el fin de llegar a modelos matemáticos que
permitan soluciones analíticas.

2-Abstraer información y comportamiento de objetos del mundo

real, utilizando herramientas formales, para la construcción de
modelos que permitan el diseño de soluciones.

3-Construir y analizar argumentos matemáticos que modelan y

analizan situaciones tanto abstractas como físicas.

4-Actuar de manera autónoma, ética y responsable.

1-Identificar variables y/o parámetros relevantes en la dinámica

del sistema, y así mismo descartar aspectos irrelevantes, o de
poca incidencia con el fin de llegar a modelos matemáticos que
permitan soluciones analíticas.

2-Abstraer información y comportamiento de objetos del mundo

real, utilizando herramientas formales, para la construcción de
modelos que permitan el diseño de soluciones.

El concepto de la lógica difusa

La forma en que la gente piensa es, inherentemente, difusa. La
forma en que percibimos el mundo está cambiando continuamente
y no siempre se puede definir en términos de sentencias
verdaderas o falsas. Consideremos como ejemplo el conjunto de
vasos del mundo, que pueden estar vacíos o llenos de agua. Ahora
tomemos un vaso vacío y comencemos a echar agua poco a poco,
¿en qué momento decidimos que el vaso pasa de estar vacío a
estar lleno? Evidentemente, hay dos situaciones extremas que
reconocemos sin ninguna duda, la primera cuando el vaso está
completamente vacío, sin una sola gota de agua en su interior, y la
segunda cuando está completamente lleno, cuando no cabe ni una
sola gota más en él, pero una gota antes de estar completamente
lleno, ¿diríamos que es falso que el vaso está lleno?, observa que
para afirmar su condición, en la frase anterior no solo he usado el
término lleno, sino que he añadido un modificador diciendo
completamente lleno. Si a un vaso lleno de agua le quito una gota
de agua... ¿dejo de considerarlo lleno y automáticamente
pertenece para mí a otra clasificación?

Definición Matemática de Conjuntos Difusos

Matemáticamente, un conjunto es una colección de objetos que

verifican alguna propiedad, de forma que un objeto o bien
pertenece al conjunto, o no pertenece.