ESTRUTURAS LGICAS (AULA 01)

Proposo lgica !a orao "#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 proposio(
E !a 'ras# assi!, ) - . / 0( 1 !a 'ras# a'ir!a$i%a2 !as +o !a proposio2
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# proposio,
:7rcia +o 'oi ao s6oppi+g(
; <rasil #)por$a p#$rl#o(
A lgica s# 3as#ia #! $r=s l#is2 as l#is "o p#+sa!#+$o(
1 > S# !a proposio %#r"a"#ira2 #+$o #la %#r"a"#ira( Lgico (%oc= #s$7 #s$"a+"o
lgica)(
. > U!a proposio +o po"# s#r ao !#s!o $#!po %#r"a"#ira # 'alsa so3 !a !#s!a
co+"io(
? > U!a proposio %#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 proposiA#s co!pos$as( Es$as $a!3! s po"ro s#r
%#r"a"#iras o 'alsas2 !as "#p#+"#!os "# ol6ar ca"a !a "#ssas proposiA#s si!pl#s
# a+alisar &ais so %#r"a"#iras # &ais so 'alsas(
5a l+ga por$g#sa #s$"a!os !i$os co+#c$i%os( 5a lgica2 $#!os ap#+as B, #C oC s#
#+$oC s# # so!#+$# s#(
Co+#c$i%o DED,
Ea!os i!agi+as "as pr#posiA#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 proposio co!pos$o PF@ s s#r7 %#r"a"#ira +a pri!#ira
possi3ili"a"# coloca"a +o &a"ro2 s# a!3as so %#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 5oK 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!posio "# proposiA#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 #)#rccios( Po"#!os "#s$a!os $r=s
gra+"#s grpos "# &#s$A#s "# lgica,
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
lgica(
? > 9ar !a 'ras# # p#rg+$ar a +#gao "#la(
As 'ras#s &# 'or#! "i$as +as &#s$A#s para %oc= s#!pr# pr#sspor &# #las
so %#r"a"#iras( A 3a+ca +o $#! o3rigao "# "i8#r &# %#r"a"#ira +a &#s$o(
R#s!o "as r#gras,
Proposio Co+"io para s#r DED
PF@ E-E
P%@ S +o po"# s#r G-G
PHHHI@ S +o po"# s#r E-G
PMHHHI@ 5o 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 proposiA#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!poio 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!posio 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( 5o posso $#r EG2 logo < $#! &# s#r 'alsa para # $#r GG(
A%< > s#i &# < G( 5o 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 #)#rccios #! &# +o $#r#!os proposiA#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.