Asignatura Datos del estudiante Fecha
MATEMATICAS
DISCRETAS
Apellidos: TORRES AVILA
01/07/2022
Nombre: NERYS MIGUEL
Actividad
Protocolo individual de la unidad n°: 3
Análisis y síntesis:,
Síntesis e interpretación personal de los temas vistos en la unidad
LÓGICA E INFERENCIA LÓGICA
La lógica proposicional nos permite expresar conocimiento sobre situaciones
que son de nuestro interés, mediante enunciados declarativos. Decimos que
estos enunciados son declarativos en el sentido lingüístico del término, esto es,
se trata de expresiones del lenguaje natural que son o bien verdaderas, o bien
falsas; en contraposición a los enunciados imperativos e interrogativos.
Uno de los lenguajes formales más potentes para la representación del
conocimiento en teoría de la computación es el lenguaje formal de la Lógica de
primer orden o lógica de predicados que carece de imprecisiones y posee una
forma clara de representación basada en la forma y no en el contenido.
Formaliza hechos o proposiciones acerca del mundo obteniendo fórmulas
lógicas.
El lenguaje de la lógica de predicados añade los siguientes elementos al
lenguaje:
Términos: Los términos se refieren a lo que en gramática de lenguaje
natural son los sustantivos o frases sustantivadas.
Predicados: Los predicados afirman una relación entre términos.
Corresponden, en lenguaje natural, a lo que se afirma de los sujetos.
Cuantificadores: Las cuantificaciones son categorías de frases que
afirman algo sobre los elementos de una colección.
En lógica de predicados es usual disponer de dos formas de cuantificaciones:
Universal: para denotar una cualidad que debe ser cierta para todos los
elementos de una colección;
Existencial: para denotar una cualidad que debe ser cierta para algún
miembro de una colección.
Podemos decir que la lógica permite desarrollar el sentido crítico de la persona,
mediante el análisis de las circunstancias que ocurren diariamente. La lógica no
permite indagar en sentimientos, emociones o reacciones, puesto que se guía
por el conocimiento previo o las experimentaciones antiguas para pensar con
claridad acerca de las acciones a tomar.
La lógica como metodología utiliza la deducción como principio. A través de él,
trata de distinguir las hipótesis incorrectas de las correctas. La lógica trabaja
