Tag: logica
-
Demostración semántica de razonamientos (I)
El post original, en mi otro blog, AQUÍ. Una vez hemos formalizado todas las sentencias del problema, nos vemos en la tarea principal, la demostración. Queremos validar R = [ P1, P2, …, Pn => Q]. Para ello, en primer lugar prepararemos el problema, para en lo sucesivo: Demostrar que R estructuralmente es correcta, para…
-
El lenguaje de los predicados (II)
La entrada original en mi otro blog AQUÍ. En el post anterior vimos el alfabeto, términos, gramática y dominio del lenguaje de los predicados. En esta segunda parte veremos como construir fórmulas preposicionales y predicativas.
-
El lenguaje Prolog (I)
La entrada original en mi otro blog aquí: LINK El lenguaje Prolog es el que utilizamos en prácticas de Matemáticas 1, en la parte de lógica. Es un lenguaje lógico, que se utiliza para resolver problemas en los que entran en juego objetos y relaciones entre objetos.
-
Lenguajes lógicos
La entrada original en mi otro blog aquí: LINK Este lenguaje es una representación basada en la forma y no en el contenido. Esto evita las posibles ambigüedades que podemos encontrar en el lenguaje. Consiste en formalizar los hechos en proposiciones atómicas, que sólo pueden ser verdaderas o falsas, y proposiciones moleculares. Podemos abstraer con…
-
Falacias
Entrada original de mi otro blog aquí: LINK Un razonamiento deductivo puede ser correcto o por el contrario ser una falacia. Diremos que es correcto cuando si y sólo si no es posible que las premisas sean verdaderas y la conclusión falsa, es decir, si aceptamos P1, P2,…, Pn, tenemos que aceptar Q. Si desconocemos…
-
El razonamiento deductivo, notación formal y componentes.
A partir de ahora, razonamiento deductivo = razonamiento. Un razonamiento está compuesto por: Proposiciones iniciales, o premisas, que declaran la información del problema a resolver. Se denotan como P1, P2, …, Pn. Reglas de inferencia, o razonamiento, que nos permiten obtener nuevas proposiciones a partir de las iniciales. Denotado con el símbolo “→”. Una proposición,…
-
El proceso de razonar, Lógica formal
Bueno, en la primera entrada de “no presentación” hablaré de lo primerísimo dado en teoría: La Lógica Formal. En primer lugar, entenderemos Razonar como la facultad humana que permite resolver problemas a partir de un conjunto de actividades mentales que conectan unas ideas con otras según unas reglas determinadas. Lo que diferencia a los seres…