LGICA PROPOSICIONAL

La lgica estudia las estructuras formales de la inferencia (razonamiento). La lgica

analiza su estructura y seala en qu condiciones es valido el razonamiento. Si
volvemos al primer ejemplo observamos que
Todo hombre es mortal - [Todo] M es P.
!n cambio" en la lgica matem#tica" las posibilidades de analizar son las siguientes
Lgica de clases:
$ c % (&la clase de los 'ombres se incluye en la cales de los mortales&).
Lgica de predicados:
( ) (*) ( +)) (para todo objeto )" si ) es un 'ombre" entonces ) es mortal).
Lgica proposicional:
( p (todo 'ombre es mortal).
La lgica proposicional considera las proposiciones como un todo y no las analiza. !l
an#lisis de la proposicin queda reservado a todo tipo de c#lculo lgico.
!n una proposicin distinguimos unos cuatro tipos de oraciones
1.- Descriptivas. !jemplo &Los 'ombres mueren&.
2.- Iperativas. !jemplo &,-uere.&.
!.- Interro"ativas. !jemplo &/0a muerto1&.
#.- e$claativas. !jemplo &,2jal# muera.&.
La lgica proposicional estudia la estructura formal de la inferencia" tomando las
proposiciones (o los enunciados). La lgica trata de enunciar un enunciado es la
proposicin en la que se puede decir que es verdadero y es falso" nos informa sobre la
realidad.
!jemplos &,No hables.& 3o es enunciado.
&/Quin anda ah1& 3o es enunciado.
&El presidente de los Estados Unidos es marciano& Si es enunciado.
Clases de en%nciados.
- At&icos: 4onstan de una sola proposicin" no se puede descomponer m#s.
!jemplo & El gato sonri la !er al ratn&.
Se simboliza por letras min5sculas a partir de la p.' como son la p"q"r"s"t"etc. (y si es
necesario p6"q6"r6"7 p8"q8" etc.).
- (olec%lar: 4ompuesta por dos o m#s proposiciones" consta de varios enunciados
atmicos" se pueden descomponer.
!jemplo &El gato sonri al !er al ratn " el ratn hu"#.
( Conectivas: Son trminos que conectan los enunciados atmicos" formando as9 los
enunciados moleculares. *odemos distinguir las siguientes conectivas
3o" y" o" si"7 entonces" si y slo si.
Clases de conectivas:
: Con)%nci&n o con)%ntor: ( ). Significa y;e" tambin en lugar de este s9mbolo puede
aparecer ("). !s un conector que 'ace que la proposicin molecular resultante sea
verdadera 5nicamente si las proposiciones unidas a este tambin los son. Ser#n falsa los
dem#s casos. La tabla de verdad es la siguiente
2 bien" si se unen tres proposiciones
!jemplo &$om " beb# p q !sto se lee (pe y qu)
&$antaban% bailaban% &ugaban " rean# p q r s
&'leg% !io " !enci# p q r
: Dis*%nci&n o Dis*%ntor (v) 4onector que 'ace que la proposicin molecular
resultante sea verdadera simplemente si lo es una de la proposiciones unidas por dic'o
conector. !ste conector tiene como significado o ; u" o7o" o tambin bien.
La tabla de verdad
!jemplo &$omo o bebo# p v q
&( se )uedan o se marchan& p v q
& 'a sopa se ser!ir* +ra o caliente& p v q
#( estudia " traba&a o ser*s un parado# p q v r
: Condicional: ((( ) 4onector que 'ace que la proposicin molecular resultante sea
verdadera salvo en el caso de que el antecedente sea verdadero y el consecuente falso.
!sto tiene como significado Si7 entonces7
<abla de verdad
!jemplo &,i llue!e entonces me mo&o# p - )
: +icondicional: ( =(> ) 4onector que 'ace que la proposicin molecular resultante sea
verdadera siempre que las proposiciones unidas por dic'o conector sean al mismo
tiempo verdaderas o falsas. !l significado de este conector es 7si y slo si7" equivale
a7" es igual a7" es lo mismo que7" etc.
<abla de verdad
!jemplo &El agua e)ui!ale a -.(# p =(> q
&'a democracia slo e/iste si " slo si ha" elecciones#
p =(> q
, Ne"ador: ( ?) 4onector que convierte una proposicin verdadera en falsa o viceversa.
!s decir Si p es verdadera" no (p ser# falsa. !l negador no es un conector" ya que une
dos proposiciones" sino simplemente niega una proposicin. !ste s9mbolo significa
3o7" no es el caso7" es imposible7" no ocurre7.
<abla de verdad
2 m#s sencillamente
- *uede afectar a la primera (? p v q).
!jemplo &No es cierto )ue no coma o beba# ? (? p v q)
- *uede afectar a la segunda (p v ? q)
!jemplo &$omo o no bebo# (p v ? q).
- *uede afectar a todas @? (p v q )A
!jemplo &No es cierto )ue comas# ? (p v q)
- 4uando 'ay doble negacin esto es igual a una afirmacin.
!jemplo #No es cierto )ue no di&iste a)uello# ? (? p) B p
-so de par.ntesis * corc/etes.
Se utiliza para evitar ambigCedades y detectar la forma del enunciado. Las formas del
enunciado. Las formas del enunciado se determina por la forma de las conectiva que
est# fuera del parntesis.
0 @(p (> q) (q r)A (> ? (p (> r)
Slo ser#n aceptables los esquemas que e)presen formas v#lidas de inferencia. *ara
probar su validez procederemos a elaborar sus tablas de verdad.
!sta tabla se 'a construido de la siguiente forma
1.- Se construye la columna (a) con toda las variables de la frmula (8 )
2.- Las columnas (b) y (c) se construyen aplicando la definicin del condicional a las
variables correspondiente de la columna (a).
!.- La columna (d) se construye aplicando la definicin de la conjuncin o conjuntor a
las columnas (b) y (c).
#.- La columna (e) se construye igual que las columnas (b) y (c)" pero tomando las
variables p y r de la columna (a).
1.- La columna (f) se construye aplicando la definicin del condicional a las columnas
(d) y (e).