URI Universidade Regional Integrada Campus de Erechim

Curso de Cincia da Computao

Apostila de Lgica para a Computao

Prof. Neilor Tonin

Erechim, de Agosto de !""#

Apostila de Lgica para a computao

Plano de ensino da disciplina: 35-324 Departamento: 03 Carga horria: 60 horas EMENT :

Lgica para a Computao Engenharias e Cincia da Computao Crditos: 04

lgebra booleana !roposi"es #pera"es $%gicas sobre !roposi"es Construo de &abelas-'erdade &autologia( Contradi"es e Contingncias )mplicao $%gica lgebra das !roposi"es *+todo ,eduti-o .rgumentos ( /egras de )n0erncia 'alidade mediante /egras de )n0erncia C1lculo de !redicados !"#ET$%!&: 2ormali3ao de id+ias comple4as de 0orma mais simples !ropicia um no-o ou melhor entendimento das 5uest"es relacionadas com toda a Cincia da Computao .u4ilia no desen-ol-imento de aplica"es e soluo de problemas reais 5ue en-ol-em aplicao da computao 'EL ()! D!& C!NTE*D!&:
6 !roposi"es 7 Conecti-os8 'alores l%gicos9 !roposi"es :imples e !roposi"es Compostas9 Conecti-os9 &abela-'erdade 2 #pera"es $%gicas sobre !roposi"es8 ;egao9 Con<uno9 ,is<uno9 ,is<uno E4clusi-a9 Condicional9 =icondicional9 3 Construo de &abelas-'erdade8 &abela-'erdade de uma proposio composta9 ;>mero de $inhas9 Construo de uma & ' 9 'alor l%gico 4 &autologia( Contradi"es e Contingncias8 &autologia9 !rinc?pio de substituio9 Contradio9 Contingncia 5 )mplicao $%gica8 ,e0inio9 !ropriedades9 &autologia e e5ui-alncia $%gica9 !roposi"es associadas a uma condicional9 ;egao con<unta de duas proposi"es9 ;egao dis<unta de duas proposi"es9

6 lgebra das !roposi"es @ *+todo ,eduti-o8 2ormas normais9 !rinc?pio da dualidade9 A .rgumentos ( /egras de )n0erncia8 ,e0inio9 'alidade9 Crit+rio9 Condicional .ssociada9 .rgumentos '1lidos9 /egras de )n0erncia9 'alidade mediante as /egras de )n0erncia B C1lculo de !redicados8 Cuanti0icadores e 'ari1-eis9 !redicados e nomes pr%prios9 /egras de 0ormao9 /egras de in0erncia para o 5uanti0icador uni-ersal9 /egras de in0erncia para o 5uanti0icador e4istencial9 &eoremas e regras de e5ui-alncia do 5uanti0icador9 )dentidade

"$"L$!+' ,$ "-&$C .L$%'!& TE/T!&0:

Srates, Jonofon. Raciocnio Lgico. 8 ed Braslia:Editora Jonofon LTDA, 1998. Nolt, J; o!at"n, D. Lgica. #ole$%o S&!a'(, )&*ra+,-ill, .n&., 1991.

"$"L$!+' ,$

C!MPLEMENT ' .L$%'!& 'E,E'ENC$ D!&0:

