Lgica de proposiciones

INTRODUCCIN
Teniendo en mente que queremos presentar los sistemas deductivos de la lgica como una herramienta prctica para los informticos, vamos a introducirnos en el estudio de la lgica comenzando por la ms simple, la lgica de proposiciones, que corresponde a la lgica que simboliza y describe razonamientos basados en enunciados declarativos.

Proposiciones
Formalmente, se define una proposicin como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediante variables proposicionales simbolizadas mediante letras. Con la combinacin de variables proposicionales y conjunciones se obtienen frmulas sentenciales o sentencias. Estas pueden ser: Tautologa: es la sentencia que es verdadera. Contradiccin: es la sentencia que es falsa. Indeterminacin: es la sentencia que ni es verdadera ni falsa.

LENGUAJE PROPOSICIONAL
Sintaxis
El primer paso en el estudio de un lenguaje es definir los smbolos bsicos que lo constituyen (alfabeto) y cmo se combinan para formar sentencias. Est constituido por: Smbolos de veracidad: V para verdadero y F para falso. Smbolos de variables: p, q, r, s, ... Smbolos de conectivas: NO Negacin Y Conjuncin O Disyuncin inclusiva O..O Disyuncin exclusiva SI..ENTONCES Condicional Bicondicional SI Y SOLO SI Smbolos de puntuacin: ( , ), para evitar ambigedades.

Reglas de formacin
Las clases de sentencias bien formadas se definen por reglas puramente sintcticas, llamadas reglas de formacin, y que son: Una variable proposicional es una sentencia bien formada. Una sentencia bien formada precedida de la negacin es una sentencia bien formada. Dos sentencias bien formadas unidas por una de las partculas conectivas binarias constituye una sentencia bien formada. Se pueden omitir los parntesis que encierran una sentencia completa. El estilo tipogrfico de los parntesis se puede variar para hacerlos ms evidentes usando corchetes y llaves. A las conjunciones y disyunciones se les puede permitir tener ms de dos argumentos.

Conectivas
Las conectivas se dividen por su aplicacin en: Singulares: se aplican a una nica sentencia. Binarias: se aplican a dos sentencias.

Por su definicin, tambin se pueden dividir en: Primitivas: las variables proposicionales, los parntesis y las conectivas NO y O. Definidas: las conectivas Y, SI ... ENTONCES, ... SI Y SOLO SI ... y O ...

O.

Tablas de verdad
La tabla de verdad de una sentencia es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituyen la sentencia y el valor de verdad de la sentencia para cada interpretacin.

SEMANTICA
Negacin (NO)
Consiste en cambiar el valor de verdad de una variable proposicional. p p ======== V F F V

Disyuncin inclusiva (O)

La sentencia ser verdadera cuando una o ambas variables proposicionales sean verdaderas. p q pq ============= V V V V F V F V V F F F

Conjuncin (Y)
Es una conectiva definida por:

p q ( p q )
La sentencia ser verdadera slo cuando ambas variables proposicionales sean verdaderas. p q pq ============= V V V V F F F V F F F F

Condicional (SI ... ENTONCES)

Es una conectiva definida por:

pq pq
La sentencia ser verdadera cuando se cumpla si es vlido p entonces lo es q. p q p q ===================== V V V V F F F V V F F V

Bicondicional (... SI Y SOLO SI ...)

Es una conectiva definida por:

p q ( ( p q ) ( q p ) )
La sentencia ser verdadera cuando ambas variables proposicionales sean iguales. p q p q ================== V V V V F F F V F F F V

Disyuncin exclusiva (O ... O)

Es una conectiva definida por:

p q ( p q )
La sentencia ser verdadera slo cuando una de las dos variables proposicionales sea verdadera. p q pq ============= V V F V F V F V V F F F

Axiomas y reglas
Los axiomas para el clculo proposicional son:

(pp)p q ( p q ) (pq)(qp) (pq)[(rp)(rq)]

A partir de estos axiomas y aplicando las dos reglas de transformacin siguientes se puede demostrar cualquier teorema: Regla de sustitucin: el resultado de reemplazar cualquier variable en un teorema por una sentencia bien formada es un teorema. Regla de separacin: si S y ( S R ) son teoremas, entonces R es un teorema.

Relativo a un criterio de validacin, un sistema axiomtico debe cumplir las siguientes propiedades: Debe ser lgico o razonable: en el sentido de que todo teorema es una tautologa. Completo: toda sentencia bien formada v lida es un teorema y se debe poder demostrar a partir de los axiomas. Consistente: no se pueden demostrar como teoremas, sentencias bien formadas que no sean tautologas. Deben ser independientes: ningn axioma debe ser derivable a partir de los otros.