Lgica proposicional

La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos ms simples
representan proposiciones, y cuyas constantes lgicas, llamadasconectivas, representan operaciones sobre
proposiciones, capaces de formar otras proposiciones de mayor complejidad.1

La lgica proposicional trata con sistemas lgicos que carecen de cuantificadores, o variables interpretables
como entidades. En lgica 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 de
verdad de definido), de ah el nombre proposicional. La lgica proposicional incluye adems de variables
interpretables como proposiciones simples signos para conectivas lgicas, por lo que dentro de este tipo de
lgica puede analizarse la inferencia lgica de proposiciones a partir de proposiciones, pero sin tener en
cuenta la estructura interna de las proposiciones ms simples.2
Conectivas lgicas[editar]

Artculo principal: Conectiva lgica

A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a la lgica proposicional,
incluyendo ejemplos de su uso en el lenguaje natural y los smbolos que se utilizan para representarlas
en lenguaje formal.

Expresin en el Smbolo en Smbolos

Conectiva Ejemplo
lenguaje natural este artculo alternativos

Negacin no No est lloviendo.

Est lloviendo y est

Conjuncin y
nublado.

Est lloviendo o est

Disyuncin o
soleado.

Si est
Condicional
si... entonces soleado, entonces es
material
de da.
 Est nublado si y

Bicondicional si y slo si slo si hay nubes

visibles.

Ni est

Negacin conjunta ni... ni soleado ni est

nublado.

O bien est
Disyuncin
o bien... o bien soleado, o bien est
excluyente
nublado.

Conjuncin Disyuncin Condicional Bicondicional Disyuncin excluyente

Formas de argumentos bsicas

Formas de Argumentos Bsicas y Derivadas

Nombre Consecuente Descripcin

Modus Si entonces ; ;

ponens por lo tanto

Si entonces ;

Modus tollens no ; por lo tanto

no
 Si entonces ;

Silogismo si entonces ; por

Hipottico lo tanto, si

entonces

Silogismo Either o , o both;

Disyuntivo no ; por lo tanto,

Si entonces ;y

Dilema si entonces ;

Constructivo pero o ; por lo

tanto o

Si entonces ;y

Dilema si entonces ; pero

Destructivo no o no ; por lo

tanto no o no

Si entonces ;y

Dilema si entonces ;

Bidireccional but o no ; por lo

tanto o no

y son

Simplificacin verdaderos; por lo

tanto es verdadero

Conjuncin y son

verdaderos

separadamente;

entonces son

verdaderos
 conjuntamente.

es verdadero; por

Adicin lo tanto la disyuncin (

o ) es verdadera

Si entonces ;y

si entonces ; por

lo tanto si es
Composicin
verdadero

entonces y son

verdaderos

Teorema de La negacin de (

De Morgan y ) es equiv. a

(1) (no o no )

Teorema de La negacin de (

De Morgan o ) es equiv. a

(2) (no y no )

Conmutacin ( o ) es equiv. a (

(1) o )

Conmutacin ( y ) es equiv. a (

(2) y )

( es equiv. a ) es
Conmutacin
equiv. a ( es equiv.
(3)
a )
Asociacin o( o ) es

(1) equiv. a ( o )o

Asociacin y( y ) es

(2) equiv. a ( y )y

y( o ) es
Distribucin
equiv. a ( y )o(
(1)
y )

o( y ) es
Distribucin
equiv. a ( o )y(
(2)
o )

Doble es equivalente a la

Negacin negacin de no

Si entonces es

Transposicin equiv. a si no

entonces no

Implicacin Si entonces es

material equiv. a no o

Equivalencia ( si y solo si ) es

material (1) equiv. a (si es

verdadero

entonces es

verdadero) y (si es

verdadero

entonces es
 verdadero)

( si ) es equiv. a

cualquiera de los dos

Equivalencia
( y son
material (2)
verdaderos) o (tanto

como son falsos)

( si ) es equiv to.,

tanto ( como no
Equivalencia
son verdaderos) y
material (3)
(no o es

verdadero)

desde (si y son

verdaderos,

entonces es

verdadero) se puede
3
Exportacin probar que (si es

verdadero

entonces es

verdadero, si es

verdadero)

Si entonces (si

entonces ) es
Importacin
equivalente a si

y entonces

es verdadero es

equiv. a es
Tautologa (1)
verdadero o es

verdadero
 es verdadero es

equiv. a es
Tautologa (2)
verdadero y es

verdadero

Tertium non

datur (Ley de o no es

Tercero verdadero

Excluido)

Principio de y no es falso,

no es un testamento

contradiccin verdadero