Dames $ Eein ,iscrete :tructures( $ogic and ComputabilitF9 Dones G =artlett 6BB5 E = Enderton . mathematical introduction to logic( .cademic !ress( 2ed 2006 , * HabbaF ElementarF $ogics8 a procedural perspecti-e( !rentice Eall( 6BBA Alen&ar /il!o, Ed0ar de. Iniciao Lgica Matemtica. 8 ed. S%o 1a'lo: Ed. No2el, 1934. )endelson, B. Introduction to Mathematical Logic. 1rin&eton, NJ, 5an Nostrand, 1946.

C1lculo da m+dia semestral8 I!6J4 K !2J4 K &J2 L M 60

onde8 !6 N !rimeira pro-a !2 N :egunda pro-a & N &rabalho

Apostila de Lgica para a computao

Clculo Proposicional
1. Proposio:
Chama-se sentena ou proposio todo o con<unto de pala-ras ou s?mbolos 5ue e4primem um pensamento de sentido completo :entena ou proposio se distinguem do nome( o 5ual designa um ob<eto E4emplos de nomes8 !edro # co do menino 473 E4emplos de proposi"es8 6 . lua + um sat+lite da terra 2 # 0ilho do !residente do =rasil( em 6B@0( era m+dico 3 345N543 4 #nde -oc moraO 5 Cue belo <ardim + o desta praaP 6 Escre-a um -erso @ !edro estuda e trabalha A ,uas retas de um plano so paralelas ou incidentes B :e !edro estuda( ento tem 4ito na escola 60 'ou ao cinema se e somente se conseguir dinheiro ;a l%gica( restringimo-nos a uma classe de proposi"es( 5ue so as declarati-as e 5ue s% aceitam dois -alores8 'erdadeiro I%L ou r 0also I,L( um e4cluindo o outro .ssim( e4clu?mos de nossas considera"es8 - !roposi"es e4clamati-as( como a de nQ 5 - !roposi"es interrogati-as( como a do nQ 4 - !roposi"es imperati-as( como a do nQ 6 &o declarati1as as de n2meros 3 at 4 e as de 5 at 367 . l%gica matem1tica adota como regras 0undamentais os dois seguintes princ?pios ou a4iomas8 I ) L !/);CR!)# ,. ;S# C#;&/.,)TS#8 Uma proposio no pode ser -erdadeira e 0alsa ao mesmo tempo I )) L !/);CR!)# ,# &E/CE)/# EVC$UR,#8 Cual5uer proposio + -erdadeira ou + 0alsa( no podendo ser nada mais do 5ue isso !or e4emplo( as proposi"es 6 e 3 so ambas -erdadeiras( mas as 3 proposi"es seguintes so 0alsas8 'asco da Hama descobriu o =rasil ,ante escre-eu os $us?adas #bs8 Cam"es escre-eu W#s $us?adasX Y + um n>mero inteiro .s proposi"es so geralmente designadas pelas letras latinas min>sculas p( 5( r( s Isem ?ndices ou acentosL E8erc9cio: 6L Cuais so os nomes e 5uais so as proposi"esO aL # n>mero 3 + maior 5ue o n>mero 5 bL . terra + um planeta cL B-62 dL B eL AJ@ N 56 0L # gato da menina gL Um bom li-ro de matem1tica hL 3 K 5 Z[ 5 K 3 iL :e cho-er ho<e( ento a rua 0icar1 molhada <L # sol brilha e 5ueima as plantas \L Dorge + ga>cho ou + Catarinense lL Um tri]ngulo + ret]ngulo se e somente se tem um ]ngulo reto mL &ri]ngulo e5uil1tero nL :e um tri]ngulo + ret]ngulo( ento( dois de seus lados so perpendiculares

1.1. Valores !gicos das Proposi"es:

,i3-se 5ue o -alor l%gico de uma proposio p + -erdade 5uando p + -erdadeiro e 0alsidade 5uando p + 0also #s -alores l%gicos -erdade e 0alsidade de uma proposio designam-se abre-iadamente pelas letras ' e 2 ou pelos s?mbolos 6 e 0( respecti-amente

Apostila de Lgica para a computao

.ssim( o 5ue os princ?pios da no-contradio e do terceiro e4clu?do a0irmam + 5ue8 &oda proposio pode assumir um( e somente um( dos dois -alores8 2 ou ' I 0 ou 6 respecti-amenteL E8erc9cio: 2L ,ar os -alores l%gicos das proposi"es abai4o( isto +( atribua ' ou 2 para cada uma delas aL 3K5NA bL . lua + um sat+lite da terra cL Colombo descobriu o =rasil dL !edro l-ares Cabral descobriu a Col^mbia eL o n>mero 66 + primo 0L IA-3L2 N A2 - 32 gL Um n>mero di-is?-el por 2 + par hL 6 e -6 so ra?3es da e5uao 42-6N0

1.# Proposi"es simples e Proposi"es compostas

.s proposi"es podem se classi0icadas como simples ou compostas . proposio simples + a5uela 5ue no cont+m nenhuma outra proposio como parte integrante de si mesma . proposio composta + 0ormada pela combinao de duas ou mais proposi"es simples atra-+s de um elemento de ligao denominada conecti-o E4 8 Proposio simples ! 8 _en%bio + careca C8 !edro + estudante /8 # n>mero 25 + um 5uadrado per0eito Proposi:es compostas !8 _en%bio + careca e !edro + estudante C8 _en%bio + careca ou !edro + estudante /8 &e _en%bio careca( ento + 0eli3

.s proposi"es compostas so tamb+m chamadas de 0%rmulas proposicionais Constr%i-se uma proposio composta a partir de duas ou mais proposi"es simples e do uso de conecti-os

1.$ Conectivos
De;inio: Chamam-se conecti-os as pala-ras usadas para 0ormar proposi"es compostas a partir de proposi"es simples &emos 6 conecti-o un1rio e 4 conecti-os bin1rios E4 8 !8 # n>mero 6 + par e o n>mero A + o cubo do n>mero 2 C8 # tri]ngulo .=C + ret]ngulo ou o tri]ngulo .=C + is%sceles /8 No est1 cho-endo :8 &e Dorge + engenheiro( ento sabe matem1tica &8 # tri]ngulo .=C + e5uil1tero se e somente se + e5ui]ngulo Isubentende

o tri]ngulo .=C L

!odemos considerar como conecti-os usuais da l%gica as pala-ras gri0adas( isto +8 E< !u< No< &e 777 Ento777< 777 &e e somente se777 .sse0 E8erc9cio: 3L ,entre as proposi"es do e4erc?cio 6( 5uais so8 aL :imples8 bL Compostas8

1.% &a'ela(Verdade
Construo das tabelas - verdades: :egundo o princ?pio do terceiro e8clu9do( toda proposio simples p + -erdadeira ou + 0alsa( isto +( tem o -alor l%gico ' I-erdadeL ou o -alor l%gico 2 I0alsidadeL ! ' 2 ' ! 2

Apostila de Lgica para a computao

# -alor l%gico de uma e4presso composta depende unicamente dos -alores l%gicos das e4press"es simples 5ue comp"em a mesma .dmitindo isso( recorre-se a um dispositi-o denominado ta=ela > 1erdade para aplicar este conceito na pr1tica ;a ta=ela > 1erdade 0iguram todos os poss?-eis -alores l%gicos da proposio correspondentes a todas as poss?-eis atribui"es de -alores l%gicos `s proposi"es simples componentes .ssim( por e4emplo( uma proposio composta cu<as proposi"es simples componentes so p e ? pode ter as poss?-eis atribui"es8 p ' ' 2 2 5 ' 2 ' 2

6 2 3 4

;este caso( as combina"es entre os elementos so8 ''( '2( 2' e 22 .s tabelas - -erdade so constru?das como arran<os dos elementos componentes( e como um elemento pode receber somente os -alores ' ou 2( o tamanho de uma tabela + dado pela 5uantidade de elementos combinados8 ;o caso de uma proposio composta com 4 elementos( ter?amos @ com=ina:es poss91eis8 '''( ''2( '2'( '22( 2''( 2'2( 22'( 222 p ' ' ' ' 2 2 2 2 5 ' ' 2 2 ' ' 2 2 r ' 2 ' 2 ' 2 ' 2

6 2 3 4 5 6 @ A

Observao 1: a ordem das letras pode ser di0erente e a combinao entre as letras tamb+m pode ser dirente da apresentada acima Deve-se somente tomar o cuidado de no repetir duas combinaes I2 linhas cM ''2( por e4emploL Observao 2: !ara construirmos as tabelas 7 -erdade podemos usar as seguintes regras # n>mero de linhas sempre depende do n>mero de elementos combinados( e como uma proposio pode assumir os -alores % ou ,( o n>mero de linhas de uma tabela 7 -erdade + dado por 2n 6 elemento 8 2 l linhas N 2 linhas 2 elementos8 22 linhas N 4 linhas 3 elementos8 2 3linhas N A linhas 4 elementos8 2 4linhas N 66 linhas !ara construir a tabela inicia-se sempre atribuindo '( 2('( 2( para o elemento mais ` direita da tabela( '( '( 2( 2( para o segundo elemento da direita para a es5uerda( '( '( '( '( 2( 2( 2( 2( para o terceiro elemento ` partir da es5uerda e assim( sucessi-amente E4erc?cio8 construa uma tabela 7 -erdade para 4 elementos8 p( 5( r( s

1.). *otao
# -alor l%gico para uma proposio simples p indica-se por 'IpL .ssim( e4prime-se 5ue p + 1erdadeiro escre-endo8 %.p0 A % .nalogamente( pode-se e4primir 5ue a proposio p tem o -alor 0also utili3ando-se %.p0 A , Considerando( por e4emplo( as seguintes proposi"es simples8 p8 # :ol + -erde 58 um he41gono tem 6 lados r8 2 + um n>mero ?mpar s8 um tri]ngulo tem 4 lados &emos8 'IpLN2 'I5LN' 'IrL N2 'IsL N2

Apostila de Lgica para a computao

&

#. +pera"es l!gicas so're as Proposi"es

Cuando pensamos( e0etuamos muitas -e3es certas opera"es sobre proposi"es( chamadas opera"es l%gicas Estas obedecem a regras de um c1lculo( denominado Clculo Proposicional( semelhante ao da aritm+tica sobre n>meros :ero apresentadas( a seguir( as opera"es l%gicas 0undamentais do c1lculo proposicional

#.1 *egao ,-.

De;inio: chama-se negao de uma proposio p a proposio representada por Wno pX( cu<o -alor l%gico + -erdade I'L 5uando p 0or 2also e 0alsidade I2L 5uando -alor de p + -erdadeiro .ssim( Wno pX tem o -alor oposto do -alor de p . negao de p indica-se com a notao WapX( e + lido como Wno pX # -alor l%gico da negao de uma proposio + de0inido por uma tabela 7 -erdade muito simples8 p ' 2 ap 2 ' a' N 2( a2 N ' e ' Ia!L N a 'I!L

6 2 #u se<a8

Exemplo: I6L r8 /oma + a capital da 2rana I2L ' IarL N a'IrL N a2 N ' ;a linguagem comum a negao e0etua-se( nos casos mais simples( antepondo o ad-+rbio WnoX ao -erbo da proposio dada .ssim( por e4emplo( considerando a proposio8 p 8 # :ol + uma estrela sua negao + 8 ap 8 # :ol no + uma estrela #utra maneira de e0etuar a negao consiste em antepor ` proposio dada e4press"es tais como Wno + -erdade 5ueX( W+ 0also 5ueX .ssim( por e4emplo( considerando a proposio8 5 8 Carlos + mec]nico sua negao + 8 a5 8 ;o + -erdade 5ue Carlos + mec]nico ,e-e-se tomar um pouco de cuidado com a negao( por5ue( por e4emplo a negao de W&odos os homens so elegantesX + W;em todos os homens so elegantesX e a de W;enhum homem + eleganteX + W.lgum homem + eleganteX

#.#. Con/uno ' . , 0 (

De;inio: chama-se con<uno de duas proposi"es p e 5 a proposio representada por Wp e 5X( cu<o -alor l%gico + a -erdade I'L 5uando as proposi"es p e 5 so ambas -erdadeiras a 0alsidade I2L nos demais casos :imbolicamente( a con<uno de duas proposi"es p e 5 indica-se com a notao8 Wp 5X( 5ue se l8 Wp e 5X # -alor l%gico da con<uno de duas proposi"es +( portanto( de0inido pela seguinte tabela 7 -erdade8 p 5 p 5 ' ' ' ' 2 2 2 ' 2 2 2 2 ou se<a( pelas igualdades8 ' ' N '( ' 2 N 2( Ip b 5L N ' IpL b ' I5L Exemplos: 2 '( 2 2N2 e

Apostila de Lgica para a computao

I6L

p: A neve branca V {q: } 2 5 V

p 58 . ne-e + branca e 2 Z 5 I'L ' Ip 5L N 'IpL 'I5L N ' ' N '

I2L

p : O enxofre verde F {q: @ um nmero primo V }

p b 5 8 # en4o0re + -erde e @ + um n>mero primo I2L ' Ip b 5L N 'IpL b ' I5L N 2 b ' N 2

#.$. 1is/uno , * , + .
,e0inio8 chama-se disBuno de duas proposi:es p e 5 a proposio representada por Wp ou 5X( cu<o 1alor lgico + a 1erdade. % 0 5uando ao menos uma das proposi"es p e 5 + -erdadeira e a ;alsidade .,0 5uando as proposi"es p e 5 so ambas 0alsas :imbolicamente( a disBuno de duas proposi:es p e 5 indica-se com a notao8 Wp K 5X( 5ue se l8 Wp ou 5X # -alor l%gico da disBuno de duas proposi"es +( portanto de;inido pela seguinte tabela 7 -erdade8 p 5 pK5 ' ' ' ' 2 ' 2 ' ' 2 2 2 ' Ip + 5L N ' IpL + ' I5L Exemplos: I6L

p: Paris a capital da Frana V {q: } B 4 =5 V

p + q: Paris a capital da Frana ou 9 ' Ip + 5L N 'IpL + 'I5L N ' + ' N ' !"# $V%

I2L

&am'es escreveuos (us)adas V {2p: } 2 = 3 F

p + 5 8 C.*cE: escre-eu os $us?adas ou 2 K 2 N 3 ' Ip + 5L N 'IpL + 'I5L N ' + 2 N ' I'L

#.%. 1is/uno E2clusiva , , + .

;a linguagem comum a pala-ra WouX tem dois sentidos .ssim( p e4 ( consideremos as duas seguintes proposi"es compostas8 ! 8 Carlos + m+dico ou pro0essor C8 *1rio + alagoano ou ga>cho ;a proposio ! se est1 a indicar 5ue uma pelo menos das proposi"es WCarlos + m+dicoX( WCarlos + pro0essorX + -erdadeira( podendo ser ambas -erdadeiras8 WCarlos + m+dico e pro0essorX *as( na proposio C( + %b-io 5ue uma e somente uma das proposi"es W*1rio + alagoanoX( W*1rio + ga>choX + -erdadeira( pois( no + poss?-el ocorrer W*1rio + alagoano e ga>choX ;a proposio ! di3-se 5ue WouX + inclusi1o( en5uanto 5ue( na proposio C( di3-se 5ue WouX + e8clusi1o

Apostila de Lgica para a computao

Em $%gica *atem1tica usa-se habitualmente o s?mbolo WKX para WouX inclusi1o e os s?mbolos WK( X para WouX e8clusi1o7 .ssim sendo( a proposio ! + a disBuno inclusi1a ou apenas disBuno das proposi"es simples WCarlos + m+dicoX( WCarlos + pro0essorX( isto +8 !8 Carlos + m+dico K Carlos + pro0essor . proposio C + a disBuno e8clusi1a das proposi"es simples W*1rio + alagoanoX( W*1rio + ga>choX( isto +8 C8 *1rio + alagoano *1rio + ga>cho ,e um modo geral( chama-se disBuno e8clusi1a de duas proposi"es p e 5 a proposio representada simbolicamente por Wp 5X( 5ue se l8 Wou p ou 5X ou Wp ou 5( mas no ambosX( cu<o 1alor lgico + 1erdade .%0 somente 5uando p + -erdadeira ou 5 + -erdadeira( mas no 5uando p e 5 so ambas -erdadeiras( e ;alsidade.,0 5uando p e 5 so ambas -erdadeiras ou ambas 0alsas # -alor l%gico da disBuno e8clusi1a de duas proposi"es + de0inido pela seguinte tabela 7 -erdade8 p ' ' 2 2 C ' 2 ' 2 p5 2 ' ' 2

#.) Condicional ,.:

De;inio: chama-se condicional uma proposio representada por Wse p ento 5X cu<o -alor l%gico + 0alsidade I,L 5uando p + -erdadeira e 5 + 0alsa e -erdade I%L nos outros casos :imbolicamente( a condicional de duas proposi"es p e 5 indica-se com a notao Wp5X e pode ser lida das seguintes 0ormas8 ) p implica 5 )) se p ento 5 ))) p + condio su0iciente para 5 )' 5 + condio necess1ria para p ;a condicional Wp5X ( di3-se 5ue p + o antecedente e o 5 o conse5dente # s?mbolo WX + chamado de implicao Considere o seguinte e4emplo8 Doo trabalha em uma estao meteorol%gica e 0a3 a seguinte a0irmao no dia 03 de maro8 :e a umidade subir acima de B0 e( ento cho-er1 em menos de 24 horas p: umidade so=e acima de C6 D ?: Cho1er em menos de EF horas7 .t+ o dia 05( embora a umidade esti-esse a B5 e durante as >ltimas 4A horas( no cho-eu )sso signi0ica 5ue a a0irmao 0eita anteriormente era 0alsa( ou se<a8 'Ip 5L 8 2 f 'I- 0L8 2 )sso signi0ica 5ue sempre 5ue o antecedente 0or -erdadeiro( o conse5dente de1e ser -erdadeiro para 5ue o resultado de toda a proposio se<a -erdadeira O condicional n*o afirma a veracidade do antecedente e do conseq+ente, mas a rela*o existente entre eles E42 8 :e Doo + Engenheiro( ento sabe matem1tica . tabela 7 -erdade da condicional de duas proposi"es +( portanto8 ! ' ' 2 2 5 ' 2 ' 2 p 5 ' 2 ' '

6 2 3 4

Apostila de Lgica para a computao

#.3 4icondicional , .:
De;inio: chama-se =icondicional uma proposio representada por Wp se e somente se ?X cu<o -alor l%gico + -erdade I%L 5uando p e 5 so ambas( -erdadeira ou 0alsas :imbolicamente( a bicondicional de duas proposi"es p e 5 indica-se com a notao Wp 5X e pode ser lida das seguintes 0ormas8 i p + condio necess1ria e su0iciente para 5 ii 5 + condio necess1ria e su0iciente para p iii7 p se e somente se ? Iser1 mais utili3adoL podendo ter a abre-iao Wp sse ?X . tabela 7 -erdade da bicondicional de duas proposi"es +( portanto8 ! ' ' 2 2 5 ' 2 ' 2 !5 ' 2 2 '

6 2 3 4

Cuando se tem uma bicondicional p 5( na -erdade implicamos p 5( e 5 p ao mesmo tempo( ou se<a( s% + -erdade 5uando as duas condicionais so -erdadeiras Considerando 5ue p 5 s% + -erdade 5uando as duas condicionais p5 e 5p so -erdades( temos 0alsidade nos casos8 p5 sendo -IpLN ' e 'I5L N 2 e( 5p sendo -I5LN ' e 'IpL N 2 e( correspondentes `s linhas 2 e 3 da tabela -erdade E8: Doo + careca( sse Doo no tem cabelo )sso na -erdade implica8 iL :e <oo + careca( ento Doo no tem cabelo e iiL :e Doo no tem cabelo( ento Doo + careca #brigatoriamente( as duas proposi"es simples 5ue comp"em cada uma das proposi"es condicionais i e ii de-em ser8 ambas -erdadeiras ou 0alsas( para a bicondicional ser -erdadeira E8erc9cios: 4L Classi0i5ue cada uma das proposi"es compostas do e4erc?cio 68 aL con<uno8 bL dis<uno8 cL condicional8 dL bicondicional8 5L :e<a p a proposio WEst1 0rioX e 5 a proposio WEst1 cho-endoX &radu3ir( para a linguagem corrente( as seguintes proposi"es8 aL ap bL p 5 cL pK5 dL 5 Z-[ p eL p -[ a5 0L 5 - ap gL ap b a5 hL aa5 6L :e<a p a proposio WDorge + ricoX e 5 a proposio WCarlos + 0eli3X &radu3ir( para a linguagem corrente( as seguintes proposi"es8 aL pK5 bL 5-[p cL p-a5 dL 5Z-[ap eL ap-[5 0L Iap 5L-[p

Apostila de Lgica para a computao

-"

@L &radu3a para a linguagem comum( sabendo 5ue p8 os preos so altos e 58 os esto5ues so grandes aL Ip 5L -[p bL Ip a5L -[ap cL ap a5 dL pKa5 eL aIp 5L 0L aIpK5L gL aIapKa5L AL :e<a p a proposio WDorge + altoX e 5 a proposio WDorge + eleganteX &radu3ir( para a linguagem simb%lica( as seguintes proposi"es8 aL Dorge + alto e elegante bL Dorge + alto mas no + elegante cL ;o + -erdade 5ue Dorge + bai4o ou elegante dL Dorge no + bai4o e nem + elegante eL Dorge + alto( ou + bai4o e elegante 0L ;o + -erdade 5ue Dorge + bai4o ou 5ue no + elegante BL ,eterminar o -alor l%gico I' K 2L de cada uma das seguintes proposi"es compostas8 aL :e 6 K 2 N 5( ento 3 K 3 N 6 bL ;o + -erdade 5ue 2 K 2 N @ se e somente se 4 K 4 N B cL ,.;&E escre-eu os $us?adas ou 5 K @ Z 2 dL ;o + -erdade 5ue 6 K 6 N 3 ou 20 N 6 eL g 0also 5ue ( se $isboa + a capital da 2rana( ento =ras?lia + a capital da .rgentina 60L Escre-er simbolicamente para p8 Doo + esperto( 58 Dos+ + tolo aL Doo + esperto e Dos+ + tolo bL Doo + esperto ou Dos+ + tolo cL Doo + esperto e Dos+ no + tolo 66L :e<a p8 'anda + aluna e 58 :?l-ia + pro0essora Escre-a simbolicamente8 'anda + aluna ou no + -erdade 5ue :?l-ia se<a pro0essora e 'anda se<a aluna 62L :?mbolo para8 'anda tem 5 anos ou se 'anda + bonita( ento( + tagarela 63L ,ar os -alores das proposi"es abai4o8 aL IA [ 2L I4 ZN4L bL I6 Z 60L I6 [ 3M2L cL I6 Z 2L K II4-3L [N6L dL I5 [ AL I4[3L eL I4 Z 2L K I2Z4L 64L ,ar o -alor da proposio p nos casos adiantes8 aL 'Ip5L N ' e 'I5L N ' bL 'I5pL N ' e 'I5L N 2 cL 'I5KpL N 2 e 'I5L N 2 dL 'I5KpL N ' e 'I5L N ' 65L Considerando 'IpL N 2 ( 'I4L N 2 e 'IFL N ' aL 'IIIp K 5L I4 K FL L p L N bL 'I4 F p L N cL 'Ip F p 4 L N 66L 'eri0icar se a in0ormao dada + su0iciente para determinar o -alor da e4presso8 aL Ip sL r( onde r tem o -alor ' bL IpKrLKIs 5L( onde 5 tem -alor 2 cL IIpK5 L I5 pLL IIr pLK5L( onde o -alor de 5 + ' dL IIp 5L p( onde o -alor de 5 + ' eL IIp 5 pL pK5( onde o -alor de 5 + ' 0L IpK5 r pK5L( onde o -alor de 5 + 2

0L IA-3N 5L -[ I2 ZN 2L gL IA[60L -[ I6-2 N 4L hL IA[60L -[ I6 Z 5L iL I4 Z 2 L Z-[ IA-2 N 65L

Apostila de Lgica para a computao

--

$. &a'elas(verdades de proposi"es compostas:

,adas -1rias proposi"es simples p(5(r( ( podemos combin1-las mediante o uso dos conecti-os8 a( ( K( ( e construir proposi"es compostas( tais como8 Ip Ia5pLL aIIpa5LI5KpLL Com o emprego das tabelas--erdades das opera"es l%gicas 0undamentais + poss?-el construir a tabela--erdade correspondente a 5ual5uer proposio composta dada $ogicamente( o -alor--erdade 0inal depende dos -alores l%gicos das proposi"es componentes E8erc9cio: 6@L Construir as tabelas--erdades8 aL I5 rL K m bL I5KrL II5KsL IpKsLL cL Ip r L p dL Ip r L p eL Ip I5 rLL IIp 5L Ip r LL 0L a Ip K 5L Iaap K a5L

%. &autologia5 contradio e conting6ncia ,indeterminada.

.s 0%rmulas proposicionais podem apresentar os seguintes casos 5uanto `s suas tabelas--erdades8 aL hltima coluna da tabela--erdade apresenta somente 'IsL 2%rmula tautol%gica &autologia bL hltima coluna da tab - -erdade apresenta somente 2IsL2%rmula contra--1lidaContradio cL hltima coluna da tabela--erdade apresenta 'IsL e 2IsL 2%rmula indeterminada

E8erc9cios: 6AL 'eri0icar 5uais 0%rmulas so contradi"es( tautologias ou indeterminadas aL p pKp bL Ia bL IIb cL Ia cLL cL Ia b L 7 Ib aL dL a b eL a I K bL 0L aIap 7 5 L ap G H5

). Implicao !gica e E7uival6ncia !gica 5 6 'elao de implicao: uma proposio p implica uma proposio q se e somente se p 5 0or uma tautologia
#bs 8 o s?mbolo + de operao l%gica e o s?mbolo + de relao E4 8 p 5 p 5 uma -e3 5ue a operao condicional gera uma tautologia Ta=elaI%erdade:

Apostila de Lgica para a computao

-!

E8erc9cios: 6BL 'eri0icar as implica"es aL p p K 5 bL p 5 p cL Ip K 5L ap 5 dL Ip 5L p 5 eL Ip I5 rLL 5 Ip rL

5 2 'elao de E?ui1alJncia: uma proposio p + e5ui-alente a uma proposio q se e somente se p 5 0or uma
tautologia #bs 8 o s?mbolo + de operao l%gica e o s?mbolo + de relao E4 8 Wp 5X e W ap K 5 W so proposi"es logicamente e5ui-alentes pois possuem a mesma tabela--erdade Ento di3emos8 p 5 apK5 Ta=elaI%erdade:

E8erc9cio: 20L'eri0icar as e5ui-alncias aL aIp apL IpKapL bL p IapK5L Ip 5L cL Ip I5 rLL 5 Ip rL

Apostila de Lgica para a computao

-$

rgumentos
Chama-se de argumento toda a a0irmao de 5ue -1rias proposi"es Ip6( p2( ( pnL tm por conse5dncia uma outra proposio 5 .s proposi"es p3< pE< 777< pn so as premissas( e a proposio ? + a concluso do argumento Um argumento + escrito da seguinte 0orma8 p( p5( 5r i r onde8

p( p5( 5r
!remissas

concluso

%alidade de um argumento atra1s da Ta=elaI1erdade: Um argumento + -alido 5uando para todas as linhas da tabela -erdade onde as premissas 0orem -erdadeiras( a concluso tamb+m + -erdadeira E4emplo8 compro-e a -alidade dos seguintes argumentos8 aL p( p5 i 5 bL p5( 5 i p cL p 5( 5 i p

'egras de $n;erJncia
. utili3ao de tabelas--erdade permite -alidar 5ual5uer argumento( mas o seu emprego torna-se cada -e3 mais trabalhoso na medida 5ue aumenta o n>mero de proposi"es simples componentes dos argumentos !ara um argumento com 6 proposi"es Io 5ue + bastante comumL por e4emplo( + necess1rio construir uma &abela 'erdade com 2 6 linhas I64 linhasL( perspecti-a nada animadora Um m+todo mais e0iciente para demonstrar< 1eri;icar ou testar a 1alidade de um dado argumento( consiste em deduKir a concluso L a partir das premissas P3<PE< 777Pn( mediante o uso de certas 'egras de $n;erJncia7 E4istem 60 regras de in0erncia Ieliminao e introduoL para cada um dos 5 operadores l%gicos 'e<amos o seguinte e4emplo8 C(:.( C: i . aL pro-ar pelo uso da & '

bL # argumento + -1lido por5ue pode ser deri-1-el pelas regras de in0erncia . deri-ao + a seguinte8 6L C 2L : . 3L C : 4L : 5L . ! ! ! 6(3 *! I EL 2(4 *! I EL

.s trs primeiras suposi"es da resoluo tm um ! ao lado( indicando 5ue cada uma delas + uma premissa Ento( dedu3imos a concluso j.k em duas etapas de racioc?nio . primeira etapa + das linhas 6 e 3 para a linha 4 . :egunda etapa + das linhas 2 e 4 para 5 #s n>meros ` direita denotam as linhas das 5uais 4 e 5 so deri-adas .s duas etapas tem a mesma 0orma Cada uma delas + uma inst]ncia da primeira das 60 regras de in0erncia( denominada modus ponens 5ue chamaremos j*!k a) Modus Ponens: do condicional IL e seu antecedente( podemos in0erir seu conse5uente 7 *odus ponens + a regra de eliminao para condicional E87: Pro1e: a! IC /L( a!(C i / b) liminao da ne!ao .HE0: a partir de uma e4presso aap( podemos in0erir p E48 ;o + -erdade 5ue Het>lio 'argas no 0oi presidente E87: Pro1e: Pro1e: a! aaC( aaa! i C

Apostila de Lgica para a computao

s 36 regras de $n;erJncia
37 E7 47 F7 M7 Modus Ponens: do condicional IL e seu antecedente( podemos in0erir seu conse5uente 7 *odus ponens + a regra de eliminao para condicional liminao da ne!ao .HE0: a partir de uma e4presso aa( podemos in0erir E48 ;o + -erdade 5ue Het>lio 'argas no 0oi presidente "ntroduo da con#uno .7$0: a partir de duas e4press"es 5uais5uer e ( podemos in0erir a con<uno das duas e4press"es8 6 p 2 ? 3 p7? 3<E 7$ liminao da con#uno .7E0: ,e uma con<uno 5ual5uer( podemos in0erir 5ual5uer um dos seus con<unctos8 6 p7? 2 ? 3 7E

"ntroduo da dis#uno .G$0: a partir de uma e4presso 5ual5uer ( podemos in0erir a dis<uno de com outra 0%rmula proposicional Ie4pressoL 5ual5uer I pode ser o primeiro ou o segundo dis<uncto desta dis<unoL 6 p 2 pG? 3 G$ E48 Eo<e + se4ta-0eira :e a a0irmao 0or -erdadeira( a a0irmao8 Eo<e + :e4ta-0eira ou :1bado tamb+m + -erdadeira liminao da dis#uno .GE0: ,e e4press"es 5uais5uer( na se5dncia K ( e ( podemos in0erir a e4presso 6 pG? 2 p r 3 ? r 4 r 3<E<4 GE ,essa 0orma( a partir das premissas8 ho<e + :1bado ou ho<e + ,omingo( se ho<e + :1bado ento + um 0im de semana I: 2L( se ho<e + ,omingo ento + um 0im de semana( segue se ho<e + um 0im de semana Pro1e N7 57 "ntroduo do bicondicional .$08 de duas e4press"es 5uais5uer( na 0orma e ( podemos in0erir a e4presso 6 p ? 2 ? p 3 p? 3<E $ liminao do bicondicional .E08 de uma e4presso 5ual5uer( na 0orma ( podemos ento in0erir ou 6 p? 2 p ? 3< E

@7

.s regras B e 60 di0erem das A demais por empregarem racioc?nio baseado em hip%teses .s hip%teses no so declaradas como -erdadeiras( elas so Warti0?cios l%gicosX( as 5uais acolhemos temporariamente como um tipo especial de estrat+gia de pro-a :uponha 5ue um corredor machucou o <oelho( uma semana antes de um grande <ogo( e temos 5ue persuad?-lo a parar de correr por alguns dias a 0im de 5ue o seu <oelho sare .0irmamos8 W:e -oc continuar correndo( no poder1 <ogar na pr%4ima semanaX :ua resposta8 W*e pro-e issoX &em-se ento as seguintes premissas8 aL :eu <oelho est1 inchado bL :e seu <oelho est1 inchado e -oc continuar correndo( ele no ir1 sarar em uma semana cL :e seu <oelho no sarar em uma semana( -oc no estar1 apto a <ogar o pr%4imo <ogo "ntroduo da implicao ou Prova do condicional . $ ou PC0 ,ada a deri-ao de 5 a partir de uma hip%tese p( podemos descartar a hip%tese e in0erir p ? E4 !ro-e o argumento anterior !remissas8 )8 Doelho )nchado C8 Continuar correndo :8 Doelho ir1 sarar em uma semana .8 Estar1 apto a <ogar na pr%4ima semana C7 . partir dessas premissas( 5uer-se concluir 5ue8 &e o Bogador continuar correndo< no estar apto a Bogar na pr8ima semana 367 "ntroduo da ne!ao ou $eduo ao absurdo .H$ ou ' uma hip%tese p( podemos descartar a hip%tese e in0erir Hp 0 ,ada a deri-ao de uma contradio a 5 a5 partir de

,essa 0orma( se assumirmos p como hip%tese e ao 0inal temos 5 a5( concluimos o contr1rio da hip%tese IapL por /.. E87 Pro1e: p 5( a5 i ap 6 p5 p 2 a5 p 3 p O 4 5 3<4 MP 5 5 a5 E<F 7$ 6 ap 4<M '

Apostila de Lgica para a computao

-%

E8erc9cios para compreenso e ;i8ao das regras de in;erJncia:

MP . E0 aL ap5( ap i 5 bL apI5rL( ap( 5 i r HE cL t aap( pa5( t i a5 dL ap aa5( aaap i 5 7$ eL p 5( rs( p( r i 5 s 7E 0L p I5 rL( p i p 5 gL p 5 i 5 p hL Ip 5L Ir sL( aap( 5 i s iL p i p p <L ap 5 u( aaap( s5( 4r s( 4 i u \L s IIp 5LaarL( p 5( t s i r t G$ lL p i IpK5L IpKrL mL p( aaIp5L i 5K a5 nL p( aaIp5L i Ir sLK5 oL p i pKp GE pL Eo<e + :1bado ou ,omingo :e ho<e + :1bado( ento + 0im-de-semana :e ho<e + ,omingo( ento + 0im-de-semana Conclui-se 5ue ho<e + 0im-de-semana 5L IpK5L IpKrL( ps( 5s( pt(rt i s t rL pKp( pI5 rL i r

$ sL p5( Ip5L I5pL i p 5 tL p 5 i 5 p uL sIrpL( a s( pr i IprL K 5 -L aaIp4L( aaI54L( 4 p\( pK5( \u i u E lL Eo<e + 0im-de-semana se e somente se ho<e 0or :1bado ou ,omingo Eo<e + :1bado Ento( ho<e + 0im-de-semana
'egras hipotticas: PC . $0 aL i( Ii cLas( asaa i c aa bL p 5( 5r i pr cL p i Ip5L 5 dL Ip 5Lr i p I5rL eL p K 5 i 5 K p 0L Ip 5L K Ip rL i p I5KrL ' gL hL iL <L \L lL mL nL oL . H$0 p5( a5 i ap p a5 i aIp 5L ap p i p saa- i a- as Ias -Lap( p( - i s aIap a5L( ap i 5 ap K a5 i aIp 5L p5 i apK5 a I p 5L i ap K a5

E8erc9cios complementares aL IgKnL ac i ~~c ~(g+n) 37 ,ormaliKe e pro1e os seguintes argumentos usando as 36 regras de introduo e eliminao: c . concluso deste argumento + -erdadeira p .s premissas deste argumento so -erdadeiras s Este argumento + correto 1 Este argumento + -1lido aL bL cL dL eL 0L gL hL iL <L \L lL Este argumento no + incorreto !ortanto( este argumento + correto Este argumento + correto !ortanto( este argumento no + incorreto :e este argumento 0or correto( ento ele ser1 -1lido Ele no + -1lido !ortanto( ele no + correto :e este argumento 0or correto ento ele no ser1 in-1lido Ele + correto ,a?( ele + -1lido :e este argumento 0or correto ento ele no ser1 in-1lido .ssim( se ele 0or in-1lido( ento ele ser1 incorreto Este argumento + correto e -1lido !ortanto( Ele + correto ou ele + in-1lido Este argumento no +( ambos( correto e in-1lido Ele + correto !ortanto( ele + -1lido Este argumento + correto sse todas suas premissas 0orem -erdadeiras :uas premissas no so -erdadeiras !ortanto( ele + incorreto :e a concluso deste argumento 0or no--erdadeira( ento este argumento + incorreto .ssim sendo( no + o caso 5ue este argumento + correto e sua concluso no--erdadeira :e este argumento 0or incorreto e -1lido( nem todas as suas premissas so -erdadeiras &odas as suas premissas so -erdadeiras Ele + -1lido !ortanto( ele + correto :e este argumento 0or -1lido e todas as suas premissas 0orem -erdadeiras( ento ele ser1 correto :e ele 0or correto( ento sua concluso + -erdadeira &odas suas premissas so -erdadeiras !ortanto( se este argumento 0or -1lido ento sua concluso ser1 -erdadeira #u este argumento + incorreto ou( caso contr1rio ele + -1lido e todas suas premissas so -erdadeiras Ento( ele + incorreto ou -1lido

Apostila de Lgica para a computao

-&

Teoremas
&eorema se di0erencia de argumento pelo 0ato de no ter nenhuma premissa( somente concluso :ua pro-a + ento baseada somente em hip%teses( 5ue so descartadas por !C ou /.. E4emplos8 i P (P+Q) i P ((P Q) Q) i P ~~P i P + ~P 'imos em uma aula anterior e?ui1alJncia lgica Cuando a bicondicional entre duas e4press"es resultar em uma tautologia di3emos 5ue essas e4press"es so e5ui-alentes .tra-+s das regras de in0erncia podemos tamb+m pro-ar a e5ui-alncia l%gica entre duas e4press"es E4emplo8 para pro-ar a e5ui-alncia entre as e4press"es8 aI! CL e a! K aC representar?amos como na letra aL8 i ~(P.Q) ~P + ~Q i ~(P+Q) ~P . ~Q

Estrat8gias para provas

;o h1 uma 0orma >nica de se construir uma pro-a :e um argumento pode ser pro-ado( ele pode ser pro-ado por di0erentes trocas de regra Ento( algumas estrat+gias a<udam( embora alguns problemas re5ueiram ainda( habilidade e engenhosidade

strat%!ias para prova& &e a concluso ;or ,rmula atPmica ,rmula negada ConBuno DisBuno Ento ;aa
:e nenhuma ao parece ser imediata( coloca-se como hip%tese a negao da concluso para /.. :e isso 0or bem - sucedido( ento a concluso pode ser obtida depois de /.. por HE Coloca-se como hip%tese a concluso( sem o s?mbolo da negao( para /.. :e resultar uma contradio( a concluso pode ser obtida por /.. !ro-e cada um dos con<unctos( separadamente e ento 0aa a con<uno deles com 7$ - &enta-se pro-ar os condicionais necess1rios para GE caso tenha K nas premissas - :e no der certo pode-se usar como hip%tese a negao da concluso e tenta-se /.. - !ode-se tamb+m pro-ar um dos seus dis<unctos e aplicar G$ Coloca-se como hip%tese o seu antecedente e deri-a-se o seu conse5dente por !C Use !C( duas -e3es( para pro-ar os dois condicionais necess1rios para se obter concluso por

Condicional "icondicional

I.

.s 60 regras de )n0erncia Ipermitido utili3ar em pro-aL

6 2 3 4 5 6 @ A B 60
Modus Ponens: . E0 .MP0 do condicional I L e seu antecedente IL( podemos in0erir seu conse5dente I L liminao da ne!ao .HE0: a partir de uma e4presso aa( podemos in0erir "ntroduo da con#uno .7$0: a partir de duas e4press"es -1lidas 5uais5uer e ( in0erimos con<uno das duas8 liminao da con#uno .7E0: ,e uma con<uno 5ual5uer ( podemos in0erir ou "ntroduo da dis#uno .G$0: a partir de uma e4presso ( podemos in0erir a dis<uno de com 5ual5uer e4presso liminao da dis#uno .GE0: ,e e4press"es 5uais5uer( na se5dncia K ( e ( podemos in0erir "ntroduo do bicondicional . $08 de duas e4press"es 5uais5uer( na 0orma e ( podemos in0erir liminao do bicondicional . E08 de uma e4presso 5ual5uer( na 0orma ( podemos ento in0erir ou "ntroduo da implicao .$0 .PC0 ,eri-ando a partir de uma hip%tese ( descartamos a hip e in0erimos "ntroduo da ne!ao .H$ ou ' 0 ,eri-ando Ka a partir de uma hip%tese ( descartar a hip e in0erimos a

Apostila de Lgica para a computao

-)

Regras de E7uival6ncia ou 9lge'ra das proposi"es

6 2 3 4 5 6 @ A

$ei da dupla negao8

)dempotncia8

f f

Comutati-idade8 .ssociati-idade8 .(.) (.).

,istributi-as8 .(+) (.) + (.) ,e *organ

Eliminao da Condicional8 Eliminao da =icondicional8

aL bL cL dL eL 0L gL hL

B /egras para .bsoro8

F
V

V
F F

V V
F

:orma *ormal 1is/untiva

Literais8 :o letras sentenciais ou nega"es de letras sentenciais8 a( ( p ConBuno ;undamental8 con<uno de 2 ou mais literais sem repetir a letra sentencial8 a b( c( ab c ,orma Normal DisBunti1a8 ,i3-se 5ue uma e4presso est1 na ,ND se8 aL + uma letra sentencial( bL uma con<uno 0undamental ou cL a dis<uno de 2 ou mais con<un"es 0undamentais( nenhuma das 5uais inclu?da em outra .ssinale as e4press"es 5ue esto na 2;,8 I L a b ac I LabKc I La I LbKb I L a ab ac K a b K a ac I LabKc I LKb I L a b K c ab

Apostila de Lgica para a computao

-#

E2emplo de simpli;icao utili<ando as regras de e7uival6ncia

E8presso: x.a . y.b a.x aL /esoluo 0orma con-encional IrecomendadoL8

x.a . y.b a.x x.a . y.b a.x N .+ ~ = + ~ y.b a.x b y a.x

bL /esoluo segundo m+todo Ino recomendadoL8 !rimeiro passo8 trans0ormar a e4presso para a ,orma Normal Dis<unti-a Completa I ,7N7D7CL

x.a . y.b a.x x a . y b a.x a. b a. y x b x y a.x . . a. b . V a. b . x x a. b . x. y y x y . y a. y x.y y b . x.y x. x . x b. a. y . b.x b. x b. x x. b . a.y a. y a.y y a. a x. y . a.b a. b a.b b . b . a. x . b.y b. y b.y y

. x. x a. y a. y a. ya y b.x. b. x . b . b. . . x . x . x . x N a. b y a. y . y a. b . b . y a. b . . x . x N a.b. x y a. b ya y a. y . . . b. x . b . x.y a. b. x. N a.b.x.y a.b.x. y a. b. y

N

x.y a. x. x x N a. y a. y b. b. b. . y a. b. .

:egundo passo8 :impli0icar atra-+s de *apa marnaugh x y 00 ab 00 7 06 66 60 7 7 7 7 7 7 06 7 66 7 60 7 7 7 7

/esultado8 b y a.x

Concluso: .ssim como neste e4erc?cio( e4istem -1rias situa"es em nossa -ida 5ue podemos optar por mais de um caminho para chegar ` resoluo de um problema :e a resoluo est1 muito di0?cil( + pro-1-el 5ue ha<a um caminho mais 01cil para resol-er ,e-e-se atentar a isso principalmente na programao( onde um c%digo otimi3ado resulta em tamanho menor( maior per0ormance na e4ecuo e menos trabalho na elaborao

Apostila de Lgica para a computao

-,

E8erc9cios !ara cada uma das e4press"es abai4o8 aL utili3ando as regras de e5ui-alncia( trans0orme a e4presso para 2 ; , bL simpli0i5ue a e4presso ao m14imo 6 2 3 4 5 6 @ A B 66 a- b b
a- b b

36 a-b- b-a c-a 32 b-a- b-a b-a b-a 33 b-a- b-c b-c a-b 34 .-x x-. . x 35 x x-. . x . x . x 36 .-x x x .-x x . x 3@ 3A 3B .-x x-. . x .-x x-. . x .-x x-. .-x .-x x-. . x .-x x-. .- x

b-a a
b-a a

a- b b
ab b

b- a a
b- a a

b- a a x . .

60 a b b 62 a- x x 63 a- . . 64 65 66 6@
x . x -

40 p r p
p 46 p r

42 p r p-r 43 p-r r p-r

p r p 44

.- x x
. x - x

45 p-r p-q- r p p-r 46 p-r r p-r p p 4@ p-r r p-r p p 4A p-q r p-r 4B p r 50 p r 56 p r 52 p-r r 53 p r p p p-r p p p-r p-r

.- x x

6A a-b b a 6B a-b a . x 20 26 22 23
x-a- .-b x-a

.- x x-.
. .- / - x x-

.-x x-. .

24 a-b a-c- b 25 b-a c-b b-c 26 2@ 2A

.- x x-x

54 p-r r p-r p 55 p-q r

. - x x-.- / x-. x-. .

2B a-b a-a- b 30 b-a- c-a b-a

Apostila de Lgica para a computao

!"

Circuitos !gicos
Um circuito l%gico nada mais + do 5ue a combinao de -1rias portas lgicas com o ob<eti-o de reali3ar uma determinada tare0a # processador de um computador no dei4a de ser um aglomerado de circuitos l%gicos

Cual5uer operao 0eita em um computador( por mais comple4a 5ue se<a( + deri-ada de combinao de tare0as l%gicas e aritm+ticas simples tais como somar bits( mo-er bits( etc !ode-se implementar um circuito l%gico simples em um circuito )ntegrado .bai4o + apresentado o circuito *C542M@4200 da *otorola( composto de -1rias portas ;.;,
VCC

GND

Uma 0erramenta bastante simples 5ue pode ser utili3ada para pro<etar e testar circuitos l%gicos + a Di!ital QorRs .bai4o so apresentadas as op"es da 0erramenta 5ue aparecem na tela principal e os passos para pro<etar um pe5ueno circuito I6L I2L I3L

Apostila de Lgica para a computao

!-

=inimi<ao
. minimi3ao consiste em determinar m+todos para se encontrar um circuito mais simples Ii e mais baratoL e5ui-alente a uma e4presso IcircuitoL dada :uponhamos uma determinada e4presso E4istem -1rias 0ormas de se minimi3ar essa e4presso8 6- Utili3ar as regras de e5ui-alncia para encontrar a 2;, mais simples 5ue represente a e4presso I0uno de -erdadeL dada 2- Utili3ar o m+todo 0igurati-o denominado mapas de marnaugh Isomente pode ser utili3ado para simpli0icar e4press"es 5ue esto na 2;,C

=apas de >arnaugh
g con-eniente sua utili3ao para problemas 5ue en-ol-am no m14imo 6 letras sentenciais Mapas de Sarnaugh para E letras sentenciais ;este caso o mapa + baseado na 0igura 6 Cada 5uadrado do mapa representa uma conBuno ;undamental entre as letras das linhas e colunas ;a 0ig 2 est1 sendo representado . = K S = ;a 0ig 3 est1 sendo representado . = K S = K . a=
. n
=

. n

. n

0 6 2igura 6

0 6 2igura 2

0 6 2igura 3

# processo de simpli0icao consiste em <untar 5uadrados ad<acentes de 2 em 2( tracando uma o-al ao redor de cada par # literal 5ue di0ere de um 5uadrado para outro dei4a de e4istir ;este caso( dois 5uadrados ad<acentes representam uma >nica letra sentencial 'e<a o e4 da 0ig 2 = 0 6 . n ;o de-e-se dei4ar nenhum ponto WsoltoX no mapa( de-endo cuidar para 0a3er o 0 menor n>mero poss?-el de liga"es 6 !ara todos os tipos de mapas( 5uando se tem todos os 5uadrados preenchidos( a 2igura 4 simpli0icao resulta em ' I'e<a a representao de .=KS=K.abKSa= na 0ig 4L

Mapas de Sarnaugh para 4 letras sentenciais ;este caso( o mapa pode ser montado como na 0igura 5 ou como na 0igura 6
=C

. n

00

06

66

60

.= n

0 6 2igura 5 E48 Sa=aCK S=aC I0iguras 5 e 6L

00 06 66 60 2igura 6

de-e-se cuidar apenas o seguinte detalhe ;esses mapas 0oi utili3ada a rotulao 00(06(66(60 de 0orma 5ue 5uando se passa de um 5uadrado para o 5uadrado ad<acente muda-se apenas um literal Um ponto isolado no mapa representa a con<uno de 3 literais E8emplo: "C na 0igura @

,ois 5uadrados ad<acentes di0erem em apenas um literal )sso signi0ica 5ue o literal 5ue di0ere de um 5uadrado para outro dei4a de e4istir E4emplo8 2igura A

Apostila de Lgica para a computao

!!

. n

=C

00

06

66

60

. n

=C

00

06

66

60

0 6 2igura @

0 6 2igura A

Cuatro 5uadrados 0ormando uma rede 5uadrada ou arran<ados em linha representam um >nico literal 2iguras B e60 =C =C 00 06 66 60 00 06 66 60 . n . n 0 6 2igura B 0 6 2igura 60

Resolva:
aL abacKaabcKabcKabac bL abacKaabacKaabcKabcKabacKbac cL bacKaabcKbcKabacKbac dL abacKaabacKaabcKabcKbac

. n

=C

00

06

66

60

. n

=C

00

06

66

60

0 6 aL
. n
=C

0 6 bL 66 60
. n
=C

00

06

00

06

66

60

0 6 cL Mapas de Sarnaugh para F letras sentenciais

0 6 dL

g semelhante ao mapa de 3 letras sentenciais ;este caso( uma linha inteira ou coluna inteira representa a con<uno de 2 letras sentenciais aL ab ac adKabacdKabcKabcd bL abac adKaabac adKbac adKaaabacad cL abacdKaabcdKabcdKabacd dL abac dKaabac adKaabc dKabcadKabacadKbacad
. n
=C

00

06

66

60

. n

=C

00

06

66

60

00 06 66 60 aL
. n
=C

00 06 66 60 bL 66 60
. n
=C

00

06

00

06

66

60

00 06 66 60

00 06 66 60

Apostila de Lgica para a computao

!$

E2erc?cios de !gica 1a parte

6L ,etermine a 0orma sentencial Iprimiti-aL e5ui-alente ao circuito l%gico abai4o8

2L !ara uma tabela--erdade 5ue utili3a as letras .( = e C cu<o resultado + ''222'''( determine8 aL a e4presso na 2;, completa bL a e4presso simpli0icada cL monte o circuito l%gico e5ui-alente ` e4presso simpli0icada 3L ,etermine a 2;,C para8 aL .K S K.C, bL .= K aC 4L Utili3ando os mapas de marnaugh( simpli0i5ue8 aL l 4 F 3 K l 4 F 3K l 4 F 3 K l 4 F 3 K l 4 F 3 K l 4 F 3 bL a b c K a b c K a b c K a b c aL 00 06 66 60 00 06 66 60 bL 0 6 00 06 66 60

5L , a e4presso simpli0icada para os seguintes mapas de \arnaugh8

a) '' '1 11 1' c) '' '1 11 1'

'' 0 0 0 0 '' 0 0 6 0

'1 6 0 0 6 '1 6 0 0 6

11 6 0 0 0 11 6 0 0 6

1' 6 6 6 6 1' 0 0 6 0

b) '' '1 11 1' d) '' '1 11 1'

'' 0 6 6 0 '' 6 0 0 6

'1 0 6 6 6 '1 6 6 6 0

11 0 6 6 0 11 0 0 6 0

1' 0 6 6 0 1' 6 0 0 6

Apostila de Lgica para a computao

e) '' '1 11 1'

'' 0 0 6 0

'1 6 6 6 0

11 0 6 6 6

1' 0 6 0 0

() '' '1 11 1'

'' 6 6 6 0

'1 6 6 6 0

11 0 0 6 6

1' 6 0 6 6

E2erc?cios de !gica #a parte ,pr@tica.

Construa os seguintes circuitos lgicos 'utili.e a ferramenta digital /or0s para conferir( 6L Um conselho municipal consiste de !residente( secret1rio( tesoureiro e um -ereador :o apro-ados os pro<etos 5ue conseguirem a maioria simples dos -otos ou o -oto do presidente e mais 6 Construa um circuito l%gico simpli;icado 5ue indi5ue a apro-ao do pro<eto 2L Uma c]mara municipal consiste de !re0eito( !residente do Conselho da Cidade( :uperintendente e trs presidentes de distrito # -oto de cada um tem peso 6 Um pro<eto 5ue conseguir a maioria simples dos -otos + apro-ado( contanto 5ue no se<a impugnado por nenhum dos presidentes dos distritos Construa um circuito l%gico simpli;icado 5ue indi5ue a apro-ao do pro<eto 3L :e<a um n>mero inteiro no negati-o menor do 5ue 65 dado por sua representao bin1ria a3a2a6a0 Ipor e4emplo( se o inteiro 0or 3( a3Na2N0 e a6Na0N69 en5uanto se o inteiro 0or B( a3Na0N6 e a2Na6N0 Construa a e4presso e o circuito l%gico correspondente ` condio de 5ue o inteiro dado se<a primo E48 38 0 a3 0 a2 6 a6 6 a0

5L !ro<ete um circuito para um sistema de alarme de uma casa Uma -e3 5ue o sistema + ligado( ele soar1 um alarme 5uando a porta da 0rente( porta de tr1s ou a <anela dos 0undos esti-erem abertas Isomente uma <anela est1 ligada no alarme L Considerando : como a e4presso do circuito( :NO Utili3e as seguintes letras sentenciairs8 Ialarme ligado ou desligadoL( DIporta da 0renteL(" Iporta de tr1sL( #I<anela abertaL e &Isoa o alarmeL :N 6L Construa um circuito l%gico 5ue indi5ue 5uando um n>mero de 0 at+ @ + di-is?-el por 3 . entrada de-e ser em n>mero bin1rio @L Construa um circuito l%gico 5ue indi5ue os pares de 0 at+ @ AL . tabela abai4o con-erte um n>mero de 4 bits para o c%digo W graF codeX Construa os circuitos para 0a3er essa con-erso e utili3a os mapas de \arnaugh para simpli0icar a soma-de-produtos resultante8

abcd )*+,
0000 0006 0060 0066 0600 0606 0660 0666 6000 6006 6060 6066 6600 6606 6660 6666 0000 6000 6600 0600 0660 6660 6060 0060 0066 6066 6666 0666 0606 6606 6006 0006

W= X= Y= Z=

BL g poss?-el repro<etar o circuito do problema acima IanteriorL utili3ando somente portas ;.;, e in-ersores Iportas ;S#LO Em caso a0irmati-o( pro<ete o circuito e em caso negati-o( e4pli5ue o por5u

Apostila de Lgica para a computao

!%

60LConsiderando um es5uema de trans0ormao de um n>mero de #C&.$ Ibase AL para bin1rio Ibase 2L( onde h1 @ $E,: representando os n>meros octais Ide 0 at+ @L sendo 5ue por e4emplo( para representar o n>mero 4 de-e-se dei4ar ligado somente o $E, do d?gito 4 I,4L na entrada( construa um circuito l%gico onde as 3 saidas I$E,:L representem Iem bin1rioL o n>mero colocado na entrada E;&/.,.:
,6 0 6 0 0 0 0 0 0 ,2 0 0 6 0 0 0 0 0 ,3 0 0 0 6 0 0 0 0 ,4 0 0 0 0 6 0 0 0 ,5 0 0 0 0 0 6 0 0 ,6 0 0 0 0 0 0 6 0 ,@ 0 0 0 0 0 0 0 6 ,ecimal 0 6 2 3 4 5 6 @ V 0 0 0 0 6 6 6 6

:.R,.:
o 0 0 6 6 0 0 6 6 _ 0 6 0 6 0 6 0 6

-$( Construa um circuito lgico para simular ! sinaleiras de uma rua, uma em sentido contr1rio 2 outra, cada uma contendo as $ lu.es '*erde, amarela e *ermelha( de forma 3ue 3uando uma a4re, a outra feche seguindo a se3uncia5

&ra'alho ,em duplas e deve ser entregue at8 dia AAAAAA. 667 8n*ente $ e9erc:cios semelhantes aos anteriores 'parte pr1tica( e resol*a6os. Endereos sugeridos para material e2tra: http5;;fiddle.*isc.*t.edu;courses;ee!%" ;com4inational;logic<"-.html http5;;===.eece.unm.edu;facult>;de*ries;Net;?ome=or0;4oolean.html

Apostila de Lgica para a computao

!&

E8erc9cios de Lgica IParte prtica > 'esoluo do 3E e 34

-!( Considerando um es3uema de transformao de um n@mero de ACTAL '4ase #( para 4in1rio '4ase !(, onde h1 ) LEBC representando os n@meros octais 'de " atD )( sendo 3ue por e9emplo, para representar o n@mero de*e6se dei9ar ligado somente o LEB do d:gito 'B ( na entrada, construa um circuito lgico onde as $ saidas 'LEBC( representem 'em 4in1rio( o n@mero colocado na entrada. E;&/.,.:
,6 0 6 0 0 0 0 0 0 ,2 0 0 6 0 0 0 0 0 ,3 0 0 0 6 0 0 0 0 ,4 0 0 0 0 6 0 0 0 ,5 0 0 0 0 0 6 0 0 ,6 0 0 0 0 0 0 6 0 ,@ 0 0 0 0 0 0 0 6 ,ecimal 0 6 2 3 4 5 6 @ V 0 0 0 0 6 6 6 6

:.R,.:
o 0 0 6 6 0 0 6 6 _ 0 6 0 6 0 6 0 6

V N ,4 K ,5 K ,6 K ,@ 8 ;a -erdade o correto seria a,6 a,2 a,3 ,4 a,5 a,6 a,@ K o N ,2 K ,3 K ,6 K ,@ _ N ,6 K ,3 K ,5 K ,@

( mas sup"e-se 5ue o usu1rio s% escolha 6 d?gito I,4L no caso

A e9erc:cio est1 resol*ido. Apenas como curiosidade, poderia6se fa.er aparecer o n@mero em um mostrador digital. Bessa forma, segundo o e9emplo acima, um mostrador de*eria mostrar o n@mero %. Para isso, inicialmente ter:amos 3ue inserir um LEB e desenhar todos os n@meros de - a )5

Em seguida de*emos, para cada um dos n@meros de " atD ), indicar 3uais leds de*ero ser acesos5
0 0 0 0 6 6 6 6 . 0 0 6 6 0 0 6 6 / 0 6 0 6 0 6 0 6 01 6
6 6 6 6 6 6

02 6 6 6 6 6

01 6 6
6 6 6 6 6

02 6
6 6

03 6
6

04 6

05

6 6 6 6 6 6 6

Podemos agora, definir o circuito independente de cada uma das FpartesG do LEB, pois como e9emplo, a parte FL-G ficar1 ligada 3uando ti*ermos um destes n@meros5 ",!,$,%,&,). A circuito para a FparteG do LEB L- ento seria5

6 6 6

Be*emos depois, simplificar o circuito da FparteG L- atra*Ds de mapa de 0arnaugh 4em como os circuitos das outras partes 'L!6L)(. L L%
'' 0 7 6 7 7 06 66 7 60 7 7 0 6 00 7 06 66 60 7 7 0 6

L00 0 6 7 7 06 66 7 7 60 7 7

L!
00 0 6 7 7 06 7 66 7 7 60 7

L$
00 0 6 7 7 06 7 7 66 7 7 60

L&
00 7 7 7 7 06 66 60

L)
00 0 6 7 7 06 66 7 60 7 7

L-E L!E L$E L E L%E L&E L)E

Apostila de Lgica para a computao

!)

A circuito final D apresentado a4ai9o5

L1 L2 L3 L4 L5 L6 L7

-$( Construa um circuito lgico para simular ! sinaleiras de uma rua, uma em sentido contr1rio 2 outra, cada uma contendo as $ lu.es '*erde, amarela e *ermelha( de forma 3ue 3uando uma a4re, a outra feche seguindo a se3uncia5
L1 L2 L3 L4 L5 L6

0 0 0 0 6 6 6 6

.
0 0 6 6 0 0 6 6

/
0 6 0 6 0 6 0 6

01
6 6 6

02

01

02

03
6

04
6

6 6 6 6 6 6

6 No est1gio - teremos as lHmpadas - e & acesas 'L- e L&( 6 No est1gio ! teremos as lHmpadas - e % acesas 'L- e L%( 6 No est1gio $ teremos as lHmpadas - e acesas 'L- e L ( 6 No est1gio teremos as lHmpadas $ e acesas 'L$ e L ( 6 No est1gio % teremos as lHmpadas ! e acesas 'L! e L ( 6 No est1gio & teremos as lHmpadas - e acesas 'L- e L ( Be*emos agora construir os & circuitos5 L-, L!, L$, L , L% e L&

Como so seis lHmpadas de sinaleira no total 'considerando as ! sinaleiras( de*emos construir & circuitos independentes. Como so & com4inaIes de sinaleiras, precisamos de pelo menos $ 4its, 3ue possi4ilita # com4inaIes '"6)(. L00 0 6 7 06 7 7 66 60 7 0 6 7

L!
00 06 66 60

L$
00 0 6 06 66 7 60

L
'' 0 6 7 7 06 66 7 60 7

L%
00 0 6 06 7 66 60

L&
00 0 6 7 06 66 60

L-E L!E L$E L E L%E L&E

Apostila de Lgica para a computao

!#

30) a-b- c-a b-a b-a c-a b-a b-a b-a c-a v 31) a-b- b-a c-a a-b a-b a-c a-b a-c 32) b-a- b-a b-a b-a a-b a-b a-b a-b a-b 33) b-a- b-c b-c a-b a-b b-c b-c a-b v 34) .-x x-. . x x-. . x x-.

41)

p r p p r p r p p r p-r p r pr p r p r p r p r p r p-r r p-r p-r r p r p-r r p r p-r- r p r F p r p r

p r p p r p p r p p r p p

4 )

p r p p r p p r p p p r p - p r-p r-p F r-p

p r p p r p p r p p p rp p r p p r- p p- r p p- r p r

42)

50)

43)

44)

51) p-r r p-r p r p-r r p r r p r V p r V- p r F- p r p r

35) x x-. . x . x . x x . x x . x x . x x-x x-. x x-. 45) x 36)

37)

38)

3 )

40)

52) p r p-r p r p-r p r p-r - p r p r p r p-r p-r p-q- r p p-r p p p r r p r- r F - p-r p q r p p-r p p r r- p F - p-r p p r- p p - r q - r p p-r p-r r q - r p p-r p r p 53) p r r p p-r .-x x x .-x x . x p r p p r p V p-r x x v x p- p r- p p r p F p-r x x F rp F p r x r- p p-r r p-r p p .-x x-. . x p-r r p-r p p p-r r p-r p p 54) 46) .-x x-. . x p-r r p-r p p p r r p-r p p .-x f-x r p p V p p x-. r p p F p p r p p r p p .-x x-. . x .-x x-. .-x p p r p p - p p-p r x-. .-x x-. .-x v r p p rp x-. .-x p r- p v 47) p-r r p-r p p pr p-r r p-r p p .-x x-. . x .-x x-. .- x r p-r p p 55) p-q r p-r r p p .-x .-x x-. .- x p-q r p-r r p p .-x .-x .- x p-q r p-r r p V .- x p-q r p-r v p-q r p-r p-q r p-r 48) p-q r p-r p q r p r p-q r p-r p r p p-q r p r p r q r p r p-q-p-r p-r-r - p r p p-q r p r p p p r r q r p qr r - r - p r p p-q r r p p r p r q r pq r p-r - - - p r p p p-q V p p r q r p-r - p r p v p r q r p-r - p r p