ALGEBRA - LGICA PROPOSICIONAL

3 SECUNDARIA Doc. Zsimo L. Meno!"

Gon!"#es
LGICA PROPOSICIONAL
Se define al trmino lgica, como la ciencia que
estudia el pensamiento, de tal manera que con este
estudio se puede producir razonamientos correctos, es
decir, vlido.
ENUNCIADO: Es toda frase u oracin que se utiliza en
nuestro lenguaje. Por ejemplo:
-uenos d!as
-Escri"e una carta
-#$u es la densidad%
-$u fr!o&&
-#'unto pesas%
-(lcnzame el li"ro
PROPOSICIN LOGICA: Proposicin es todo enunciado
al que se le puede asignar un valor veritativo, verdadero
)*+ o falso ),+.
Notacin:
Por lo general, a las proposiciones se las representa por
las letras del alfa"eto desde la p, q, r, s, t,... etc.
p: El n-mero ./ es m-ltiplo de 0 1 23333333. ) +
q: 4!mac es el distrito de la provincia de 5ima33 ) +
r: El n-mero 62 es divisi"le por 7333333333 ) +
s: El perro es un ave33333333333333.. ) +
t: 8odos los tringulos tienen cuatro lados33333 ) +
CLASE DE PROPOSICIONES
A) Proposicin Simple o Atmicas. Son aquellas
proposiciones que constan de un solo enunciado
proposicional. Ejemplo: p: 7 9 : ; <
!) Proposicin Comp"esta o molec"lar. Son aquellas
proposiciones que constan de dos o ms proposiciones
simples.
Ejemplo: r: Pitgoras era griego 1 era gemetra
p q

#) El negador: =3no 3> )operador mondico+?,
( )
$) El conjuntor: =31 3> ( )
%) El dis1untor: =3 o 3> )en sentido inclu1ente+
( )
&) El implicador: =Si 3 entonces 3> ( ) ;
') El "iimplicador: =3 si 1 slo si3.> ( ) ;
(RADUCCIONES )ER!ALES DE LOS OPERADORES.
Son los trminos sinnimos de los operadores lgicos.
P4@'8A'( BC /6
A.-Andique cual )es+ de los siguientes enunciados son
proposiciones:
a+ 2 9 D ; 6: - 0 ) +
"+ EEstudie lgica proposicional& ) +
c+ 5os Fom"res no pueden vivir sin oG!geno ) +
d+ 7 G : ; 62 9 6 1 0 - . .7 G 2 ) +
e+ #El silencio es fundamental para estudiar% ) +
f+ ./ -6H ; . ) +
g+ reIa es un distrito de la provincia de 5ima ) +
F+ Jn lpiz no es un cuaderno ) +
i+ #Eres estudiante de matemtica% ) +
j+ 62 K 67 ) +
L+ Ponga atencin ) +
AA.-Adentifica cuales son proposiciones simples:
6.-5uis es Profesor 1 Manuel es arquitecto
..-Nuan compr dulces con dinero
7.-El "armetro a1uda a determinar el clima
0.-Si Nuan no tiene dinero entonces no compra dulces
2.-Si el "armetro desciende, entonces llover o nevar
1
Operadores Lgicos: Llamados tambin constantes lgicas,
conectivas, funcktores, trminos de enlace; etc. Son todos
aquellos trminos que sirven de enlace entre proposiciones o le
cambian el sentido de verdad.
NEGADOR
; :
; ?
es falso que A
es absurdo que A
es mentira que A
es inconcebible que A
es negable que A
no ocurre que A
es refutable A; etc.
CONJUNTOR ; . ; I
A pero
A sin embargo
A tanto como
A tambin
A al igual que
no solo A tambin
A no obstante ; etc.
DISYUNTOR ; U
A o tambin
A a no ser que
A !"o
A o bien
A !a bien
A e#cepto que
A a menos que
A salvo que
$ A o ; etc.
IMPLICADOR
;
A implica a
A por lo tanto
A luego
A consecuentemente
!a que A entonces
A es condicin suficiente para
para A es condicin necesaria

