Está en la página 1de 10

RAZONAMIENTO LGICO

LGICA PROPOSICIONAL
INTRODUCCIN
Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento.
A su vez, hay una variedad de modos o formas mediante las cuales razonamos o
argumentamos a favor de una conclusin. Ciertas formas de razonamiento parecen mostrar
que si se suponen ciertas premisas, entonces la conclusin se sigue necesariamente. A tales
razonamientos se los ha denominado deductivos y forman el objetivo central de lo que
clsicamente se ha denominado lgica.
n un sentido amplio, el t!rmino lgico hace referencia al estudio de todos los
razonamientos, y en un sentido estricto ha estado circunscrito al estudio del razonamiento
deductivo.
Cierto tipo de razonamiento deductivo se basa en la lgica proposicional. "o que
caracteriza a la lgica proposicional es que toma como unidades bsicas a las proposiciones
y que tiene en cuenta como se combinan entre ellas por medio de conectivos lgicos para
formar argumentos vlidos.
2.1. PROPOSICIONES
Una proposicin es una sentencia declarativa que puede ser verdadera o falsa, pero no
ambas a la vez. #ambi!n podr$amos decir que una proposicin es una sentencia que e%presa
una propiedad para un individuo o ente, o que e%presa la validez de una relacin entre
individuos o entes.
&or ejemplo'
(oy es sbado.
"os tringulos tienen cuatro v!rtices.
25 + 24 = 49.
)uan va al trabajo en bus .
"as sentencias e%clamativas, las interrogativas y las imperativas tales como'
Viva la familia!,
Est lloviendo? no son proposiciones puesto que no pueden ser declaradas como
verdaderas o falsas.
"a veracidad *+, o falsedad *-, de una proposicin se llama valor de verdad y viene dada
por alg.n criterio independiente de la proposicin.
Algunas proposiciones parecieran tener distintos valores de verdad seg.n el caso. &or
ejemplo, si decimos' Hoy es sbado, es falsa de domingo a viernes y es verdadera los
sbados.
n nuestro lenguaje coloquial hay una gran parte de la informacin que est impl$cita. "a
palabra hoy est indicando una fecha particular, aunque no se est! diciendo e%pl$citamente
cual.
/0
RAZONAMIENTO LGICO
2.2. TIPOS DE PROPOSICIONES
-ormalmente, se define una proposicin como un enunciado declarativo que puede ser
verdadero o falso, pero no ambos a la vez. "as proposiciones se representan mediante
variables proposicionales simbolizadas mediante letras min.sculas p, q, r,......que se
denomina letras proposicionales. Con la combinacin de variables proposicionales y
conjunciones se obtienen frmulas sentenciales o sentencias.
Una proposicin que tenga como .nico valor *-, se le denomina proposicin lgicamente
falsa, y a la que tenga como .nico valor *+,, se le denomina lgicamente verdadera
"as proposiciones pueden constar de un solo enunciado o de varios, en el primer caso las
denominamos r!!sici!nes atmicas y en segundo m!lec"lares# "as proposiciones
moleculares se obtienen de las atmicas mediante determinadas leyes de composicin
denominadas conectivos y se estudiar ms adelante
n resumen las proposiciones se clasifican en'
Tautologa' es la sentencia que es verdadera ( I )
Contradii!n' es la sentencia que es falsa. ( O )
Ind"t"r#inai!n' es la sentencia que ni es verdadera ni falsa.
2.$ CONECTI%OS & OPERADORES LGICOS
n el clculo proposicional se suelen utilizar letras min.sculas como p, q, r,... para
simbolizar las proposiciones. stos s$mbolos pueden modificarse o combinarse mediante
conectivos lgicos dando lugar a proposiciones compuestas, como las mostradas en la
siguiente tabla.
12 1egacin
3 Conjuncin
2 4isyuncin
inclusiva
2..2 4isyuncin
e%clusiva
56..1#21C5 Condicional
56 3 52"2 56 7icondicional
/8
RAZONAMIENTO LGICO
2.$.1 C!n$"ncin ! %r!d"ct! Lgic! & '
"a conuncin es un conectivo que permite formar proposiciones compuestas a partir de
dos o ms proposiciones. Una conjuncin de proposiciones es verdadera si y slo si cada
una de ellas es verdadera. 7asta que un solo t!rmino de la conjuncin sea falso para que
toda la conjuncin sea falsa. n castellano, normalmente la conjuncin se e%presa por
medio de la 9y9, de comas o de una combinacin de estas, o palabras como 9pero9. As$, por
ejemplo, la proposicin compuesta !"rida tiene sierras y tiene r#os es verdadera porque
cada parte de la conjuncin es verdadera. 1o ocurre lo mismo con la proposicin !"rida
tiene sierras y tiene mar. sta proposicin es falsa porque :!rida no tiene mar.
"a siguiente tabla corresponde a la tabla de verdad de la conjuncin'
s una conectiva definida por'
p q * p q ,
"a sentencia ser verdadera slo cuando ambas variables proposicionales sean verdaderas.
p q p q
;;;;;;;;;;
+ + +
+ - -
- + -
- - -
):&"2 . 5i p es <algunas aves vuelan= y q es <el gato es un ave=, entonces p q e%presa
<algunas aves vuelan y el gato es un ave=, que es obviamente falsa pues los gatos no son
aves. &or otro lado la proposicin p >q que dice <algunas aves vuelan y el gato no es un
ave= es verdadera pues es la conjuncin de dos proposiciones verdaderas.
l producto lgico as$ definido tiene las siguientes propiedades
a, Conmutativa p q q p , en efecto se cumple que'
p q p q q p
V V V V
V F F F
F V F F
F F F F
b, Asociativa * p q , r p * q r , , en efecto su tabla de verdad
?@
RAZONAMIENTO LGICO
p q r p q ( p q ) r q r p ( q r )
V V V V V V V
V V F V F F F
V F V F F F F
V F F F F F F
F V V F F V F
F V F F F F F
F F V F F F F
F F F F F F F
c, 6dentidad p 6 p
p I p I
V V V
F V F
d, Complemento p p @
p p O p p
V F F F
F V F F
2.$.2 Dis("ncin
%isten dos operadores de disyuncin' "a disyuncin e$clusiva o e$cluyente y la
disyuncin
inclusiva o incluyente.
"a disyuncin e%clusiva de dos proposiciones es verdadera si solo una de las proposiciones
es verdadera, y la indicamos con el s$mbolo
"a disyuncin inclusiva entre dos proposiciones es falsa solo si ambas proposiciones son
falsas y se indica con el s$mbolo . n el lenguaje coloquial y en matemtica es ms
frecuente el uso de la disyuncin inclusiva, tambi!n llamada el <o inclusivo=. A veces el
conte%to de una frase indica si la disyuncin es e%cluyente o incluyente. Un ejemplo de
disyuncin de tipo inclusivo es'
<"os alumnos regularizan la materia si aprueban tres parciales o si aprueban dos parciales y
tienen un 0@A de asistencia.=
n este caso, los alumnos pueden cumplir cualquiera de los dos requisitos, o tambi!n
cumplir los dos. &ero por ejemplo, si en un restaurante con men. fijo se nos dice que
?/
RAZONAMIENTO LGICO
tenemos como postre 9helado o flan9 normalmente no significa que podamos pedir ambos,
siendo en este caso la disyuncin e%clusiva.
-recuentemente y cuando no es claro en el conte%to de la oracin se indica que una
disyuncin es incluyente *e%cluyente respectivamente, terminando la frase con o ambas
*respectivamente pero no ambas,.
A continuacin se presentan las tablas de verdad
Di'(uni!n ")lu'i*a ( + )
s una conectiva definida por'
p q * p q ,
"a sentencia ser verdadera slo cuando una de las dos variables proposicionales sea
verdadera.
p q p q
;;;;;;;;;;;;;
+ + -
+ - +
- + +
- - -
Di'(uni!n inlu'i*a o 'u#a l!gia ( )
"a sentencia ser verdadera cuando una o ambas variables proposicionales sean verdaderas.
p q p q
;;;;;;;;;;
+ + +
+ - +
- + +
- - -
"a suma lgica as$ definida tiene las siguientes propiedades'
a,Conmutativa p q q p
p q p q q p
V V V V
V F V V
F V V V
F F F F
??
RAZONAMIENTO LGICO
b, Asociativa * p q , r p * q r ,
p q r p q ( p q ) r q r p ( q r )
V V V V V V V
V V F V V V V
V F V V V V V
V F F V V F V
F V V V V V V
F V F V V V V
F F V F V V V
F F F F F F F
c, 6dentidad p 2 p
p O p O
V F V
F F F
d, Complemento p p 6
p p I
, ,
V F V V
F V V V
2.$.$ Condiional ( )
l conectivo condicional nos da, pues una proposicin que es falsa cuando sea verdadera el
antecedente y falso el consecuente, cuya tabla de verdad se muestra a continuacin'
, - , -
;;;;;;;;;;;;;;;;;
+ + +
+ - -
- + +
- - +
ste conectivo lgico tiene la siguiente propiedad distributiva respecto a la suma lgica
?B
RAZONAMIENTO LGICO
p q r q r p ( p r ) p q p r (p r ) (p r )
V V V V V V V V
V V F V V V F V
V F V V V F V V
V F F F F F F F
F V V V V V V V
F V F V V V V V
F F V V V V V V
F F F F V V V V
2.$.. /iondiional ( )
"a sentencia ser verdadera cuando ambas variables proposicionales sean iguales.
, - , -
;;;;;;;;;;;;;;
+ + +
+ - -
- + -
- - +
sta conectiva tiene las siguientes propiedades'
a, Conmutativa p q q p
p q
, - - ,
V V V V
V F F F
F V F F
F F V V
b, Asociativa * p q , r p *q r ,
p q r
p q ( p q ) r q r p ( q r )
V V V V V V V
V V F V F F F
V F V F F F F
V F F F V V V
F V V F F V F
F V F F V F V
F F V V V F V
F F F V F V F
?C
RAZONAMIENTO LGICO
c, 5er la conjuncin de un par de condicionales en que se intercambian el antecedente
y el consecuente
p q (p q ) ( q p )
p q p q q p (p q ) ( q p ) p q
V V V V V V
V F F V F F
F V V F F F
F F V V V V
2.$.0 N"gai!n ( + )
5i p es una proposicin, simbolizamos con >p a su negacin.
"a negacin es una operacin unitaria que se aplica a una proposicin y tiene el efecto de
revertir el valor de verdad. sto es, si p es verdadera entonces >p es falsa, y si p es falsa
entonces >p es verdadera.
E1E2PLO 1. 5i p simboliza la proposicin estamos en la clase de %&a'onamiento(,
entonces >p es no estamos en la clase de %&a'onamiento(.
n la siguiente tabla mostramos la relacin entre los valores de verdad de p y >p'
, ,
;;;;;
+ -
- +
Una tabla de este tipo, en la que se listan simultneamente los valores de verdad de la
proposicin p y la que resulta de aplicar un conectivo se llama tabla de verdad.
E1E2PLO 2. Consideremos la proposicin
p' </@ es m.ltiplo de D=.
ntonces el valor de p es V . 5u negacin debe ser una proposicin que es falsa siempre
que p sea verdadera, por lo tanto >p debe e%presar e%actamente lo contrario a lo que
e%presa p' >p' </@ no es m.ltiplo de D=.
?D
RAZONAMIENTO LGICO
2.$.0 E3"riio'
4eterminar la tabla de verdad de las siguientes proposiciones aplicando los conectivos
vistos en las clases anteriores

&roblema ? ' Completar las siguientes tablas de verdad
a,
p q q p q ( p q )
V V
V F
F V
F F
b,
p q r q r p ( q r )
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
c,
?E
/
RAZONAMIENTO LGICO
p q r
p q p r ( p q ) ( , r )
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
?F