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/datos/149372490
4/contido/lgica_proposicional.html
http://humanidades.cosdac.sems.gob.mx/logica/vocabulario/proposicion/

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/inferencia/

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.