A solo si ; etc.
BIIMPLICADOR
;
A siempre ! cuando
A es condicin suficiente ! necesaria para
A porque ! solamente si
A es suficiente ! tambin
Slo si A entonces
A o ; etc.
LA PROPOSICIN
%&$%$S'('$)*S
($+%,*S-AS S'+%L*S
($)*(-$&*S
L./'($S )$+&* 0*
A(,*&0$ AL
($)*(-$&
)$ S'
-'*)*
ALGEBRA - LGICA PROPOSICIONAL
3 SECUNDARIA Doc. Zsimo L. Meno!"
Gon!"#es
CONEC(I)OS LGICOS
( partir de proposiciones simples es posi"le generar
otras, simples o compuestas. Es decir que se puede
operar con proposiciones, 1 para ello se utilizan ciertos
s!m"olos llamados conectivos lgicos.
OPERACIONES PROPOSICIONALES
#.NEGACIN
Oada una proposicin p, se denomina la negacin de p a
otra proposicin denotada por

?p )se lee Pno pP+ que le
asigna el valor veritativo opuesto al de p. Por ejemplo:
p: Oiego estudia matemtica
?p: Oiego no estudia matemtica
Por lo que nos resulta sencillo construir su ta"la de
verdad:
Se trata de una operacin unitaria, pues a partir de una
proposicin se o"tiene otra, que es su negacin.
Ejemplo: La negacin de:
p: to*os los al"mnos est"*ian matem+tica
?p: no todos los alumnos estudian matemtica
?p: no es cierto que todos los alumnos estudian matemtica
?p: Fa1 alumnos que no estudian matemtica
$.CON,UNCIN
Oadas dos proposiciones p 1 q, se denomina conjuncin
de estas proposiciones a la proposicin p q )se lee Pp
1 qP+
Ejemplo: Sea la declaracin
i+ 2 es un n-mero impar 1 : es un n-mero par
p q

*emos que est compuesta de dos proposiciones a las
que llamaremos p 1 q, que son:
p: 2 es un n-mero impar
q: : es un n-mero par
Q por ser am"as verdaderas, la conjuncin de ellas )que
no es sino la declaracin i+ es verdadera.
(a-la *e .er*a*:
5a conjuncin de dos proposiciones es verdadera solo si
cada componente es verdadero, en otro saco es falsa.
Ejemplo:
p q: D es ma1or que 7 1 todo n-mero par es m-ltiplo
de dos.
Por ser am"as verdaderas la conjuncin de ellas es
verdadera
%.DIS/UNCIN
Oadas dos proposiciones p 1 q, se llama dis1uncin de
las proposiciones, a la proposicin p q, se lee: =p o q =
5a Ois1uncin slo es falsa ),+ en el caso que las dos
proposiciones son falsas, en otro caso es verdadera.
(a-la *e .er*a*
E0emplo: Si p: Race fr!o en Anvierno, 1
q: Bapolen invadi 5ima
p 1: Race fr!o en invierno o Bapolen invadi
5ima.
Por ser al menos una de las proposiciones verdadera la
conjuncin es verdadera.
&.I2PLICACIN O CONDICIONAL
Amplicacin de las proposiciones p 1 q es la proposicin
p q )si p entonces q+. 5a proposicin p se llama
antecedente, 1 la proposicin 1 se llama consecuente de
la implicacin o condicional.
Ejemplo.
Si aprue"o, EB8SB'ES te presto el li"ro
p q
5a implicacin est compuesta de las proposiciones
p: aprue"o
q: te presto el li"ro
2
S3m-ol
o
Operacin asocia*a Si4ni5ica*o

6

Begacin
'onjuncin o producto
lgico
Ois1uncin o suma
lgica
Amplicacin
Oo"le implicacin
Oiferencia simtrica
no p o no es cierto
que p
p 1 q
p o q )en sentido
inclu1ente+
p implica q, o si p
entonces q
p si 1 slo si q
p o q )en sentido
eGclu1ente+
p ?p
*
,
,
*
p q p q
*
*
,
,
*
,
*
,
*
,
,
,
p q p q
*
*
,
,
*
,
*
,
*
*
*
,
ALGEBRA - LGICA PROPOSICIONAL
3 SECUNDARIA Doc. Zsimo L. Meno!"
Gon!"#es
Bos interesa conocer la verdad o falsedad de la
implicacin, en relacin a la verdad o falsedad de las
proposiciones p 1 q. El enunciado puede pensarse como
un compromiso, condicionado por p, 1 podemos asociar
su verdad al cumplimiento del compromiso. Es evidente
que si p es ,, es decir si no aprue"o el eGamen, quedo
li"erado del compromiso 1 preste o no el apunte la
implicacin es verdadera.
Si p es verdadera, es decir si aprue"o el eGamen, 1 no
presto el li"ro, el compromiso no se cumple 1 la
proposicin es falsa. Si p 1 q son verdaderas, entonces
la proposicin es verdadera pues el compromiso se
cumple.
(a-la *e .er*a*
p q p q
*
*
,
,
*
,
*
,
*
,
*
*
5a ta"la nos muestra que la implicacin slo es falsa si el
antecedente es verdadero 1 el consecuente es falso.
'.DO!LE I2PLICACIN O !ICONDICIONAL:
Oo"le implicacin de las proposiciones p 1 q es la
proposicin p q )se lee Pp si 1 slo si qP+
E0emplo #:
p : Tarina ingresa a la universidad
q : Tarina estudia mucFo
Entonces:
p 1 : Tarina ingresa a la universidad si 7 slo si
estudia mucFo.
(a-la *e .er*a*
5a do"le implicacin o "icondicional slo es verdadera si
am"as proposiciones tienen el mismo valor de verdad.
5a do"le implicacin puede definirse como la conjuncin
de una implicacin 1 su rec!proca. Oe este modo, la
ta"la de valores de verdad de p q puede o"tenerse
mediante la ta"la de )p q+ )q p+, como vemos:
8.-DIFERENCIA SIMETRICA O DISYUNCIN
EXCLUSIVA:
Oiferencia simtrica o dis1uncin en sentido eGclu1ente
de las proposiciones p 1 q es la proposicin p U q )se lee
Pp o q en sentido eGclu1enteP+ cu1a ta"la de valores de
verdad es:
p q p q
*
*
,
,
*
,
*
,
,
*
*
,
5a verdad de p U q est caracterizada por la verdad de
una 1 slo una de las proposiciones componentes.
Ejemplo.
Sea: i+ o vamos a 5ima o vamos a Aca
$ueda claro que slo podremos ir a uno de los dos
lugares, 1 slo a uno. Es decir que el enunciado i+ es
verdadero slo si vamos a una de las dos ciudades. En
caso de ir a am"as, o de no ir a ninguna, el enunciado es
,also.
PR9C(ICA N: $
#.;alle el .alor *e .er*a* *e las si4"ientes
proposiciones:
a+.- 5ima es la capital del Per- 1 olivia se encuentra
u"icada en (mrica del Sur.
"+.-Si . V 6, entonces 7 V . .6 K 2
c+.- .0 es un n-mero par 1 0. es un n-mero impar
d+ Si olivia limita con el Per-, entonces Per- limita con
'File.
$. <ormalice las si4"ientes proposiciones
a+.- Si ella no viene entonces nos vamos al cine
"+- Si tra"ajas 1 estudias te preparas mejor para el futuro
c+ Ser "acFiller o titulado en 'iclo Superior 1 tener 6H
aIos cumplidos son condiciones para poder ejercer la
docencia
d+.- Si dominas las asignaturas 1 te relacionas "ien con
todas las personas del colegio entonces no Fas perdido
el tiempoP
e+- Si tengo mucFos eGmenes que corregir 1 Fe
descansado un poco al mediod!a, tra"ajo Fasta las doce
de la nocFe. Pero Fo1 no tra"ajo Fasta las doce. Por
tanto, ser que no Fe descansado al mediodia
f+ Si te cuesta entender las cosas, pero te esfuerzas
diariamente, seguro que no suspendes
g+.-Estudio @lge"ra si 1 solo si estudio ,!sica, o si no
estudio ,!sica entonces estudio (ritmtica
F+ 4oGana estudia o tra"aja, pero si no estudia entonces
tra"aja. En consecuencia, 4oGana no tra"aja
Fo1 no es lunes
7+ Construir las tablas de verdad de los siguientes
esquemas proposicionales :
a) (p q) p b) (p q) p c) p (p q)
3
p q p q
*
*
,
,
*
,
*
,
*
,
,
*
p q p q q p )p q+ )q p+
*
*
,
,
*
,
*
,
*
,
*
*
*
*
,
*
*
,
,
*
ALGEBRA - LGICA PROPOSICIONAL
3 SECUNDARIA Doc. Zsimo L. Meno!"
Gon!"#es
d) (q p)
(p q)
e) (p q) ( r) f) (r r)
0+ Los valores de verdad de las proposiciones p ;
q ; r y s son respectivamente V ; F ; F y V.
Obtener los valores de verdad de :
i) (p q) r! s ii) r (s p) iii) (p r) (r
s)
2+ "eterminar en cada caso si la informaci#n que
se da es suficiente para conocer el valor de
verdad de las siguientes proposiciones
compuestas. $n caso afirmativo% &ustificarlo.
i) (p q) r ; r es
V
ii) (p q) ( p q) ;
q es V
:+ "eterminar% si es posible% el valor de verdad de
las siguientes proposiciones :
a) (p q) q si p q es Falso
b) p (p q) si p q es Verdad
c) (p q) q!
q
si p es Verdad y q es
Verdad
LA (A!LA DE )ERDAD
Para determinar la funcin de verdad de un esquema
molecular, de"emos usar la 8a"la de verdad:
}
( ) p q p q
V V F V V
V F F V F
F V V V V
F F V F F

