luis mestanza

lógica proposicional o lógica de orden cero
La lógica proposicional o lógica de orden cero trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor deverdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.1
Una lógicaproposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representando sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
 Enunciados o proposiciones
La lógica de enunciados o de proposiciones es el nivel más básico de análisis lógico. Se analizan las relaciones que se dan entre losenunciados o las proposiciones; es, pues, una lógica interproposicional, no interproposicional. En este nivel se simboliza de la misma manera proposiciones o enunciados de contenido tan diferente como: "ahora llueve", "algunos días llueve" o "todos los días llueve".
¿Qué es uno enunciando o una proposición? Una oración declarativa que puede ser verdadera o falsa. Los enunciados dicen de las cosas y,consecuentemente, pueden ser verdaderos o falsos. No son enunciados las expresiones lingüísticas interrogativas, exclamativas o imperativas.

Los enunciados o proposiciones pueden ser atómicos o simples, los que no se pueden descomponer en otros; y moleculares o complejos, los que sí se pueden descomponer.

 Elementos de la lógica de enunciados o proposicional
El lenguaje o vocabulario de lalógica proposicional o de enunciados consta de tres clases de elementos o símbolos: variables, constantes y auxiliares.

2.1 Variables
Variables o variables proposicionales son los símbolos que sustituyen las proposiciones o enunciados. Se llaman variables porque su significado va cambiando en las diferentes argumentaciones o expresiones.
Se han acordado cinco variables o letras comosímbolos: p, q, r, s, t. Si hacen falta más variables, se recorre a subíndices: 
2.2 Constantes
Constantes o conectores proposicionales son las partículas de significado no variable que tienen la función de alterar, relacionar o conectar enunciados atómicos haciéndolos complejos. Los más frecuentes son la negación, la conjunción, la disyunción, el condicional y el bicondicional.
Negación:  (También ) Representa la partícula lingüística no o cualquiera otras partículas que incluyan la idea de negación. Por ejemplo: no es el caso que, no pasa que, ni, etc. También prefijos que indican esta idea como imposible.
Conjunción: (También )
Representa la partícula lingüística y o cualquier otra que indique la idea de unió, como también ,igualmente , pero.
Así, la formalización de "Marte tiene satélites yJúpiter también", considerando "Marte tiene satélites" = p y "Júpiter tiene satélites" = q, será p Ù q .
Disyunción: 
Representa la partícula lingüística o. Es preciso advertir que esta partícula tiene dos sentidos: un inclusivo y otro exclusivo. En sentido inclusivo equivale a y/o, o sea, que incluye la verdad de los dos enunciados de la disyunción o bien sólo la de uno de los dos. El sentidoexclusivo expresa la idea que la verdad de un miembro es incompatible con la verdad del otro: o uno o el otro, pero no los dos. El sentido inclusivo es lo que, en general, se adopta a lógica.
Condicional:(También)
Representa las partículas lingüísticas si entonces o cualquiera otros que indiquen la idea de condición, como cuando entonces  entonces o una simple "coma". La partícula entonces...