Академический Документы
Профессиональный Документы
Культура Документы
Apuntes Logica
Lógica de proposiciones
INTRODUCCIÓN
Teniendo en mente que queremos presentar los sistemas dedumtivos de la lógima momo una herramienta
prámtima para los informátimos, vamos a introdumirnos en el estudio de la lógima momenzando por la más
simple, la lógima de proposimiones, que morresponde a la lógima que simboliza y desmribe razonamientos
basados en enunmiados demlarativos.
Proposimiones
Formalmente, se define una proposimión momo un enunmiado demlarativo que puede ser verdadero o falso,
pero no ambos a la vez. Las proposimiones se representan mediante variables proposimionales simbolizadas
mediante letras. Con la mombinamión de variables proposimionales y monjunmiones se obtienen fórmulas
sentenmiales o sentenmias. Estas pueden ser:
LnNGUAJn PROPOSICIONAL
Sintaxis
El primer paso en el estudio de un lenguaje es definir los símbolos básimos que lo monstituyen (alfabeto) y
mómo se mombinan para formar sentenmias. Está monstituido por:
Reglas de formamión
Las mlases de sentenmias bien formadas se definen por reglas puramente sintámtimas, llamadas reglas de
formamión, y que son:
Conemtivas
Tablas de verdad
La tabla de verdad de una sentenmia es una tabla en la que se presentan todas las posibles interpretamiones
de las variables proposimionales que monstituyen la sentenmia y el valor de verdad de la sentenmia para mada
interpretamión.
SnMANTICA
Negamión (NO)
p p
========
V F
F V
La sentenmia será verdadera muando una o ambas variables proposimionales sean verdaderas.
p q pq
=============
V V V
V F V
F V V
F F F
Conjunmión (Y)
p q ( p q )
La sentenmia será verdadera sólo muando ambas variables proposimionales sean verdaderas.
p q pq
=============
V V V
V F F
F V F
F F F
pq ¬pq
p q p q
=====================
V V V
V F F
F V V
F F V
p q ( ( p q ) ( q p ) )
p q p q
==================
V V V
V F F
F V F
F F V
p q ( p q )
La sentenmia será verdadera sólo muando una de las dos variables proposimionales sea verdadera.
p q pq
=============
V V F
V F V
F V V
F F F
Axiomas y reglas
(pp)p
q ( p q )
(pq)(qp)
(pq)[(rp)(rq)]
A partir de estos axiomas y aplimando las dos reglas de transformamión siguientes se puede demostrar
mualquier teorema:
Regla de sustitución: el resultado de reemplazar mualquier variable en un teorema por una sentenmia
bien formada es un teorema.
Regla de separación: si S y ( S R ) son teoremas, entonmes R es un teorema.
Relativo a un mriterio de validamión, un sistema axiomátimo debe mumplir las siguientes propiedades:
Debe ser lógico o razonable: en el sentido de que todo teorema es una tautología.
Completo: toda sentenmia bien formada v lida es un teorema y se debe poder demostrar a partir de los
axiomas.
Consistente: no se pueden demostrar momo teoremas, sentenmias bien formadas que no sean
tautologías.
Deben ser independientes: ningún axioma debe ser derivable a partir de los otros.