' ;

6 4 7 48
:
)aria-les: Son aquellas letras que estn
presentes en el esquema molecular.
Es1"ema molec"lar: Es la frmula que
representa a una proposicin molecular cualquiera.
Oe"e ser una frmula "ien formada.
C+lc"lo *e .er*a*: Se efect-a el clculo de
verdad del esquema molecular siguiendo las reglas
de operacin para cada conector presente 1
respetando la jerarqu!a de conectores 1 de signos
de agrupacin. El clculo de la funcin de verdad se
Face en el cuadrante inferior derecFo.
Com-inaciones: Para determinar el n-mero de
com"inaciones, contamos el n-mero de varia"les
presentes )n+ seguidamente efectuamos la
operacin:
2
n
, el resultado de esta operacin ser
la cantidad de com"inaciones que de"emos realizar.
5as com"inaciones se escri"en de derecFa a
izquierda. Primero de uno en uno, luego de . en .,
seguidamente de 0 en 0 1 as! sucesivamente.
(IPOS DE ES=UE2AS 2OLECULARES
A) Oe acuerdo a la Matriz ,inal.
(a"tol4ico.
'uando todos los valores de las com"inaciones
presentes son verdaderos en la matriz final.
Contra*ictorio.
'uando todos los valores de las com"inaciones
presentes son falsos en la matriz final.
Contin4ente.
'uando Fa1 por lo menos un valor verdadero 1
por lo menos un valor falso en las
com"inaciones presentes de la matriz final.
!) Oe acuerdo al operador principal.
Ne4ati.o. 'uando el
operador principal es el negador.
Con0"nti.o. 'uando
el operador principal es el conjuntor.
Implicati.o. 'uando
el operador principal es el implicador.
PRO!LE2AS DE APLICACIN
#) Sa"iendo que:
( ) ( ) ( ) ; ; v p V v q F v r F , entonces
los valores de verdad de:
A+ ( ) ( ) p q r r : :
AA+ ( ) ( ) p q q r
AAA+ ( ) ( ) r p p q : : , son respectivamente
>a) ,,, >-) *,, >c) ***
>*) *,* >e) **,
$) Si la proposicin compuesta:
( ) ( ) p q p r : Es falsa, #cul es el valor de
verdad de las proposiciones
, , p q r
,
respectivamente%
>a) *,, >-) ,,* >c) ***
>*) ,,, >e) ,**
?%) Si se sa"e que p, q son verdaderas 1 r falsa, Fallar el
valor de verdad de:
a+ )p q+ r "+ ) p r+ c+ q ) p r+

