Ciclo De Trabajo Otto

Lógica proposicional La lógica proposicional es la parte de la lógica que estudia la formación de proposiciones complejas a partir deproposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples. Una lógica proposicional es un sistemaformal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayorcomplejidad.
Tipos de proposiciones
En adelante cuando hablemos de proposiciones, éstas serán lógicas. Si son abiertas, significará que el conjunto de sustituciones está bien definido y la haránverdadera o falsa. Para operar con las proposiciones, éstas se clasifican en dos tipos: Simples y Compuestas, dependiendo de como están conformadas.
Proposiciones Simples Son aquellas que no tienenoraciones componentes afectadas por negaciones ("no") o términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si. . . entonces"). Pueden aparecer términos de enlace en el sujetoo en el predicado, pero no entre oraciones.
Proposiciones Compuestas Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o términos de enlace entre oracionescomponentes.
Tabla de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad quese pueda asignar a sus componentes.1
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus lógico -philosophicus, publicado en 1921.
Artículo principal: Cálculo lógico.
Para establecer un Sistema formal se establecen las definiciones de los operadores. Las definiciones se harán en función del fin...