Matemtica Discreta y Lgica 1 Material terico

Pgina 1 de 2
Lgica proposicional

Comenzaremos el estudio formal de las bases de la lgica: la lgica proposicional. Deberemos, en primera instancia
tener una definicin de proposicin.


Una proposicin es una oracin afirmativa de la cual podemos decir que es verdadera o falsa.


Detrs de esta definicin est implcito que hay una nocin de verdad, las proposiciones son verdaderas o falsas.

Como hemos dicho antes, en lgica queremos estudiar el razonamiento, y por lo tanto no ser suficiente con conocer el
valor de verdad de proposiciones concretas, sino que nos centraremos en la nocin de consecuencia. Construiremos una
teora para definir en ella la sintaxis y la semntica de nuestras proposiciones, y veremos mecanismos que nos permitirn
saber cmo a partir del valor de verdad de algunas proposiciones podemos llegar al valor de verdad de otras.

Para formalizar esto, haremos lo siguiente:

Definiremos inductivamente el lenguaje de las proposiciones lgicas, al que llamaremos PROP
Definiremos funciones por recursin primitiva, de PROP en un conjunto con los valores de verdad, a las
que llamaremos valuaciones, { } 1 , 0 : PROP v
Veremos dos nociones de razonamiento que resultarn equivalentes, una basada en la sintaxis y otra en la
semntica.


El conjunto PROP

Como hemos visto, un lenguaje es un subconjunto de
*
, para algn alfabeto . Comenzaremos definiendo el
alfabeto (conjunto de smbolos) que utilizaremos en la lgica proposicional.

Prop
contiene:

Letras de proposicin: ,... , ,
2 1 0
p p p
Conectivos: , , , , ,
Smbolos auxiliares: ( ) ,

Con este alfabeto podemos formar muchas palabras concatenando sus smbolos, por ejemplo, ( )
*
Prop 1 0
p p y
( )( ) )
*
Prop 0
p . Queda claro que no cualquier elemento de
*
Prop
ser una frase vlida en la lgica
proposicional, y definimos PROP de la siguiente manera:


PROP es el conjunto definido inductivamente por las siguientes clusulas:
i. N i PROP p
i
,
ii. PROP
iii. Si PROP y PROP , entonces ( ) PROP
iv. Si PROP y PROP , entonces ( ) PROP
v. Si PROP y PROP , entonces ( ) PROP
vi. Si PROP y PROP , entonces ( ) PROP
vii. Si PROP , entonces ( ) PROP



Matemtica Discreta y Lgica 1 Material terico


Pgina 2 de 2
Principio de induccin primitiva para PROP

No llamar la atencin al lector, el enunciado del principio de induccin primitiva para PROP :


Principio de induccin primitiva para PROP .

Sea P una propiedad sobre PROP que cumple:

N i p P
i
) (
) ( P
Si ) ( P y ) ( P , entonces ) ( P
Si ) ( P y ) ( P , entonces ) ( P
Si ) ( P y ) ( P , entonces ) ( P
Si ) ( P y ) ( P , entonces ) ( P
Si ) ( P , entonces ) ( P

Entonces, se cumple ) ( P para toda PROP



Secuencia de formacin

Una secuencia
n
,..., ,
2 1 , 0
de elementos de
*
Prop
es una secuencia de formacin para si y slo si
=
n
y para todo n k se cumple una de las siguientes:

{ } ,... , , ,
2 1 0
p p p
k

( )
j i k
= con { } , , , y con k j i < ,
( )
j k
= con k j <


Subfrmula

Dadas PROP , , diremos que es subfrmula de si se cumple alguna de las siguientes:

=
( )
2 1
= con { } , , , y es subfrmula de
1
o
2

( )
1
= y es subfrmula de
1



Esquema de recursin primitiva para PROP

Una funcin B PROP f : queda definida por las siguientes ecuaciones:

... : ) ( = f
N i p f
i
= ... : ) (
)... ( )... ( ... ... ... : ) ( f f f = con { } , , ,
)... ( ... ... : ) ( f f =