%) Si ) p + ; * 1 ) q + ; ,W Rallar el valor de
verdad de: [ q ( p q ) ( p q ) ]
4
(ombinaciones
1ariables
(2lculo de verdad
*squema +olecular
De acuerdo al operador principal, existen tantos
tipos de esquemas como operadores.
ALGEBRA - LGICA PROPOSICIONAL
3 SECUNDARIA Doc. Zsimo L. Meno!"
Gon!"#es
>a) *erdadero >-) ,also
>c) Bo se puede determinar
&) Oeterminar el valor de verdad de la proposicin p 1 q
Si: p q ,W ( p q ) ( p q) *
>a) *erdadero >-) ,also
>c) Bo se puede determinar
') Oemuestre que la siguiente implicacin es una
tautolog!a: [ ( p q ) q ] p
8) Si: p: 6 es un n-mero primo.
q: . es un n-mero primo.
r:
9 16 9 16 + +
s: ( )
2
2 2
2 3 2 3 + +
Oeterminar el valor de verdad de:
( ) ( ) ( ) p s q r s 1
]
: :
>a) *erdadero >-) ,also
>c) Bo se puede determinar
Sean las proposiciones
p : 2 es n-mero primo, q : D es un cuadrado perfecto,
r : 8odo n-mero primo es impar.
Esta"lecer el valor de verdad de las proposiciones
siguientes:
a+ ? ) p q + "+ ? q r c+ ? ) ? r q + ? p
@) d+ ? X p ? ) q p + Y
A) 5
B) Sean las proposiciones:
p: RelsinLi es la capital del pa!s de ,indalandia.
1: El peso es la moneda de MGico.
r: 5a Pampilla se encuentra en el departamento de
Piura.
Q dadas las siguientes frmulas:
I. ( ) ( )
p q r p : : :
II. ( ) p q r p 1
]
: : :
III. ( ) / p q r p 1
]
: :
#'ul de ellas son verdaderas%
>a) Slo 6 >-) Slo . >c) AA 1 AAA
>*) A 1 AA >e) 8odas.
6. S8ZB 5( 8(5( OE *E4O(O OE 5(S
SA[JAEB8ES E\P4ESASBES
P4SPSSA'ASB(5ES:
)p q+ p] q]
)p q+ p]
)p q]+ )p] q+
)p q r+ )p] q r]+ )p] q] r]+
.. *E4A,A'( $JE '(O( JB( OE 5(S SA[JAEB8ES
E\P4ESASBES ES JB( 8(J8S5S[^(.
p p
p ) p q+ q
p] ) p q+
X)p q+ )q r+Y )pr+
)p q+ _Xp )q r+Y q )p r+}
#?) Si el siguiente esquema molecular
( ) ( )
p q r s : :
es falsoW la funcin de
verdad de cada una de las varia"les es
respectivamente:
>a) 6//6 )-) ///6 >c) /66/ >*) 666/ >e) 6/6/
##) Sean las varia"les:
p: 5a lgica no es una ciencia factual.
1: 5a lgica formal estudia la validez de los
razonamientos.
r: 5a matemtica es una ciencia factual.
s: 'apital de eirut el 5!"ano.
5uego los esquemas siguientes:
I. ( ) ( ) p q p r : :
II. ( ) / q p q r 1
]
: : :
III. ( ) ( ) p q r s r 1
]
: :
8ienen como valores de verdad:
>a) *** )-) ,*, >c) ,,, >*) *,* >e) **,
#$) Oe los siguientes esquemas formales:
I. ( ) ( ) p q p q : : :
II. ( ) / q p q p 1
]
: : :
III. ( ) ( ) p q q p q 1
]
: :
'ules de ellos tienen matriz principal tautolgica%
>a) Slo 6 1 . >-) Slo 6 1 7 >c) Slo . 1 7
>*) 8odos >e) Binguno
#%) Si la proposicin:
( ) ( ) m n p q r 1
]
:
es falsa, el valor
de verdad de:
( ) ( ) m p q r n 1
]
>a) *erdadero >-) ,also
>c) Bo se puede determinar
DE2OS(RACIONES
#&) Oemostrar que :
[ ] ( ) p q p q : :
es una tautolog!a.
#') Oadas las proposiciones compuestas:
I. ( ) ( ) p q p q : :
II. ( ) p q : :
5
ALGEBRA - LGICA PROPOSICIONAL
3 SECUNDARIA Doc. Zsimo L. Meno!"
Gon!"#es
III. ( ) p q : :
#'ules son equivalentes%
#8) Sean p, q proposiciones:
i. Muestra que ( ) p q p q : :
, es una
contradiccin.
ii. ( partir de la contradiccin anterior constru1e
una proposicin tautolgica.
iii. 'rea otra contradiccin a partir del esquema del
item )6+, realizando sustituciones de las
proposiciones p 1 q.
iv. Muestra que ( ) ( ) p q p q : :
, es
una tautolog!a.
#@) Sean p, q proposiciones. Nustifica por qu las
siguientes proposiciones son tautolog!as )sin ta"la
de verdad+
(1)
p p : : :
(2) ( ) ( ) p q p q :
>%) El diario se edita todos los
d!as o no se edita todos los d!as.
>&) Nuan estudia 0 Foras diarias
o no estudia 0 Foras diarias.
#A) Oado el siguiente esquema formal falso:
( ) ( ) p q q r 1
]
: : :
. 5os valores de p, q
1 r son respectivamente:
>a) 66/ )-) /// >c) 6/6 >*) //6 >e) /6/
#B) 'ul de los siguientes esquemas son formales
inconsistentes:
I. ( ) A B A
II. ( ) A B A 1
]
:
III. ( ) A B A : :
Son ciertas:
>a) Slo A >-) Slo AA >c) A, AA 1 AAA
>*) Slo AAA >e) A 1 AAA

6