ESTRUTURAS LÓGICAS (AULA 01

)
Proposíção lógica é !a oração "#clara$i%a &# po"# s#r classi'ica"a co!o 'alsa
o %#r"a"#ira( S# 'or #)cla!a$i%a*i!p#ra$i%a*i+$#rroga$i%a +ão é proposição(
E !a 'ras# assi!, ) - . / 0( 1 !a 'ras# a'ir!a$i%a2 !as +ão é !a proposição2
pois +ão 3as$a &# s#4a a'ir!a$i%a o +#ga$i%a2 $#! &# po"#r s#r classi'ica"a co!o
%#r"a"#ira o 'alsa( 5#s$a 'rass# +ão 67 co!o "i8#r s# é %#r"a"#iro o 'also por&# +ão
&al o %alor "# )(
E)( 9# proposição,
:7rcia +ão 'oi ao s6oppi+g(
; <rasil #)por$a p#$ról#o(
A lógica s# 3as#ia #! $r=s l#is2 as l#is "o p#+sa!#+$o(
1 > S# !a proposição é %#r"a"#ira2 #+$ão #la é %#r"a"#ira( Lógico (%oc= #s$7 #s$"a+"o
lógica)(
. > U!a proposição +ão po"# s#r ao !#s!o $#!po %#r"a"#ira # 'alsa so3 !a !#s!a
co+"ição(
? > U!a proposição é %#r"a"#ira o 'alsa(
@al&#r p#ssoa &# p#+sa $#! &# r#sp#i$ar #s$as $r=s l#is(
5o co+crso %ai +os i+$#r#ssar as proposiçA#s co!pos$as( Es$as $a!3é! só po"rão s#r
%#r"a"#iras o 'alsas2 !as "#p#+"#!os "# ol6ar ca"a !a "#ssas proposiçA#s si!pl#s
# a+alisar &ais são %#r"a"#iras # &ais são 'alsas(
5a lí+ga por$g#sa #s$"a!os !i$os co+#c$i%os( 5a lógica2 $#!os ap#+as B, #C oC s#
#+$ãoC s# # so!#+$# s#(
Co+#c$i%o DED,
Ea!os i!agi+as "as pr#posiçA#s2 DpD # D&D(
PF@
T#!os %7rias possi3ili"a"#s( Po"# s#r &# a!3as s#4a! %#r"a"#iras2 a!3as 'alsas2 !a
'alsa # a o$ra %#r"a"#ira( Para a+alisar2 %a!os 'a8#r o &a"ro %#r"a"#,
P @ PF@
E E E
E G G
G E G
G G G
T#!os &a$ro possi3ili"a"#s( A proposição co!pos$o PF@ só s#r7 %#r"a"#ira +a pri!#ira
possi3ili"a"# coloca"a +o &a"ro2 s# a!3as são %#r"a"#iras(
E+$ão $#!os &# "#corar is$o para ga+6ar!os $#!po +a pro%a(
Regra: P^Q só será verdadeira se ambas foram verdadeiras.
Co+#c$i%o DoD,
P%@
Is$o é !a "is4+ção( T#!os +o%a!#+$# B possi3ili"a"#s +a $a3#la %#r"a"#,
P @ P%@
E E E
E G E
G E E
G G G
Regra: PvQ só será falsa se as duas forem falsas.
Co+#c$i%o Ds# #+$ãoD,
P HHHI @
S# P2 #+$ão @
S#g+"o o pro'#ssor2 é o !ais i!por$a+$#( Es$# co+#c$i%o é ! poco !ais "i'ícil "#
#+$#+"#r( E#4a!os !a 'ras#, S# c6o%#r #+$ão # %o #!3ora( ; &# %oc= #+$#+"# co!
is$oJ @# s# +ão c6o%#r # 'icoJ 5ãoK S# +ão c6o%#r # posso ir #!3ora o 'icar( Ea!os
%#r !a 'ras# !ais '7cil(
S# LLcia é !a pi+$ora2 #+$ão LLcia é !a ar$is$a( S# #la +ão 'or pi+$ora2 #la po"# s#r
ar$is$a o +ão( E+$ão #s$a co!posição "# proposiçA#s só s#r7 'alsa s# a pri!#ira 'or
%#r"a"#ira # a s#g+"a 'alsa(
P @ PHHHI@
E E E
E G G
G E E
G G E
Regra: P--->Q só é falsa se P é verdadeira e Q é falsa.
Co!o #s$a g#ra !i$a "L%i"a2 %#4a!os o &a"ro co! !a 'ras#, S# Gla+o é r#ci'#+s#2
#+$ão Gla+o é P#r+a!3ca+o(
S# Gla+o é r#ci'#+s#2 #+$ão Gla+o é
p#r+a!3ca+o
S# Gla+o é r#ci'#+s#2 #+$ão
Gla+o é p#r+a!3ca+o(
E E E
E G G
G E E
G G E
A L+ica possi3ili"a"# &# +ão po"# é #la s#r r#ci'#+s# # +ão s#r p#r+a!3ca+o(
Co+#c$i%o Ds# # so!#+$# s#D,
PMHHHI@
Regra: P<--->Q só é falsa se houver uma verdadeira e uma falsa.
P @ PMHHHI@
E E E
E G G
G E G
G G E
; '+"a!#+$al para &# apr#+"a!os é 'a8#r #)#rcícios( Po"#!os "#s$a!os $r=s
gra+"#s grpos "# &#s$A#s "# lógica,
1 > 9ar ! !o+$# "# 'ras#s # p#"ir para r#$irar co+clsA#s "#las(
. > 9ar !a 'ras# # p#"ir &# "#s$a&# !a 'ras# #&i%al#+$# a #la( E&i%al=+cia é
lógica(
? > 9ar !a 'ras# # p#rg+$ar a +#gação "#la(
As 'ras#s &# 'or#! "i$as +as &#s$A#s é para %oc= s#!pr# pr#sspor &# #las
são %#r"a"#iras( A 3a+ca +ão $#! o3rigação "# "i8#r &# é %#r"a"#ira +a &#s$ão(
R#s!o "as r#gras,
Proposição Co+"ição para s#r DED
PF@ E-E
P%@ Só +ão po"# s#r G-G
PHHHI@ Só +ão po"# s#r E-G
PMHHHI@ 5ão po"# $#r E-G o G-E
Ea!os $r#i+ar,
1 H
a) A+a é ar$is$a o Carlos é Carioca(
3) S# Norg# é 4i82 #+$ão LLcia +ão é li+"a(
c) S# Carlos é carioca2 #+$ão lLcia é li+"a(
") Norg# é 4i8(
A pri!#ira coisa é a+o$ar!os #s$as !#s!as 'ras#s co"i'ica"a!#+$#( Para is$o2 "#%#!os
apr#+"#r &# o sí!3olo DOD é o co"i'ica"or +ão(
a) A%C
3) NHHHIOL
c) CHHHIL
") N
T#!os B proposiçA#s2 ? co!pos$as # 1 si!pl#s (+ão $#! co+#c$i%o)( Claro &#
co!#ça!os p#la si!pl#s(
") N > é %#r"a"#ira(
3) NHHHHIOL > N7 s#i &# N é %#r"a"#ira( A co!poição NHHHIOL só s#r7 'alsa s# # $i%#r E-G(
U!a %# &# # $#+6o &# pr#sspor &# é %#r"a"#ira2 #+$ão DOLD +ão po"# s#r 'alsa # é
%#r"a"#ira(
c) CHHHIL > Co!o # 47 s#i &# OL é %#r"a"#ira2 L só po"# s#r 'also( Para #s$a
co!posição s#r %#r"a"#ira o C só po"# s#r 'also2 pois CHHHIL +ão po"# s#r E-G2 $#+"o
&# 'icar G-G(
a) A%C > N7 s#i &# C é 'also # +ão posso $#r G-G2 logo A é %#r"a"#ira(
S#!pr# sa+"o o &a"ro %#r"a"#(
Co+clsA#s (só %o colocar o &# 'or %#r"a"#2 s# 'or 'also $#+6o &# colocar o DOD),
A2 OC2 N2 OL(
S# DAD é %#r"a"# coloco DAD2 s# 'or 'also coloco DOAD (+ão A)(
. H
A+"ré é i+oc#+$# o <#$o é i+oc#+$#(
S# <#$o é i+oc#+$#2 #+$ão Caio é clpa"o(
Caio é i+oc#+$# s# # so!#+$# s# 9=+is é clpa"o(
9=+is é clpa"o(
Ea!os colocar o DOD para r#pr#s#+$ar clpa"o(
A%<
<HHHIOC
CMHHHIO9
O9
O9 > E
CMHHHIO9 > s#i &# O9 é %#r"a"#ira( +ão posso $#r EG o GE2 logo2 C $#! &# s#r
%#r"a"#ira para 'icar EE(
<HHHIOC > s#i &# OC é 'alsa( 5ão posso $#r EG2 logo < $#! &# s#r 'alsa para # $#r GG(
A%< > s#i &# < é G( 5ão posso $#r GG( Logo A $#! &# s#r %#r"a"#ira para 'icar EG(
Co+clsA#s,
O9C CC O<C A
9=+is é clpa"oC Caio é i+oc#+$#C <#$o é clpa"oC A+"ré é i+oc#+$#(
Agora2 $#!os &# sa3#r &# %ai $#r #)#rcícios #! &# +ão $#r#!os proposiçA#s si!pl#s(
5#s$#s # $#+6o &# 4lgar !a co!o %#r"a"#ira o 'alsa # %#r s# $"o s# #+cai)a( E),
O9HHHI< GG
GHHHHI9 GE
9HHHHIOG EE
OGHHHHIO< EE
A&i co!#c#r "o pr#sspos$o &# DO9D #ra 'also # "# c#r$o( T#+$#(
@#s$A#s, 6$$p,**p$(scri3"(co!*"oc*11.0.P011*Crso"#LogicaH<log"osCo+crsosH
E)#rcicioHEs$r$rasHLogicasHAlasH01H#H0.