Lgica 2 Notas de clase

Prof. Hugo Enrique Snchez

EL LENGUAJE FORMAL DE LA LGICA PROPOSICIONAL (LFLP)
(VERSIN SIMPLIFICADA)
GRAMTICA
VOCABULARIO:
Letras proposicionales: {p
1
,,p
n
}
Conectivos lgicos: {,,~, , ,}
Smbolos auxiliares: {(,)}
REGLAS DE CONSTRUCCIN
R
a
: toda letra proposicional es una frmula.
R~ () =~()
R () =()
R

(,) = ( )
R () =()
R () =()
SEMNTICA
Funcin interpretacin
() =1 0,pcro no ombos.
Funcin valuacin
I

(~) =1 sii I

() =0
I

( ) =1 sii I

() =1 y I

() =1
I

( ) =1 sii I

() =1 I

() =1
I

( ) =1 sii I

() =0 I

() =1
I

( ) =1 sii I

() = I

()