Sistemas

3.1 Proposicional
Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos.
En Lógica tradicional se distinguen laproposición y el juicio, por cuanto la primera es el producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye el juicio.
Para Aristóteles, la proposición es un discurso enunciativo perfecto, que se expresa en un juicio que significa lo verdadero y lo falso como juicio de términos. Por eso el juicio es una afirmación categórica, es decir, incondicionada porquerepresenta adecuadamente la realidad
3.1.3 Tablas 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 que se pueda asignar a sus componentes.[1]
Fue desarrollada porCharles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.

3.1.4 Teologías.
Doctrina sobre la esencia, existencia y atributos de Dios. El término aparece en Platón, pero el conceptose da ya en los presocráticos. Platón lo aplica a los mitos y leyendas de los dioses, desmitologizadas, interpretadas a la luz crítica de la filosofía y enfocadas en su valor de educación política. La teología es el paso del mito al logos, cuyo papel es descubrir la verdad escondida en los mitos. Aristóteles, por un lado, llama «teólogos» a los creadores de los mitos (Hesíodo, Homero) y, por otro,«teología» al estudio filosófico-metafísico del ente en su ser (la filosofía primera, la más elevada de todas las ciencias). La aceptación del término por el cristianismo tuvo lugar en los ss. IV y V con el significado de conocimiento y saber cristiano acerca de Dios.
Contradicción. es una incompatibilidad entre dos o más proposiciones. Por ejemplo, las oraciones «llueve y no llueve» y «nillueve ni truena, pero llueve y truena» expresan contradicciones.
En lógica proposicional, una contradicción se define como una fórmula que resulta falsa para cualquier interpretación, es decir para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas. Por ejemplo, la siguiente tabla demuestra una contradicción:

Dada esta definición, toda contradicción es la negación de unatautología, y toda tautología es la negación de una contradicción. Siguiendo el ejemplo anterior, al negar la contradicción obtenemos una tautología:
Contingencia.
La contingencia es el modo de ser de lo que no es necesario ni imposible, sino que puede ser o no ser el caso,puede ser o no un evento que ocasiona un problema el cual puede requerir una acción postergarle o una acción inmediata (transformándose en este último caso en una emergencia). Desde el momento en que una contingencia puede ser imprevista, se habla de la posibilidad de que ocurra, más la contingencia no es en sí misma una posibilidad, sino un evento posible
3.1.5 Equivalencias lógicas
Dos fórmulaslógicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de verdad de sus componentes atómicos. Diremos que dos proposiciones P y Q son lógicamente equivalentes si es una tautología, es decir, si las tablas de verdad de P y Q son iguales.
Las dos sentencias siguientes son lógicamente equivalentes:...