Professional Documents
Culture Documents
1egacin
5onjuncin o
producto lgico
Jis!uncin o sua
lgica
7plicacin
Joble iplicacin
Jiferencia si.trica
no p o no es cierto
que p
p ! q
p o q (en sentido
inclu!ente)
p iplica q, o si p
entonces q
p si ! slo si q
p o q (en sentido
e>clu!ente)
p q p q
V
V
F
F
V
F
V
F
V
F
F
F
8.-$IS9(NCIN
Jadas dos proposiciones p !q, la dis!uncin de
las proposiciones p ! q es la proposicin ! 0 ,
se lee R p o q S
Ejemplo 1.
*iro las cosas viejas o que no e sirven
%l sentido de la dis!uncin copuesta por p ! q
(p" tiro las cosas viejas, q" tiro las cosas que no
e sirven) es inclu!ente, pues si tiro algo viejo, !
que ade+s no e sirve, la dis!uncin es V.
$a dis!uncin o es utilizada en sentido
e>clu!ente, !a que la verdad de la dis!uncin se
da en el caso de que al enos una de las
proposiciones sea verdadera
*a1la de 2edad
E3em!lo,
Fi p " 4ace fri en 7nvierno , !
q " 1apolen invadi $ia
! 0 " 4ace fri en 7nvierno o 1apolen invadi
$ia
Por ser al enos una de la proposiciones
verdadera la conjuncin es verdadera
:.-I;PLICACIN O CON$ICIONAL
7plicacin de las proposiciones p ! q es la
proposicin p q (si p entonces q). $a
proposicin ! se llaa antecedente, ! la
proposicin 0 se llaa consecuente de la
iplicacin o condicional.
Ejemplo.
Fupongaos la iplicacin
i)Fi apruebo, %1*T15%F te presto el libro
p q
$a iplicacin est+ copuesta de las
proposiciones
p" apruebo
q" te presto el libro
1os interesa conocer la verdad o falsedad
de la iplicacin i), en relacin a la verdad o
falsedad de las proposiciones p ! q. %l
enunciado puede pensarse coo un coproiso,
condicionado por p, ! podeos asociar su verdad
al cupliiento del coproiso. %s evidente
que si p es F, es decir si no apruebo el e>aen,
quedo liberado del coproiso ! preste o no el
apunte la iplicacin es verdadera.
Fi p es verdadera, es decir si apruebo el e>aen,
! no presto el libro, el coproiso no se cuple
! la proposicin i) es falsa. Fi p ! q son
verdaderas, entonces la proposicin i) es
verdadera pues el coproiso se cuple.
*a1la de 2edad
p q p q
V
V
F
F
V
F
V
F
V
F
V
V
$a tabla nos uestra que la iplicacin slo es
falsa si el antecedente es verdadero ! el
consecuente es falso.
<.-$O)LE I;PLICACIN O )ICON$ICIONAL
Joble iplicacin de las proposiciones p ! q es la
proposicin p q (se lee Qp si ! slo si qQ)
E3em!lo '=
p " Uarina ingresa a la universidad
q " Uarina estudia uc/o
%ntonces"
!
=
j)*enga cala ,no se ipaciente
E) K> 8 ) : '? , > #
l)'A es <iplo de )
ll)
"
$
> x x R x
)> es 7ngeniero ! Luan es Mate+tico
n)
" .
(
"
/ =
x Q x
B)$os cuadril+teros tienen ) lados
o))> N A O '( , > #
p) x ! "# $ x $ ! %
q) &x # ' ""$ x %
r) (x ) * ""$ x +
t)> es un anial
?.<
a) Fi p es verdadera deterinar el valor de verdad de Pp^q
b)Fi p es falsa p vq
c) Fi p es falsa , entonces Pp
q
es
d) Fi la proposicin (p b q)^r es falsa , deterina el valor de las proposiciones"
).< Jeterinar el valor de verdad de las proposiciones p ! q si se conoce la siguiente inforacin "
\(p v q ) b Pq_^q es falsa ! \(Pp b Pq )^ q _ b (p v q ) es verdadera
'.< Jeterinar el valor de verdad de las siguientes proposiciones"
0 $ . )
1 $ )
0 ) / )
& " $ )
&
&
>
= +
+
x x Si d
x Q x c
x N x b
x N x a
x
x R x
x x R x n
x x R x m
x x ll
"
$ )
$ )
$ )
1 1 / )
"
=
=
=
> +
+
0 2 / )
&
&
1
/ )
"
/ )
" $ )
&
&
"
0
=
=
+
=
=
x R x h
x
x
x
R x g
x
x R x f
x R x e
0 )
0 ( / )
0 " & $ )
0 " & / )
&
&
= +
+
= +
x x l
x I x k
x x Z x j
x Q x i
r q p d
q r p d
) , & .
) , " .
) , ) , 1 .
) , ( .
p q p r d
r q p d