Bernarda Alba

La lógica proposicional.
SIGNOS.
a) Las letras. Representan proposiciones o enunciados.
b) Los signos logicos. Representan formas de encadenar proposiciones en el lenguajecotidiano.
REGLAS DE FORMACION.
a) Una letra es una formula valida.
b) Si A es una formula, también los es ¬A.
c) Si A y B son formulas, también lo son
REGLAS DE TRANSFORMACION.
Permiten transformarun sistema de signos en otro sistema equivalente.
…………………………………………………………………………………………………………………………………………………

·Primer paso. Atribuir una letra a cada enunciado simple.
·Segundo paso. Añadir los tiposde signos lógicos que intervienen.
·Tercer paso. Escribir el razonamiento sustituyendo todos los términos que aparecen en el.
·Cuarto paso. Representar el razonamiento en una expresión única.…………………………………………………………………………………………………………………………………………………..
La lógica ha desarrollado distintos métodos para averiguar que transformaciones de enunciados y que por tanto que razonamientos.………………………………………………………………………………………………………………………………………………..
EJEMPLO DE ELABORACION DE UNA TABLA DE VERDAD.
Primer paso. Comprobar cuantas letras aparecen y combinar todos los valores de verdad posibles.
Segundo paso. Obtener la tabla de verdad de laspremisas e incluir las conectivas que invierten en el razonamiento.
Tercer paso. Añadir una última columna con los valores de verdad de un condicional en el que el antecedente es la conclusión delrazonamiento.
…………………………………………………………………………………………………………………………………………………..
Tautologías. Cuando todos los valores que arroja la tabla son verdaderos. Significan que las premisas y la conclusión son expresionesequivalentes y se pueden sustituir unas por otras.
Contradicción. Cuando todos los valores don falsos.
Interminación. Cuando algunos valores son verdaderos y otros son falsos .Esto significa que laforma dl razonamiento no es válida en todos los casos.
…………………………………………………………………………………………………………………………………………………..
Las leyes lógicas garantizan que la...