Professional Documents
Culture Documents
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:
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:
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:
Conectivas
Las conectivas se dividen por su aplicacin en:
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
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
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
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
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.