Apostila Logica

1
Lgica Formal e Booleana
Instituto Federal de Santa Catarina Campus Chapec

Ensino Mdio Integrado em Informtica
Unidade Curricular: Lgica Formal e Booleana

Lgic is just the beginning of wisdom, not the end.
Dr. Spock
Professora:
Lara P. Z. B. Oberderfer
lara.popov@ifsc.edu.br
2011.
2
Sumrio
1 Lgica Formal................................................3
3.7 Construo da tabela-verdade para as
1.1 Para que serve a Lgica?.......................3
Frmulas Proposicionais.............................24
1.2 Conceitos de Lgica...............................4
3.8 Tautologia.............................................32
1.2.1 Argumento.......................................4
3.9 Contradio..........................................32
1.2.2 Contradio.....................................4
3.10 Contingncia.......................................32
1.2.3 Falcia............................................5
3.11 Implicao ou Equivalncia Lgica.....34
2 Breve histrico da Lgica...............................5
3.12 Argumentos Lgicos...........................36
2.1 Forma clssica antiga ou lgica grega
3.12.1 Validade de Argumentos.............37
antiga.............................................................5
3.12.2 Validade de um argumento atravs
2.2 Forma escolstica ou medieval..............6
da Tabela-verdade..................................38
2.3 Forma matemtica..................................6
3.12.3 Avaliao de um Argumento:
3 Linguagens Formais: Clculo Proposicional...7
Deduo e Induo.................................38
3.1 Charada: uma introduo ao uso de
3.12.4 Validade dos argumentos mediante
smbolos........................................................7
Regras de Inferncia...............................39
3.2 Argumentos ou Proposies...................9 4 Elementos Bsicos de Organizao.............44

3.3 Princpios Fundamentais da Lgica......11
4.1 Transistores..........................................44
3.3.1 Aplicao: Discusso da Famlia
4.2 Interruptores.........................................45
Logus......................................................11
4.3 Portas Lgicas .....................................46
3.4 Operaes lgicas sobre as proposies
4.4 lgebra booleana e Circuitos Lgicos...50
....................................................................14
4.5 Teoremas e Postulados Booleanos.......51
3.4.1 Conjuno.....................................14
4.5.1 Gerando Tabelas Verdade atravs
3.4.2 Disjuno......................................16
de Expresses Booleanas .....................53
3.4.3 Disjuno Exclusiva......................17
4.5.2 Gerando Expresses Booleanas
3.4.4 Negao........................................18
atravs de Tabelas Verdade...................54
3.4.5 Proposio condicional.................18
4.5.3 Gerando Expresses Booleanas
3.4.6 Proposio bicondicional...............19
atravs de Circuito Lgico.......................54
3.5 Tabelas-verdade...................................21 5 Bibliografia...................................................64

3.6 Frmulas Proposicionais.......................22
3
1 Lgica Formal
Ela, a lgica, lhe dar clareza de pensamento, a

habilidade de ver seu caminho atravs de um quebra-cabea,
o hbito de arranjar suas ideias numa forma acessvel
e ordenada, e, mais valioso que tudo, o poder de detectar as
falcias1 e despertar os argumentos ilgicos e inconsistentes
que voc encontrar to facilmente nos livros, jornais,
na linguagem quotidiana e mesmo nos sermes e que
to facilmente enganam aqueles que nunca tiveram
o trabalho de instruir-se nesta fascinante arte.
Lewis Carroll
Falcias: so formas de argumentos/proposies que parecem vlidas, mas se examinadas mas
detidamente no so.
1.1 Para que serve a Lgica?

Todo conhecimento logicamente perfeito tem sempre alguma utilidade possvel.
Mesmo que ela nos escape no momento, pode ser que a posteridade a descubra. (Kant, A
Lgica)
O objeto de estudo da lgica o argumento, tambm chamado de proposio e
tambm entender se o argumento vlido ou no. A lgica serve, em ltima instncia,
para nos dizer quando e estamos ou no diante de argumentos e quando estes so
vlidos.
O homem, no entanto, um animal essencialmente prtico e tem sempre a
necessidade de perguntar sobre a utilidade daquilo que estuda. Muitas vezes, entretanto,
por nos impacientarmos ao no conseguimos determinar a utilidade imediata de algumas
coisas, desistimos delas e perdemos grandes oportunidades em nossas vidas. Muitas
pessoas abandonam os estudos, achando que eles no lhe so teis. O tempo passa, e
esse indivduo um dia se depara com uma situao em que percebe a falta que o
conhecimento lhe faz. Ele pode voltar a estudar, claro, mas recuperar o tempo perdido
impossvel.
4
A lgica uma cincia que pode ser aplicada em vrias outras cincias e em
vrios ramos do conhecimento humano. Ela de fundamental importncia nas cincias da
computao. Quando o profissional de informao elabora um programa, ele geralmente
faz o fluxograma, ou seja, o desenho deste programa, que nada mais do que a
determinao dos passos lgicos necessrios para a sua elaborao, a partir destes
passos iniciais, os programas so desenvolvidos.
Mundo Real
Metalinguagem
Linguagem
Descreve o mundo real
Fala da linguagem que uso para descrever o mundo real
a cincia dos princpios da validade formal da inferncia (raciocnio realizado

atravs de uma linguagem). Estudo dos mtodos e princpios empregados para distinguir
corretas (boas) e incorretas (ms) argumentaes.
1.2 Conceitos de Lgica

1.2.1 Argumento
Um argumento constitudo de Afirmaes chamadas "Premissas". Todo
argumento deve ter uma concluso, que deve ser sustentada pelas premissas.
As premissas podem ser falsas ou verdadeiras.
Exemplo:
Premissa 1: "Todo ser vivo mortal" <Verdadeira>
Premissa 2: "Pedro um ser vivo"
<Verdadeira>
Concluso: "Pedro mortal".
<Verdadeira>
1.2.2 Contradio
Um dos princpios bsicos da lgica a "Lei da no contradio". Ou seja, uma
coisa no pode "ser" e "no ser" ao mesmo tempo. Por exemplo, no podemos afirmar
que "Deus justo" e ao mesmo tempo "Deus injusto".
Contradio quando se tem duas premissas que anulam a si mesmas, fazendo
com que qualquer concluso a que se chegue, baseada nestas premissas, seja
totalmente falsa.
5
Exemplo:
Premissa 1: Joo no tem carro.
Premissa 2: O carro de Joo azul.
Concluso: Ora, como que o carro de Joo azul se ele no tem carro?
1.2.3 Falcia
Falcia um raciocnio errado com aparncia de verdadeiro.
O termo deriva do verbo latino "fallere" que significa enganar.
Paralogismos: Falcias cometidas involuntariamente
Sofismas: So produzidas de forma a confundir algum numa discusso.
Na falcia, embora as premissas possam ser verdadeiras, no existe uma
inferncia lgica entre elas para sustentar a concluso apresentada.
Exemplo:
Premissa 1: Todos os americanos falam Ingls <Verdadeira>
Premissa 2: Jos fala ingls
<Verdadeira>
Concluso: Jos americano
<Falsa>
Ou seja, o fato de Jos falar Ingls no permite concluir que "Jos Americano"
porque "Nem todos que falam Ingls so americanos".
2 Breve histrico da Lgica

Para entender melhor a linha de pensamento que estudaremos, veremos um
breve histrico onde, pode-se dividir a lgica em trs perodos ou fases principais, que
caracterizam suas formas.
2.1 Forma clssica antiga ou lgica grega antiga

Perodo compreendido entre os sculos IV aC at o
sculo I dC. Destaca-se neste perodo o que se pode chamar de
trs grandes escolas: a dialtica sofstica, a lgica aristotlica e a
lgica
megrico-estica. A lgica
sofstica
destrutiva
transformada em dialtica construtiva por Plato, que tem o

mrito te abrir o caminho para a sistematizao aristotlica, que
se ope escola megrico-estica (esboo de uma lgica
sentencial) e a relega a segundo plano at data bem recente.
Figura 1: Aristteles, Museu

do Louvre
6
Nesta forma, as proposies lgicas constam de palavras da linguagem corrente

e sua base o pensamento como se encontra expresso na linguagem natural, que
fornece as leis e as regras formais.
Os principais nome ligados lgica megrico-estica so: Crisipo, Diodor Cronos;
aristotlica, Aristteles e Teofrasto; e dialtica sofstica, Zeno de Elia, Scrates e
Protgoras.
2.2 Forma escolstica ou medieval

Perodo criativo compreendido entre os sculos XI
e XV dC. Aps a escola megrico-estica, at o sculo XI
praticamente, nada se fez em termo de novidade na lgica,
pois simplesmente se repediam os ensinamentos de
Aristteles, com melhoria de algumas tcnicas para o
ensino. Foram os prprios medievais que estabeleceram
uma periodizao para a forma escolstica, que tem seu
incio com a Ars vetus, representada por Abelardo (10791142). A preocupao central o trabalho com as
Figura 2: Guilherme de Occam
Categorias e a Interpretao de Aristteles. Ao mesmo
tempo trabalha-se, como problema novo, com as propriedades dos termos. Em um

segundo momento, a forma escolstica caracteriza pela Ars Nova que tem como
principais representantes Alberto Magno (1193-1280) e Toms de Aquino (1227-1274).
Trabalha-se, neste sentido, com a totalidade do Organon de Aristteles. A lgica tem uma
tarefa mais elevada a realizar, ou seja, fortalecer o ensino da ortodoxia catlica. O terceiro
momento se d com a lgica modernorum, representada por Guilherme de Occam (12951350) e que se caracteriza pela elaborao de uma lgica formal e semitica.
2.3 Forma matemtica

Perodo que se inicia no sculo XVII. A poca do
Renascimento marcada pelo interesse em descobrir novos
mtodos que auxiliem a pesquisa cientfica e considera que
a lgica estril e acabada por Aristteles desde sempre. A
matemtica assume o posto de orientadora da pesquisa,
dando fundamento para os novos mtodos. A exceo
representada por Port Royal, que concebe a lgica como
Figura 3: George Boole,
matemtico e filsofo britnico,
criador da lgebra Booleana
7
arte de pensar melhor e no como teoria, uma disciplina prtica.

neste cenrio que surge Leibniz (1646-1716), como pioneiro da que se pode
chamar de lgica matemtica contempornea. Movido pelo ideal de uma lngua
caracterstica universal e considerando que a silogstica capaz de assegurar a
infalibilidade do raciocnio, reduzindo-o forma, bem como o clculo algbrico, que
outra forma de raciocnio, Leibniz se prope elaborar um sistema que domine essas
formas e seja aplicvel a todos os domnios do pensamento. Este ideal de Leibniz
determina o marco divisor do que se classifica como lgica clssica aristotlica e lgica
simblica moderna.
A primeira forma matemtica da lgica desenvolvida por Boole (1815-1864), que
compara as leis do pensamento (lgica) s leis da lgebra. O passo seguinte no
desenvolvimento da forma matemtica dado por Frege (1848-1925), que pretende
mostrar que a aritmtica poderia ser construda exclusivamente das leis da lgica. Os
estudos de Frege influenciaram os trabalhos de Bertrand Russel (1872-1970) e
Whitehead (1861-1947), que, em Principia Mathematica, sistematizam a lgica simblica,
servindo-se, para tanto, da simbologia de Peano (1858-1932), que conclui uma evoluo
anterior e , ao mesmo tempo, ponto de partida para a constituio do que se chama
metalgica.
3 Linguagens Formais: Clculo Proposicional

3.1 Charada: uma introduo ao uso de smbolos
Um homem estava olhando uma foto, e
algum lhe perguntou:
De quem esta foto?
Ao que ele respondeu:
No tenho irms nem irmos, mas o pai
deste homem filho de meu pai.
De quem era a foto que o homem
estava olhando?
1. Primeiramente devemos compreender o que est em questo: nesta charada
queremos saber de quem a foto que o homem olhava.
8
2. Devemos tambm verificar quais so os envolvidos na questo:

Primeiro envolvido: A pessoa que pergunta
De quem esta foto?, que
chamaremos de A.
Segundo envolvido: O homem que estava olhando a foto, que chamaremos de B.
Terceiro envolvido: O homem fotografado, que chamaremos de X, pois a
incgnita de nosso problema, ou seja, a pessoa que queremos saber quem .
3. Para a resoluo deste problema o sujeito A tem alguma importncia? No. Ento
vamos elimin-lo.
4. Analisemos o segundo envolvido, ou seja, o sujeito B.
Que informaes temos de B?
Informao 1: B no tem irmos nem irms.
Informao 2: O pai do homem da foto filho do pai do homem que olhava a
foto.
Substituindo os termos da informao 2 por smbolos temos:
O pai de X filho do pai de B.
Mas quem filho do pai de B? Filho do pai de algum ser sempre este algum e
seus irmos.
Filho do pai de B B e seus irmos.
Sabendo pela Informao 1, que B no tem irmos nem irms, ento o filho do pai
de B o prprio B.
Dica: se voc no entendeu, pergunte-se sobre quem filho de seu pai.
Substituindo temos:
O pai de X B.
B pai de X.
Se B pai de X, ento X filho de B. O problema est resolvido. Nossa incgnita,
o X, filho de B.
Deste modo: O homem da foto (X) filho do homem que olhava a foto (B).
Portanto, o homem olhava a foto de seu filho.
9
Repare que se torna muito mais fcil resolver um problema se:

utilizarmos smbolos ao invs de expresses;
analisamos cuidadosamente todos os elementos do problema.
Este o procedimento padro em Lgica.
3.2 Argumentos ou Proposies

A lgica simblica, tambm chamada de lgica formal, a parte da lgica que se
dedica ao estudo das formas dos argumentos. Ela construda a partir de linguagens
formais, que so constitudas apenas por smbolos, o que lhe permite abstrair o contedo
das proposies e atingir um grau de preciso que a linguagem quotidiana no possui.
necessrio, primeiramente estudar os smbolos que fazem parte dessa
linguagem formal e quais so as regras para a formao de suas proposies
(enunciados), aps isso, necessrio analisar o significado lgico dos smbolos que so
usados, isto , a sua contribuio para a verdade ou falsidade das proposies ou
argumentos em que eles ocorrem. Em funo destes princpios, pode-se constatar que tal
lgica essencialmente binria, o que quer dizer que uma proposio ter apenas um
dos dois valores possveis: ser verdadeira ou falsa.
O raciocnio lgico opera com proposies. Uma proposio o encadeamento
de termos ou palavras atravs de uma cpula verbal ou no, que expressam o contedo
de um juzo, como verdadeiro ou falso.
Exemplo: Florianpolis a capital de Santa Catarina.
Dizemos que o valor lgico de uma proposio a verdade (1) se a proposio
verdadeira; a falsidade (0) se a proposio falsa. Pode-se dizer ento que o valor
lgico da proposio acima verdade (1).
Neste sentido, vejamos a tabela abaixo:
Proposio/Enunciado
Tem sentido Posso dizer
Valor
completo? se V ou F? proposio? lgico
A rvore tem galhos.
Sim
Sim
Sim
Est chovendo.
Sim
Sim
Sim
Eu cai.
Sim
Sim
Sim
Cachorro.
No
No
No
10
Eu vi um cachorro na esquina.
Sim
Sim
Sim
Traga-me um bife.
Sim
No
No
Que horas so?
Sim
No
No
Concluindo, pode-se dizer que proposio simples a que no contm nenhuma

outra proposio como parte integrante de si mesma, ou seja, toda aquela proposio
que no composta. Indicaremos tais proposies por letras minsculas de nosso
alfabeto, da seguinte forma:
Proposio
Representao
A rvore tem galhos.
Est chovendo.
Eu cai.
Eu vi um cachorro na esquina.
s
As proposies so compostas quando duas ou mais proposies simples se
combinam atravs de palavras especiais como e, ou, se...ento e somente se...
ento. Indicaremos tais proposies por letras maiscula de nosso alfabeto, exemplos:
1. A rvore tem galhos e eu vi um cachorro na esquina.
2. A rvore tem galhos ou eu vi um cachorro na esquina.
3. Se a rvore tem galhos ento eu vi um cachorro na esquina.
4. Se, e somente se a rvore tem galhos ento eu vi um cachorro na esquina.
Exerccio Proposto
1. Complete o quadro conforme o modelo anterior e diga se os segmentos lingusticos
so proposies ou no:
Proposio/Enunciado
Ontem choveu.
Os brutos tambm amam.
Voc gosta de laranja?
Blz.
Que dia bonito!
Tem sentido
completo?
Posso dizer se
proposio?
V ou F?
11
3.3 Princpios Fundamentais da Lgica

Estes princpios foram propostos por Aristteles e so considerados por alguns
filsofos como sendo leis do raciocnio, medida em que impossvel raciocinar
desobedecendo a eles.
Princpio da No-contradio: impossvel que o mesmo atributo pertena e
no pertena, ao mesmo tempo e sob a mesma relao, ao mesmo sujeito (Aristteles,
Metafsica, Livro G 20), ou seja, No podemos afirmar e negar um enunciado ao mesmo
tempo e sob o mesmo aspecto.
~(p.~p)
Princpio do Terceiro Excludo: No possvel que haja uma posio
intermediria entre dois enunciados contraditrios: necessrio ou afirmar ou negar um
nico predicado, qualquer que ele seja, de um nico sujeito, ou seja, Dado um
enunciado ou ele verdadeiro ou ele falso. No existe terceira hiptese.
(p v ~p)
Princpio de Identidade:Dado um enunciado, ele sempre igual a ele mesmo.
p=p
3.3.1 Aplicao: Discusso da Famlia Logus

Era uma vez trs irmos, Aristteles, Dialticos e Sofsticos, filhos de Dona Sophia e
Seu Logus. A famlia vivia muito feliz, como geralmente viviam todas as famlias de classe mdia
do mundo (naquele tempo no existia ainda crise econmica), sendo a paz familiar apenas
abalada pelas constantes disputas entre Aristteles, Dialticos e Sofsticos, que tinham srias e
profundas divergncias intelectuais e existenciais.
Dialticos era um sonhador e vivia no mundo da lua, como costumava dizer Dona
Sophia. Rebelde com causa, vivia questionando Seu Logus e desrespeitando as regras
familiares. Seu Logus costumava-se queixar-se, dizendo: Desrespeitando-me deste jeito, este
menino no vai aprender nada e nunca vai ser algum na vida.
Sofsticos era o espertinho da famlia. Pedante como s ele, achava que sabia tudo e
que era mais inteligente que todos. Tinha uma boa lbia, mas conhecimento mesmo tinha pouco.
Dona Sophia e Seu Logus, quando faziam prole, constumavam dizer: Esse menino, se facilitar,
capaz de convencer os outros de que uma vaca tem cinco patas... Isto no nada bom.
12
Aristteles era o orgulho da famlia. Rapaz educado, inteligente e vivo, impacientava-se

com o comportamento de seus irmos, que viviam a provoc-lo intelectualmente. Suportava tudo
sem nada a dizer, at que um dia resolveu dar um fim a esta situao e chamou seus irmos
para o que ele denominou de uma discusso em famlia.
Dialticos disse Aristteles voc sabe o que o princpio da no contradio?
Claro! O princpio de no contradio diz que impossvel que o mesmo atributo

pertena e no pertena ao mesmo tempo e sob a mesma relao ao mesmo sujeito.
Exatamente. Poderamos tambm dizer mais informalmente que o princpio de no

contradio enuncia que nada pode ser e no ser ao mesmo tempo e sob o mesmo
aspecto. Pois eu lhe pergunto, Dialticos, se voc acha que possvel desrespeitar este
princpio.
Pois eu lhe digo que possvel. E lhe digo, tambm, que o princpio de no contradio
deve ser dialeticamente superado.
Ah no, Dialticos! Seu caso pior do que eu pensava. Voc est querendo me dizer que
as coisas podem, ao mesmo tempo e sob o mesmo aspecto, ser e no ser?
Sim. Veja bem, Aristteles, as coisas esto sempre em movimento, o que mostra que
aquilo que hoje pode no ser mais amanh. Ns nunca nos banhamos duas vezes no
mesmo rio. As guas que nos banham hoje no sero mais as mesmas que nos
banharo amanh, porque amanh as guas de hoje j tero passado.
realmente profundo, Dialticos, mas acho que voc est compreendendo mal o
princpio da no contradio. O que o princpio diz que as coisas no podem ser e no
ser ao mesmo tempo e sob o mesmo aspecto. Isto significa que no podemos, em um
mesmo instante, estar e no estarmos nos banhando em um rio. Afirmar isto seria
contraditrio. Nada impede, entretanto, que hoje estejamos nos banhando em
determinado rio, com guas que amanh no sero mais as mesmas. Em tempos
diferentes, podemos ter diferentes estados de coisas no mundo.
Explique isto melhor, Aristteles! Quer dizer que voc, como eu, acha que as contradies
podem existir e que o mundo movido a contradies?
Pelo amor de Deus, Dialticos, pare de querer forjar consensos e no coloque palavras
na minha boca! Contradies jamais, eu digo, jamais podem existir. Jamais alguma coisa
poderser e no ser ao mesmo tempo e sob o mesmo aspecto. Por exemplo, mano, um
mesmo indivduo jamais poder dizer: Eu vi e no vi o Gato Frajola sentado na cadeira
s 19:00 horas. Se algum dissesse isto, estaria dizerndo que viu e no viu determinado
13
acontecimento em um mesmo instante, o que evidentemente impossvel. Nada impede,

entretanto, que algum diga: Eu vi o Gato Frajola sentado na cadeira s 19:00 horas e
Eu vi o Gato Frajola sentado na cadeira s 19:00 horas e 2 minutos. Obviamente o que
aconteceu neste caso que, ao passar o tempo, o Gato Frajola saiu da cadeira e foi para
outro lugar, quem sabe, foi caar ratos. Nada impede, tambm que Joo diga: Eu no vi
o Gato Frajola sentado na cadeira s 19:00 horas, e Pedro diga: Eu vi o Gato Frajola
sentado na cadeira s 19:00 horas. Neste caso, Pedro e Joo estavam sob diferentes
relaes quanto ao objeto (no caso, o gato) em questo. Pedro, provavelmente, estava
prximo cadeira e por isso viu o gato, e Joo, provavelmente, estava na rua, longe da
cadeira e, por isso, no vio o gato.
Neste exato instante, o irmo Sofsticos se intromete na discusso. Ele pede a Aristteles
uma demonstrao do princpio de no contradio e diz que sem esta demonstrao ele
no pode dar-se por convencido da existncia deste princpio.
Ora Sofsticos! impossvel demonstrar o princpio de no contradio. Exatamente por

ser um princpio, ele a vase de onde todas as outras demonstraes procedem. No
podemos demonstrar aquilo que o princpio de tudo. Se tentarmos tudo demonstrar,
regredimos ao infinito e no demonstraremos nada.
Pois se no podemos demonstrar o princpio de no contradio, no me dou por

convencido e simplesmente no o aceito.
No posso lhe dar uma demonstrao, Sofsticos, mas lhe darei uma prova que tem a
mesma fora de uma demonstrao. Chamarei esta prova de refutao ou
demonstrao indireta. Peo-lhe, ento, Sofsticos, que voc simplesmente me diga
qualquer coisa.
Digo-lhe que eu gosto de bananas.
Quando diz isto, Sofsticos, voc j est respeitando o princpio de no contradio.
Como assim?
Se voc desrespeita o princpio de no contradio, no pode enunciar nada, nem

enunciar que voc deseja uma demonstrao deste princpio. Quando diz: Eu quero uma
demonstrao do princpio. Voc est me informando que quer esta demonstrao e,
para informar isto, voc precisa respeitar o princpio. Se para enunciar qualquer coisa
voc no pode desrespeit-lo, ento o princpio tem validade universal. Se
desrespeitarmos o princpio, nada no mundo pode ser informado, nada pode ser
comunicado, nada pode ser dito. Vejam, ento, meus irmos, a fora deste princpio! Ele
no pode ser diretamente demonstrado, porque ele a contradio de toda e qualquer
14
demonstrao. Podemos, entretanto, refutar, como eu fiz agora, todo aquele que diz ser
possvel desrespeitar o princpio, mostrando que desrespeit-lo condenar-se ao silncio
eterno, a nunca usar a razo, condenar-se a passar a vida sem nada afirmar e sem
nunca julgar.
Dona Sophia e Seu Logus que a tudo assistiam deram um sorriso largo, satisfeitos com
aquele que seria seu mais ilustre filho.
3.4 Operaes lgicas sobre as proposies

Quando pensamos, efetuamos muitas vezes certas operaes sobre proposies,
chamadas operaes lgicas. Estas obedecem a regras de um clculo, denominado
Clculo Proposicional, semelhante ao da aritmtica sobre nmeros. Sero apresentadas,
a seguir, as operaes lgicas fundamentais do clculo proposicional.
3.4.1 Conjuno
Chama-se conjuno de duas proposies p e q a proposio representada por p
e q, cujo valor lgico a verdade (V) quando as proposies p e q so ambas
verdadeiras a falsidade (F) nos demais casos.
Simbolicamente, a conjuno de duas proposies p e q indica-se com a notao:
p . q ou p ^ q ou p & q
Exemplo: A rvore tem galhos e eu vi um cachorro na esquina.
P = p . q, onde
p = A rvore tem galhos.
q = eu vi um cachorro na esquina.
Temos neste caso, dois enunciados simples, portanto podem tomar quatro
combinaes de valores de verdade:
p
p.q
4
F
F
?
Ento queremos saber como fica o valor de verdade da conjuno p . q para os
quatro casos possveis:
15
1. O que acontece com o valor de verdade da conjuno p . q (A rvore tem galhos

e eu vi um cachorro na esquina.) quando p V (No caso, verdade que a rvore
tem galhos) e q V (No caso, tambm verdade que eu vi um cachorro na
esquina)?
Resposta: p . q ser verdadeiro, porque se V a primeira proposio simples
conjuntiva A rvore tem galhos e V a segunda proposio simples conjuntiva
eu vi um cachorro na esquina, ento V a conjuno A rvore tem galhos e eu
vi um cachorro na esquina..
Portanto, devemos preencher com V a primeira linha da tabela acima.
e eu vi um cachorro na esquina.) quando p V (No caso, verdade que a rvore
tem galhos) e q F (No caso, tambm verdade que eu vi um cachorro na
esquina)?
Resposta: p . q ser falso, porque se V a primeira proposio simples conjuntiva
A rvore tem galhos e F a segunda proposio simples conjuntiva eu vi um
cachorro na esquina, ento F a conjuno A rvore tem galhos e eu vi um
cachorro na esquina..
Portanto, devemos preencher com F a segunda linha da tabela acima.
e eu vi um cachorro na esquina.) quando p F (No caso, verdade que a rvore
tem galhos) e q V (No caso, tambm verdade que eu vi um cachorro na
esquina)?
Resposta: p . q ser falso, porque se F a primeira proposio simples conjuntiva
A rvore tem galhos e V a segunda proposio simples conjuntiva eu vi um
Portanto, devemos preencher com F a terceira linha da tabela acima.
e eu vi um cachorro na esquina.) quando p F (No caso, verdade que a rvore
tem galhos) e q F (No caso, tambm verdade que eu vi um cachorro na
esquina)?
16
Resposta: p . q ser falso, porque se F a primeira proposio simples conjuntiva

A rvore tem galhos e F a segunda proposio simples conjuntiva eu vi um
Portanto, devemos preencher com F a quarta linha da tabela acima.
O valor lgico da conjuno das duas proposies , portanto, definido pela
seguinte tabela verdade:
p
p.q
Valor Lgico
3.4.2 Disjuno
A disjuno de duas preposies representada pela proposio cujo valor lgico
a Verdade, quando uma das proposies componentes verdadeira, e a Falsidade,
quando ambas as componentes so falsas.
Assim, diremos que a disjuno A rvore tem galhos, ou eu vi um cachorro na
esquina. composta pela primeira preposio disjuntiva ou primeira alternativa, no caso,
A rvore tem galhos e pela segunda preposio disjuntiva ou segunda alternativa, no
caso, eu vi um cachorro na esquina.
Simbolicamente, a disjuno de duas proposies p e q indica-se com a notao:
p v q ou p + q
Exemplo: A rvore tem galhos, ou eu vi um cachorro na esquina.
P = p v q, onde
q = eu vi um cachorro na esquina.
Temos neste caso, duas proposies simples, portanto temos quatro combinaes
de valores de verdade:
17
pvq
Valor Lgico
3.4.3 Disjuno Exclusiva

Na linguagem comum a palavra ou tem dois sentidos. Assim, consideremos as
duas seguintes proposies compostas:
P : Carlos mdico ou professor
Q: Mrio alagoano ou gacho
Na proposio P indica-se que pelo menos uma das proposies Carlos
mdico, Carlos professor verdadeira, podendo ainda, ser ambas verdadeiras:
Carlos mdico e professor. Mas, na proposio Q, bvio que uma e somente uma
das proposies Mrio alagoano, Mrio gacho verdadeira, pois, no possvel
ocorrer Mrio alagoano e gacho.
Na proposio P diz-se que ou inclusivo, enquanto que, na proposio Q, dizse que ou exclusivo.
Em Lgica Matemtica usa-se habitualmente o smbolo + para ou inclusivo e
os smbolos , para ou exclusivo. Assim sendo, a proposio P a disjuno
inclusiva ou apenas disjuno das proposies simples Carlos mdico,Carlos
professor, isto :
P: Carlos mdico + Carlos professor
A proposio Q a disjuno exclusiva das proposies simples Mrio
alagoano, Mrio gacho, isto :
Q: Mrio alagoano Mrio gacho
De um modo geral, chama-se disjuno exclusiva de duas proposies p e q a
proposio representada simbolicamente por p q, que se l: ou p ou q ou p ou q,
mas no ambos, cujo valor lgico verdade (V) somente quando p verdadeira ou q
verdadeira, mas no quando p e q so ambas verdadeiras, e falsidade(F) quando p e q
so ambas verdadeiras ou ambas falsas. A funo lgica da disjuno exclusiva Y =
(A . ~B) + (~A . B)
O valor lgico da disjuno exclusiva de duas proposies definido pela
seguinte tabela verdade:
18
pq
Valor Lgico
3.4.4 Negao
A negao de uma proposio qualquer representada pela proposio cujo valor
lgico seja contrrio a ela mesma. Assim, seja p a proposio: A calada est molhada.
Sua negao ser a proposio representada por no p: A calada no est molhada.
Simbolicamente, a negao de uma proposio p indica-se com a notao:
~p ou p
L-se no p.
Exemplo: A rvore tem galhos.
P = ~p, onde
~p = A rvore no tem galhos.
Temos neste caso, uma proposio simples, portanto temos duas combinaes de
valores de verdade:
p
~p
Valor Lgico
3.4.5 Proposio condicional

Proposio condicional ou implicao material a proposio cujo valor lgico a
Falsidade, quando a primeira proposio componente, ou antecede, verdadeira, e a
segunda, ou consequente, falsa e a Verdade nos demais casos. A proposio,
condicional obtida a partir do uso do conectivo se... ento....
Simbolicamente, a disjuno de duas proposies p e q indica-se com a notao:
p q
19
Pode ser lida das seguintes formas:

I. p implica q
II. se p ento q
III. p condio suficiente para q
IV. q condio necessria para p
Na condicional pq , diz-se que p o antecedente e o q o conseqente. O
smbolo chamado de implicao. Considere o seguinte exemplo:
Joo trabalha em uma estao meteorolgica e faz a seguinte afirmao no dia
03 de maro:
Se a umidade subir acima de 90 %, ento chover em menos de 24 horas
p: A umidade sobe acima de 90 %
q: Chover em menos de 24 horas.
At o dia 05, embora a umidade estivesse a 95 % durante as ltimas 48 horas,

no choveu. Isso significa que a afirmao feita anteriormente era falsa. Isso significa que
sempre que o antecedente for verdadeiro, o conseqente deve ser verdadeiro para que o
resultado de toda a proposio seja verdadeira. O condicional no afirma a veracidade do
antecedente e do conseqente, mas a relao existente entre eles.
Ex2.: Se Joo Engenheiro, ento sabe matemtica.
A tabela verdade da condicional de duas proposies , portanto:
1
2
3
4
p
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
Valor Lgico
1
0
1
1
3.4.6 Proposio bicondicional

Chama-se bicondicional uma proposio representada por p se e somente se q
cujo valor lgico verdade (V) quando p e q so ambas, verdadeiras ou falsas.
Simbolicamente, a bicondicional de duas proposies p e q indica-se com a
notao p q e pode ser lida das seguintes formas:
i. p condio necessria e suficiente para q
ii. q condio necessria e suficiente para p
iii. p se e somente se q ( mais utilizado) podendo ter a abreviao p sse q.
A tabela verdade da bicondicional de duas proposies , portanto:
20
p
q
p q Valor Lgico
1
V
V
V
1
2
V
F
F
0
3
F
V
F
0
4
F
F
V
1
Quando se tem uma bicondicional p q, na verdade implicamos p q e q p ao
mesmo tempo, ou seja, s verdade quando as duas condicionais so verdadeiras.
Ex: Joo careca, se Joo no tem cabelo. Isso na verdade implica:
i) Se Joo careca, ento Joo no tem cabelo e
ii) Se Joo no tem cabelo, ento Joo careca.
Obrigatoriamente, as duas proposies simples que compem cada uma das
proposies condicionais i e ii devem ser: ambas verdadeiras ou falsas, para a
bicondicional ser verdadeira.
Nota:
Os conectivos das diversas operaes permitem a leitura em variantes de estilo na
linguagem corrente:
~p
no p.
pq
no verdade que
falso que...
no o caso que...
no se d que...
p^q peq
p, mas q,
p, embora q,
tanto p como q,
no s p, mas tambm q,
p, apesar de q.
p q p se e somente se q (abrev.: sse),
p se e s q,
pvq
p se q e q se p,
p exatamente quanto q,
se p, q e reciprocamente,
p condio necessria e suficiente de q,
p equivante a q.
se p, ento q,
quando p, q,
no caso de p, q,
q, contanto que p,
p condio necessria para
q,
q condio necessria para
p,
q, se p,
q, quando p,
q, no caso de p,
p somente quando q,
p s se q,
p s no caso de q,
p implica q.
p ou q
p ou q ou ambos,
pe/ou q (nos documentos
legais).
Exerccio Proposto
1. Interprete como p para est chovendo e q para est nevando. Expresse a forma
de cada sentena na notao do Clculo Proposicional:
a) Est chovendo.
21
b) No est chovendo.
c) Est chovendo ou nevando.
d) Est chovendo e nevando.
e) Est chovendo, mas no est nevando.
f) No o caso que est chovendo e nevando.
g) Se no est chovendo, ento est nevando.
h) No o caso que esta chovendo ento est nevando.
i) No o caso que se est nevando ento est chovendo.
j) Est chovendo se e somente se no est nevando.
k) No o caso que est chovendo ou nevando.
l) Se est nevando e chovendo, ento est nevando.
m) Se no est chovendo, ento no o caso que est nevando e chovendo.
n) Ou est chovendo e nevando, ou est nevando e chovendo.
o) Ou est chovendo e nevando, ou est nevando mas no est chovendo
3.5 Tabelas-verdade
Nas composies, o valor lgico de qualquer proposio composta depende
unicamente dos valores lgicos das proposies simples componentes, ficando por eles
univocamente determinado. Na situao atual, os nmeros que aparecem na primeira
coluna tm apenas a finalidade de indicar o nmero de linhas para cada exemplo
apresentado.
Para as proposies compostas, veremos que o nmero das componentes simples
determina o nmero de linhas das tabelas-verdade. Exemplos:
a) P(p,q)
b) P(p,q,r)
22
1
2
3
4
5
6
7
8
p
0
0
0
0
1
1
1
1
q
0
0
1
1
0
0
1
1
r
0
1
0
1
0
1
0
1
O numero de linhas de uma tabela verdade dado por 2 n onde n o nmero de

proposies componentes.
Exemplos:
a) Dada p com n = 1, a tabela verdade ter 2 1 = 2 linhas.
b) Dada P(p,q,r) com n = 3, a tabela verdade ter 23 = 8 linhas.
c) Dada P(p,q,r,s,t) com n = 5, a tabela verdade ter 2 5 = 32 linhas.
3.6 Frmulas Proposicionais

So as proposies formadas a partir de outras, com o uso de um ou mais
conectivos.
Para trabalharmos com as frmulas proposicionais, precisamos observar algumas
questes:
O conectivo ~ modifica apenas o termo mais prximo.

Ex.: ~P v Q, o conectivo ~ modifica apenas o P.
Ex.: ~(PvQ) o conectivo ~ modifica o P e o Q, devido aos parnteses.
Os conectivos e abrangem toda a parte da proposio que no contenha o

mesmo sinal.
Ex.: (X v Y) Ex.: (P v Q) o mesmo que X v Y P v Q
Os parnteses so empregados para evitar ambigidade na leitura e no

entendimento.
Ex.: A ^ (B C), os parnteses indicam que a proposio diferente de A ^ B
C que, por sua vez, a mesma que (A ^ B) C
23
Exerccio Proposto
1. Seja p a proposio: as meninas jogam e q a proposio O gato mia. Traduza
para a linguagem corrente as seguintes proposies:
a) ~p
b) ~q
c) p ^ q
d) p ^ ~q
e) p v q
f) ~p v q
g) p q
h) ~q p
i) p q
j) ~p ~q
k) (p v q) q
l) (~q ^ p) q
m)(~p ^ ~q) (p ^ q)
n) ~~p
o) q ~~p
3.7 Construo da tabela-verdade para as Frmulas Proposicionais

Para construir a tabela precisamos seguir alguns passos:
a) Desmembrar a frmula em outras proposies at chegar s mais simples, que
no podem mais ser decompostas, e arrum-las em uma tabela. Assim, podemos calcular
os valores lgicos dessas proposies a partir das tabelas-verdade dos conectivos.
Ex.: P ^ Q R
Proposio
V. Lgico
b) Atribuir os valores 1 ou 0 a cada uma das proposies simples que compe a

frmula. Como estas proposies so em nmero de trs, a tabela ter 8 linhas (2 3 = 8).
o total de linhas dado por 2n, onde n o nmero de proposies simples.
24
Proposio
V. Lgico
N.
1
2
3
4
5
6
7
8
P
1
1
1
1
0
0
0
0
Q
1
1
0
0
1
0
1
0
R
1
0
1
0
1
1
0
0
c) Calcular o valor lgico das proposies desmembradas at chegar frmula

final, cujo valor procuramos.
Proposio
V. Lgico
N.
1
2
3
4
5
6
7
8
P
1
1
1
1
0
0
0
0
Q
1
1
0
0
1
0
1
0
R
1
0
1
0
1
1
0
0
P^Q
1
1
0
0
0
0
0
0
Proposio
V. Lgico
N.
1
2
3
4
5
6
7
8
P
1
1
1
1
0
0
0
0
Q
1
1
0
0
1
0
1
0
R
1
0
1
0
1
1
0
0
P^Q
1
1
0
0
0
0
0
0
P^QR
1
0
0
1
0
0
1
1
A ordem de precedncia para calcular o valor lgico de uma tabela verdade

parnteses, negao, conjuno, disjuno e implicao. Que pode ser esquematizada
pelo seguinte diagrama:
( )
^ v
Ordem de Precedncia
25
Exerccio Proposto
1. A negao de uma proposio verdadeira quando a proposio falsa. E falsa
quando a proposio verdadeira. Sabendo que:
P = O turismo uma atividade econmica.
Q = O Brasil banhado pelo Oceano Pacfico.
Transforme as proposies em linguagem simblica e mostre seu valor lgico:
a) O turismo uma atividade econmica.
b) O turismo no uma atividade econmica.
c) O Brasil banhado pelo Oceano Pacfico.
d) O Brasil no banhado pelo Oceano Pacfico.
Mostre o valor lgico das seguintes proposies:
Linguagem simblica
Q
~Q
~(~Q)
~(~(~(~Q)))
2. A conjuno de duas proposies s verdadeira quando as duas proposies
formadoras tambm so verdadeiras. Observe a situao e siga o exemplo abaixo.
Situao: Uma grande seguradora do pas oferece descontos especiais para os
seguros de automveis realizados em nome de pessoas do sexo feminino com
mais de 40 anos de idade. Outro dia, um corretor dessa seguradora deu entrada
em quatro propostas: Marisa de 53 anos, Laura de 27 anos, Eduardo de 49 anos e
Osvaldo de 38 anos..
Ex.: Proposies / Premissas
L. Simblica
V. Lgico
Marisa mulher.
P.
Marisa tem mais de 40 anos.
Q.
..Marisa mulher e tem mais de 40 anos.

Proposies / Premissas
Laura mulher.
Laura tem mais de 40 anos.
.. Laura mulher e tem mais de 40 anos.
..P ^ Q.
L. Simblica
1
V. Lgico
26
L. Simblica
V. Lgico
L. Simblica
V. Lgico
Eduardo mulher.
Eduardo tem mais de 40 anos.
.. Eduardo mulher e tem mais de 40 anos.
Osvaldo mulher.
Osvaldo tem mais de 40 anos.
.. Osvaldo mulher e tem mais de 40 anos.
3. Dados:
X = O dia est ensolarado.
Y = O dia est de noite.
Z = O dia est chuvoso.
Preencha a seguinte tabela:
Linguagem simblica Valor Lgico
X
Y
Z
~Y
~Z
X^Z
X ^ ~Z
~Z ^ ~Y
~Y ^ X
4. A disjuno de duas proposies verdadeira quando pelo menos uma das

proposies formadoras verdadeira. Dados:
P = 15 2
Q = -8 -2.4
R = -10 > -8.
Preencha a seguinte tabela:
27
Linguagem simblica Valor Lgico

P
Q
R
~P
~R
~P v ~R
Q v ~R
~R v ~P
QvP
5. Na condicional P Q temos que:
P chamado de antecedente.
Q chamado de conseqente.
P condio suficiente para Q.
Q condio suficiente para P.
A partir da seguinte informao mostre suas proposies e seu valor lgico:

Denise, uma das vendedoras da InfoCom Informtica, informou ao cliente Marcos
que se ele trouxer o Modem defeituoso, ela lhe dar um novo modem em perfeito estado.
P = Marcos traz o modem defeituoso.
Q = Denise d um modem perfeito a Marcos.
a) ~P Q:
b) ~ ~P ~ ~Q:
c) ~(P Q):
d) ~P ~Q:
6. A bicondicional P Q o mesmo que P Q e Q P. Da temos:
P condio necessria e suficiente para Q.
Q condio necessria e suficiente para P.
Situao: Pacheco chamou um pintor para fazer uns servios em sua casa.
Indagado a respeito da data em que comearia o trabalho, o pintor respondeu:
- S comearei o servio em sua casa se e semente se o senhor comprar o
material necessrio.
Desta situao extraia as proposies:
P = O pintor comear o servio.
28
Q = Pacheco comprar o material necessrio.

E transforme em linguagem corrente as seguintes linguagens simblicas:
a) P ~Q:
b) ~(P Q):
c) ~Q ~ ~P:
d) Q P:
7. Construa as tabelas-verdade para as seguintes frmulas:
a) ~ (P v Q) ~P v ~Q
b) P ^ (Q v R)
c) (P ^ Q) v (P ^ R)
d) (P ^ Q) ~( ~P v ~Q)
e) (P v Q) ~( ~P ^ ~Q)
f) P ((P ^ Q) v (P ^ ~Q))
29
3.8 Tautologia
Chama-se tautologia toda frmula cuja ltima coluna de sua tabela-verdade
sempre verdadeira.
P
~P (P v ~P)
~P
(P & ~P)
~(P & ~P)
3.9 Contradio
Chama-se contradio toda frmula cuja ltima coluna de sua tabela-verdade
sempre falsa.
P
V
F
~P
F
V
(P & ~P)
F
F
3.10 Contingncia
Chama-se contingncia toda formula cuja ltima coluna de sua tabela-verdade
figuram V e F. No so tautologias nem contradies.
P
(P v Q)
Exerccio Proposto
1. Construa as respectivas tabelas verdades e informe se a frmula tautologia,
contradio ou contingncia.
a) p p + p
b) (a b) ((b c) (a c))
c) (a b ) . (b a)
d) a a b
e) a. (a + b)
f)
~(~p . q ) ~p + ~q
30
3.11
Implicao ou Equivalncia Lgica

Chama-se implicao lgica ou equivalncia lgica toda formula cuja as frmulas
possuem as mesmas tabelas verdade.
(P Q)
~P v Q
Abaixo apresenta-se algumas equivalncias notveis, e como as mesmas sero

identificadas para ento serem usadas para simplificar ou melhorar a descrio das
nossas informaes:
So equivalncia, ou
consequncias
tautolgicas mtuas
So equivalncia, ou
consequncias
tautolgicas mtuas
1. Propriedades Comutativa
(AB) (BA)
(AB) (BA)
2. Propriedades Associativas
(AB)C A(BC)
(AB)C A(BC)
3. Propriedades Distributivas
A(BC) (AB)(AC) A(BC) (AB)(AC)
4. Propriedades de Identidade
A0 A
A1A
5. Propriedades Complementativas
A(A) 1
A(A) 0
6. Leis de De Morgan
(AB) AB
(AB) AB
7. Propriedades Idempotentes
AA A
AA A
8. Dupla Negao
(A) A
9. Reescrevendo a Implicao Contraposio ou

(AB) ( BA)
Transposio
10. Bi-condicional ou definio da equivalncia
(AB) (AB)(BA)
11. Prova Condicional ou exportao, importao
(A(BC)) (AB)C
12. Definio da implicao
(AB) AB
Observao: 1 representa uma frmula que tautologia e 0 representa uma frmula que
uma contradio.
31
Exerccio Proposto
1. Verificar se as frmulas abaixo so implicaes/equivalncias lgicas:
a) p p + q
b) ~(p . ~p) (p+~p)
c) p . q p
d) (p + q) . ~p q
e) p.(~p+q) (p.q)
f) (p q) . p q
g) (p (q r)) q (p r)
3.12
Argumentos Lgicos
Chama-se argumento toda afirmao em que dada uma sequncia finita de
proposies P1, P2, ... Pn tem-se como consequncia a proposio final Q.

A proposies P1, P2, ... Pn chamam-se premissas do argumento, e a
proposio final Q chama-se concluso do argumento.
Um argumento de premissas P 1, P2, ... Pn e a concluso Q, indica-se por P 1,
P2, ... Pn Q e l-se:
(i)
P1, P2, ... Pn acarretam Q
(ii)
Q se deduz de P1, P2, ... Pn
(iii)
Q se infere de P1, P2, ... Pn
Na Lgica Matemtica entre as notaes

utilizadas podemos representar as
premissas uma em cada linha ou separadas
por vrgulas e utilizar o smbolo
para indicar a concluso.
Exemplo:
Estamos no ms de agosto ou no ms de setembro.
(P v Q)
No estamos no ms de setembro
~Q
Estamos no ms de agosto.
(P v Q)
~Q
P
Um argumento escrito horizontalmente com as

premissas separadas por vrgula:
P v Q, ~Q P
O smbolo chamado de trao de assero.

Assim, um argumento escrito da seguinte forma: p, pq, qr r onde:
p, pq, qr
32
Premissas
Concluso
Outro exemplo:
Se Jos pegou as jias ou a Sra. Krasov mentiu, ento ocorreu um crime; se
ocorreu um crime ento o Sr. Krasov estava na cidade. Mas o Sr. Krasov no estava na
cidade; portanto, ou Jos no pegou as jias ou a Sra. Krasov no mentiu.
Fazendo:
temos:
p - Jos pegou as jias
pv qr
rs
~s
~pv~q
q - a Sra. Krasov mentiu

r - ocorreu um crime
s - o Sr. Krasov estava na cidade
3.12.1 Validade de Argumentos

Um argumento vlido se e somente se a concluso Q verdadeira todas as
vezes que as premissas P1, P2,..., Pn so verdadeiras.
Em outros termos, uma instncia vlida se no houver situao onde a
concluso falsa e todas as premissas so verdadeiras.
P Q, P Q
P
PQ
O argumento vlido, pois no existe caso

onde as premissas so verdadeiras (todas)
e a concluso falsa.
Um argumento vlido dito correto ou legtimo. Um argumento no-vlido

chamado de sofisma.
33
3.12.2 Validade de um argumento atravs da Tabela-verdade

As tabelas-verdades podem ser usadas para demonstrar, verificar ou testar a
validade de qualquer argumento. Para isso, o procedimento prtico consiste em construir
uma tabela-verdade com uma coluna para cada premissa e a concluso, e nela identificar
as linhas em que os valores lgicos das premissas P1, P2, ...Pn so todos V. Nessas
linhas, o valor lgico da concluso Q deve ser tambm V para que o argumento dado seja
vlido.
A seguinte tabela-verdade confirma que o argumento representado como: P v Q,
~Q P vlido.
P
PvQ
~Q
Veja que a verdade das premissas incompatvel com a falsidade da concluso.

3.12.3 Avaliao de um Argumento: Deduo e Induo
A Lgica dispe de duas ferramentas principais que podem ser utilizadas pelo
pensamento na busca de novos conhecimentos: a deduo e a induo, que do origem
a dois tipos de argumentos: dedutivos e indutivos.
Os argumentos dedutivos pretendem que suas premissas forneam uma prova
conclusiva da veracidade da concluso. Um argumento dedutivo vlido quando suas
premissas, se verdadeiras, fornecem provas convincentes para sua concluso, isto ,
quando for impossvel que as premissas sejam verdadeiras e a concluso falsa; caso
contrrio, o argumento dedutivo dito invlido.
Os argumentos indutivos, por outro lado, no pretendem que suas premissas
forneam provas cabais da veracidade da concluso, mas apenas que forneam
indicaes dessa veracidade.
Os termos vlidos e invlidos no se aplicam aos argumentos indutivos;
eles costumam ser avaliados de acordo com a maior ou menor possibilidade
com que suas concluses sejam estabelecidas.
Costuma-se dizer que os argumentos indutivos partem do particular para o
34
geral, isto , a partir de observaes particulares, procura estabelecer regras gerais, que,
no caso das cincias naturais, devem ser provadas por outros meios; os argumentos
dedutivos, por seu lado, partem de regras gerais para estabelecer a veracidade de
acontecimentos particulares.
O desenvolvimento da cincia tem dependido, em grande parte, da habilidade em
combinar os dois tipos de raciocnio.
Argumento dedutivo
Argumento indutivo
geral
Todos os homens so mortais. (premissa)

Scrates homem. (premissa)
Portanto Scrates mortal. (concluso)
Eu sonho com monstros.

Meu irmo sonha com monstros.
Todas as pessoas sonham com monstros.
especfico
3.12.4 Validade dos argumentos mediante Regras de Inferncia

Regras de inferncia: Os argumentos bsicos so usados para fazer
inferncias, isto , executar os passos de uma deduo ou demonstrao, e por isso
chamam-se tambm, Regras de Inferncia.
(podemos escrev-las colocando as premissas sobre um trao horizontal e, em
seguida, a concluso sob o mesmo trao).
Argumentos vlidos fundamentais:
So argumentos vlidos fundamentais ou bsicos (de uso corrente) os seguintes:
1. Regra Modus Ponens (MP): de um condicional e seu antecedente, podemos
inferir seu consequente.
PQQ
//p dito antecedente e q dito consequente
Tambm conhecida como Regra da Eliminao da condicional ou Regra da

separao permite deduzir q (concluso) a partir de p q e p (premissas)
Exemplos:
C, S A, C S A
(1) p q
(1) p ^ q r P
(1) C
(2) p
(2) p ^ q
(2) S A
(3) C S
(4) S
1,3 MP
(3) q
(5)
(6)
(3) r
A
2,4 MP
35
Esses passos so tambm chamados derivao ou prova. Cada etapa numa
derivao uma instncia de uma das regras.
Essa forma vlida porque ela pode ser derivvel pelas regras de inferncia.
Assim:
Alistamos as 3 suposies nas primeiras linhas, enumeramos cada linha e
colocamos o P para indicar que so premissas. Ento, deduzimos a concluso A em
duas etapas de raciocnio. As duas etapas tm a mesma forma, cada uma delas uma
instncia da regra MP.
2. Modus Tollens (MT): A partir das premissas p q (condicional) e ~q (negao do
consequente) deduzimos como concluso ~p (negao antecedente).
P Q, ~Q |- ~P
Exemplo: P Q v R, ~(Q v R) |- ~P
(1)
PQvR
(2)
~(Q v R)
(3)
~P
1,2 MT
3. Eliminao da Negao (E~): de uma frmula da forma ~~P, podemos inferir P.

~~p |- p
Exemplo: ~P ~~Q, ~~p |- Q
(1)
~P ~~Q
(2)
~~~P
(3)
~P
2 E~
(4)
~~Q
1,3 MP
(5)
4 E~
4. Conjuno (Conj): de quaisquer P, Q podemos concluir P ^ Q.

P, Q |- (P ^ Q)
Tambm conhecida como Regra da Introduo da conjuno permite deduzir de
duas proposies dadas p e q (premissas) a sua conjuno p ^ q ou q ^ p
(concluso).
Exemplo: (P ^ Q) S, ~~P, Q |- S
36
(1)
(P ^ Q) S
(2)
~~P
(3)
(4)
2 E~
(5)
(P ^Q)
3,4 Conj
(6)
1,5 MP
5. Regra da Simplificao (Simp) : de uma conjuno podemos inferir qualquer um

de seus conjuntos.
P ^ Q |- P
P ^ Q |- Q
Tambm conhecida como Eliminao da conjuno, que diz da conjuno p ^ q
de duas proposies se pode deduzir cada uma das proposies, p ou q.
Exemplo: P (Q ^ R), P |- (P ^ Q)
(1)
P (Q ^ R)
(2)
(3)
(Q ^ R)
1,2 MP
(4)
3 Simp
(5)
(P ^ Q)
2,4 Conj
6. Regra da Adio (Adio) : em um frmula P, podemos inferir (deduzir) a

disjuno de P com qualquer outra frmula.
P |- P v Q
Tambm conhecida como Introduo da disjuno. Dado p podemos deduzir p v
q, p v r, s v p, t v p.
Exemplos: P |- (P v Q) ^ (P v R)
P, ~~(P Q) |- (Q v ~Q)
(1)
(1) P
(2)
(P v Q)
1 Adio
(2) ~~(P Q)
(3)
(P v R)
1 Adio
(3) (P Q)
2 E~
(4)
(P v Q) ^ (P v R)
2,3 Conj
(4) Q
1,3 MP
(5) (Q v ~Q)
4 Adio
7. Regra do Dilema Construtivo (DC) : de uma frmula da forma P v Q, P R e Q

R, podemos inferir R.
37
P v Q, P R, Q R |- R
Tambm conhecida como Eliminao da disjuno, onde as premissas so duas
condicionais e a disjuno dos seus antecedentes, e a concluso a disjuno dos
consequentes destas condicionais.
Exemplo:
(1)
(A B) ^ (C D) P
(2)
AvC
(3)
BvD
DC
8. Introduo do bicondicional (I): de quaisquer frmula (P Q) e (Q P),

podemos inferir (P Q).
Exemplo: (P Q), (P Q) (Q P) |- (P Q)
(1) (P Q)
(2) (P Q) (Q P)
(3) Q P
1,2 MP
(4) P Q
1,3 I
9. Eliminao do bicondicional (E): de qualquer frmula (P Q) podemos inferir

(P Q) e (Q P).
Exemplo: F (S v D), S |- F
(1)
F (S v D)
(2)
(3)
(S v D) F
E1
(4)
(S v D)
2 Adio
(5)
3,4 MP
Tabela Resumo: Regras de Inferncia

De Pode-se deduzir Nome (Abreviao) da Regra
P, P Q Q Modus Ponens (mp)
P Q, ~Q ~P Modus Tollens (mt)
P, Q P Q Conjuno (conj)
P Q P, Q Simplificao (simp)
P P Q Adio (ad)
P Q, Q R P R Silogismo Hipottico (sh)
38
P Q, ~P Q Silogismo Disjuntivo (sd)

(P Q) R P (Q R) Exportao (exp)
P, ~P Q Inconsistncia (inc)
Exerccio Resolvido:
Compro umas calas ou compro uma camisola.
Se comprar uns tnis, compro um cinto e, se comprar uma camisola,
compro um casaco.
No compro umas calas e no compro um cinto.
Logo, no compro uns tnis e compro um casaco.
Traduzindo para smbolos temos:
39
P: compro umas calas

Q: compro uma camisola
R: compro uns tnis
S: compro um cinto
T: compro um casaco
Traduzindo para expresses teremos:

1. P v Q
2. (R S) ^ (Q T) P
3. ~P ^ ~S
4. ~R ^ T
Concluso ( o que queremos deduzir)
1. P v Q
Ento:
2. (R S) ^ (Q T) P
3. ~P ^ ~S
4. ~P
3 Simp. (Eliminao da conjuno na linha 3)
5. Q
1,4 SD (Silogismo disjuntivo da linha 1 e3 4)
6. Q T
2 Simp. (Eliminao da conjuno na linha 2)*
7. T
6,5 MP
8. R S
2 Simp. (Eliminao da conjuno na linha 2)**
9. ~S
3 Simp. (Eliminao da conjuno na linha 3)
10.~R
8,9 MT
11. ~R ^ T
10,7 Conjuno
* Tanto podemos eliminar a conjuno para obter R S como para Q T, no entanto, o

que nos interessa obter Q T.
** Como j eliminamos Q T, no entanto, o que nos interessa obter R S.
Exerccios Propostos:
1. Mediante o uso das regras de inferncia, demonstrar a validade dos seguintes
argumentos:
a) (p ^ s) v p, q ~p, t ~p, q v t |- s ^r
b) p q, r s, p v s |- q v r
c) p q, r s, p v r |- q v s
d) r ~p, (r ^ s) v t, t q v u, ~q ^ ~u |- ~p
e) p q, ~q, ~p r |- ~~r
2. Derive o que se pede das seguintes premissas:
40
a) Derive U
1. P (Q ^ R)
2. (Q ^ R) S
3. S (T v (~T U))
4. P
5. ~T
b) Derive (R ^ S)
1. ~~P
2. Q (R ^ S)
3. T ~~Q
4. T v ~P
c) Derive (P v Q) ^ (P v R)
1. (P v Q) R
2. R ^ P
3. Derive o que se pede das seguintes premissas:

a) P Q, Q R, P |- R
b) P v Q, P Q, ~Q |- Q
c) P ^ S, P Q, P |- R
d) P (Q v R), (~P v ~R) S, ~(Q v R) |- S
4. Complete as dedues abaixo:
1.
3.
1. M N
2. ~N ^ M
2.
1. M N
2. O v M
3. ~N
_____
3. ~O ^ P
4. ~M
_____
4. ~O
_____
5. ~M ^ ~N
_____
5. M
_____
6. N
_____
1. M N
1. M v N
4.
2. O ~M
2. ~O P
3. O ^ P
3. N O
4. O
_____
4. M O
____
5. ~M
_____
5. ~O
____
6. N
_____
6. ~M
____
7. N v Q
_____
7. P
____
41
8. ~M ^P
____
5. Prove, usando as regras de inferncia:

a) M ^ N |- N v O
b) M N, O v ~N, ~O |- ~M
c) M v N, ~M ^ P, N O |- O
d) (M N) ^ (O P), ~N ^ M |- P
e) M N, O v ~N, ~O ^ P |- ~M ^ P
f) M N, ~O, N O, ~~M |- P
g) (M N) ^ (O P), M, ~(N v P) |- ~O ^ M
h) M (N O), M ^ N, M (O P) |- P
i) (M N) ^ (N O), N ~P, ~~P ^M |- ~M ^ ~N
j) M > (N ^ O), N ~P, M ^ P, (~P Q) ^ (R O) |- Q v O
42
4 Elementos Bsicos de Organizao

Este captulo aborda os principais elementos utilizados para
descrever o computador atravs de equaes booleanas ou seu
equivalente em portas lgicas.
Durante sculos os matemticos sentiram que havia uma conexo entre a Matemtica e a
Lgica, mas ningum antes de George Boole pde achar este elo ausente. Em 1854 ele
inventou a lgica simblica, conhecida por lgebra booleana. Cada varivel na lgebra
booleana tinha qualquer um de dois valores: verdadeiro ou falso. Aps algumas dcadas os
engenheiros entenderam que a lgebra booleana poderia ser aplicada Eletrnica dos
Computadores.
4.1 Transistores
Para entender de que forma os circuitos de um computador so projetados, ou seja, de que
maneira possvel construir uma ULA (Unidade Lgica Aritmtica) ou um circuito decodificador,
necessrio no apenas compreender a lgica utilizada no projeto destes componentes, mas
tambm sua relao com os componentes fsicos.
Imagine um interruptor de luz. Trata-se de uma caixinha com uma pequena alavanca e dois
fios. Vire a alavanca para um dos lados e a energia no poder fluir pelos fios. Vire a alavanca
para o outro lado e agora a corrente eltrica poder passar. Um transistor um circuito
semelhante. Substitua a alavanca por um fio extra que pode ser usado para controlar o
interruptor. Quando colocamos tenso neste fio controlador, o efeito o mesmo que obtemos
ao desligar o interruptor. Quando interrompemos a tenso no controlador, o efeito o mesmo
que obtemos ao ligar o interruptor. A figura 1 apresenta o esquema de um transistor:
Figura 4: Esquema de um
transistor
Um transistor pode ser entendido, ento, como um circuito inversor. Dado que existe uma
certa tenso em um dos fios, podemos ligar ou desligar essa tenso aplicando ou no tenso
43
em um segundo fio controlador. Desta forma, se houver tenso no controlador no haver no

outro e vice-versa.
Independente dos detalhes do funcionamento de um transistor, o que importa neste contexto
saber que conectando da maneira apropriada dois ou mais destes circuitos possvel compor
os circuitos lgicos que so base de qualquer computador.
4.2 Interruptores
Chamamos de interruptor ao dispositivo ligado a um ponto de um circuito eltrico, que pode
assumir
um dos dois estados: fechado (1) ou aberto (0).
Quando fechado, o interruptor
permite que a corrente passe atravs do ponto, enquanto aberto nenhuma corrente pode passar
pelo ponto.
Figura 5: Representao de Interruptor Fechado e Aberto
Neste caso, somente conheceremos o estado do interruptor se tivermos a indicao de que a

= 1 ou a = 0. Conhecendo-se o estado de um interruptor a, poderamos denotar tambm por a
qualquer outro interruptor que apresente o mesmo estado de a, isto , aberto quando a est
aberto e fechado quando a est fechado.
Um interruptor aberto quando a est fechado e fechado quando a est aberto chama-se
complemento (inverso ou negao) de a, e denota-se por a' ou a.
Sejam a e b dois interruptores ligados em paralelo. Numa ligao em paralelo, s passar
corrente se pelo menos um dos interruptores estiver fechado, isto , apresentar o estado 1.
Denotaremos a ligao de dois interruptores a e b em paralelo por a + b. Ento:
Figura 6: Ligao de Interruptores
Sejam a e b dois interruptores ligados em srie. Numa ligao em srie s passar corrente
se ambos os interruptores estiverem fechados, isto , se a = b = 1. Denotaremos a ligao de
dois interruptores a e b em srie por a . b ou simplesmente ab, Ento:
Figura 7: Interruptores em Srie
Assim, considerando os estados possveis de serem assumidos pelos interruptores nas

ligaes em srie e em paralelo, podemos notar que:
44
0+0=0
0.0=0
0+1=1
0.1=0
1+0=1
1.0=1
1+1=1
1.1=1
a+b=b+a
a.b=b.a
a + a = 1
a . a = 0
a+0=a
a.0=0
a+1=1
a.1=a
Todas estas equaes podem ser verificadas desenhando-se o circuito apropriado, As

ligaes de:
Figura 8: Equaes em circuito
so a . (b + c) e (a . b) + (a . c), respectivamente. Os circuitos esto ambos abertos se a = O

ou b = c = 0, e esto ambos fechados se a = 1 ou b=c=1; logo, suas ligaes so iguais. Ento:
a . (b + c) = (a . b) + (a . c)
4.3 Portas Lgicas

Porta NOT (
Definio: uma porta com apenas um sinal de entrada e um sinal de sada, onde o estado da
sada sempre o oposto da entrada.
Representao Algbrica: S = A
Simbologia:
Tabela Verdade:
Figura 9: Porta NOT
Tabela 1: Tabela Verdade da Porta NOT
45
Porta OU (OR) ( + )
Definio: A porta OR tem dois ou mais sinais de entrada (padro 02 ou 03) mas somente um
sinal de sada. Se qualquer sinal de entrada for alto (nvel 1 - fechado), o sinal de sada ser alto.
Figura 10: Nvel da Porta OU
Representao Algbrica: S = A + B + C
Simbologia:
Tabela Verdade:
Figura 11: Porta OU
Tabela 2: Tabela Verdade da Porta OU
Porta E (AND) ( . )
Definio: A porta AND tem dois ou mais sinais de entrada (padro 02 ou 03) mas somente um
sinal
de
sada.
Se
qualquer
sinal
de
Figura 12: Nvel da Porta E
entrada for
baixo (nvel 0 - aberto), o sinal de sada ser baixo.
Representao Algbrica: S = A . B
Simbologia:
Tabela Verdade:
46
A
Figura 13: Porta E
Tabela 3: Tabela Verdade da Porta E
Porta NO OU (NOR) ( + )
Definio: As portas NOR apresentam as mesmas caractersticas das portas OR, com relao
entrada e sada. Sua diferena esta no fato de ter associado a sua sada uma porta NOT, o que
inverte o resultado de S, ou seja, s teremos nvel lgico 1 na sada quando todas as entradas
forem de nvel 0.
Representao Algbrica: S = A + B
Simbologia:
Tabela Verdade:
Figura 14: Porta NOR
Tabela 4: Tabela Verdade da Porta NOR
As portas NAND e NOR so de grande interesse

na rea de sistemas digitas pois, dependendo
da tecnologia empregada para a fabricao de
circuitos integrados, elas podem ser
implementadas de forma mais simples e
econmica que as portas AND e OR.
Porta NO E (NAND) ( . )
Definio: De maneira anloga s portas NOR, as portas NAND nada mais so que portas AND
onde foram acrescentadas portas NOT em sua sada. Portanto, s obteremos nvel 0 quando
todos as suas entradas forem de nvel 1.
Representao Algbrica: S = A . B
Simbologia:
Tabela Verdade:
47
A
Tabela 5: Tabela Verdade da Porta NO E

Figura 15: Portas NO E
Exemplo de uso em circuito de portas NAND:
Figura 16: Exemplo de circuito de portas NAND
Tabela 6: Tabela Verdade do exemplo
Porta OU EXCLUSIVO (EXOU / EXOR) ( )

Definio: Uma porta EXOR reconhece apenas quando houver um nmero diferente de
entradas em nvel alto.
Representao Algbrica: Y = A B
Simbologia:
Tabela Verdade:
Figura 17: Porta EXOR
Tabela 7: Tabela Verdade da Porta EXOR
Porta NO OU EXCLUSIVO (EXNOR) ( )

Definio: basta adicionarmos ao final de uma porta EXOR uma porta inversora, o que
provocar a inverso dos resultados na sada.
Representao Algbrica: Y = A B
Simbologia:
Tabela Verdade:
48
Figura 18: Porta EXOR
Tabela 8: Tabela Verdade da Porta EXNOR
4.4 lgebra booleana e Circuitos Lgicos
Em 1938 o matemtico americano Claude Shannon percebeu que a lgebra booleana

poderia ser representada atravs de circuitos eletrnicos e que desta forma seria possvel
construir equipamentos lgicos.
Inicialmente ele substituiu os valores verdade {V,F} pelos valores {0,1} associando-os a
diferentes nveis de voltagem em um circuito (por exemplo: -5 volts corresponde ao valor 0 e 5
volts corresponde ao valor 1).
Associando estes valores a um circuito inversor (transistor), obtemos um circuito que
implementar a tabela verdade da funo NOT.
Combinando-se circuitos inversores possvel implementar as tabelas verdades das funes
AND e OR que so as funes bsicas da lgebra booleana. Estes circuitos podem ser
representados sob a forma de smbolos ou portas lgicas.
As portas bsicas podem ser combinadas para formar circuitos mais complexos. As
ilustraes abaixo apresentam a tabela verdade e o circuito, respectivamente, correspondente
funo lgica maioria. O comportamento desta funo o seguinte: se a maioria das entradas
for 1, ento o resultado 1 e vice-versa.
Maioria = ABC+ABC+ABC+ABC
Tabela 9: Tabela Verdade da

funo lgica maioria
Figura 19: Circuito correspondente funo lgica maioria
49
Considerando que:
a)
Uma
funo
booleana
pode
ser
completamente especificada por uma tabela

verdade;
Uma funo boleana pode ser representada

por uma expresso ou por uma tabela verdade.
Um circuito implementa uma funo boleana.
b) Para qualquer tabela verdade pode-se

encontrar
uma
expresso
booleana
equivalente escrita em termos dos operadores AND, OR e NOT;

c) Podemos usar as portas lgicas bsicas para implementar circuitos.
Pode-se concluir que qualquer funo booleana pode ser implementada usando um circuito
composto por portas lgicas.
4.5 Teoremas e Postulados Booleanos

Para facilitar o tratamento das funes lgicas, utiliza-se a representao da funo lgica
atravs de Equaes Booleanas, conforme ilustrao a seguir:
Funo Lgica
Smbolo da Porta
Equao Booleana
AND
S=A.B
OR
S=A+B
XOR
S=AB
NOT
S=A
NAND
S=A.B
NOR
S=A+B
EXNOR
S=AB
Tabela 10: Equaes Booleanas correspondentes s Funes Lgicas
50
A lgebra booleana possui as mesmas propriedades da lgebra linear, se considerarmos:

a operao lgica bsica A AND B como a multiplicao A . B ou (AB)
a operao A OR B como a soma A + B
Propriedade Comutativa:
Propriedade Associativa:
Propriedade Distributiva:
Elemento Neutro:
AB=BA
A+B=B+A
A (B C) = (A B) C
A + (B + C) = (A + B) + C
A (B + C) = A B + A C
A + (B C) = (A + B)(A + C)
0+A=A
1.A=A
Propriedade
A.A=0
Complementar:
A+A=1
Propriedade De Morgan:
(A + B) = (A . B)
(A . B) = (A + B)
Tabela 11: Propriedades utilizadas para simplificar Expresses Booleanas
A partir destes postulados e teoremas, podemos simplificar expresses booleanas como nos
exemplos a seguir:
Exemplo: Simplificar as expresses abaixo utilizando a lgebra Booleana.
a) S = A.B.C + A.C + A.B Propriedade Distributiva
S = A.(B.C + C + B) Propriedade De Morgan
S = A.(B.C + B.C)
S = A.1
Propriedade Neutro
.1 =
S=A
b) F = A.B + A.B + A.B Propriedade Associativa
F = B.(A + A) + A.B
F = B.1 + A.B
F = B + A.B
F = (B + A).(B + B)
F=B+A
Elemento Neutro
B.1 = B
Propriedade Distributiva
Elemento Neutro
Propriedade De Morgan
F = B.A
4.5.1 Gerando Tabelas Verdade atravs de Expresses Booleanas

Para obter a Tabela Verdade atravs de uma Expresses Booleanas deve-se seguir alguns
procedimentos:
1. Desenhar o quadro de possibilidades.
2. Montar as colunas para as entradas possveis.
51
3. Preencher as colunas com seus resultados.

4. Para gerar a sada, deve-se realizar todas as operaes necessrias.
Exemplo: Dada a expresso: S = A + B + A.B.C
Realizando as sadas
S = 0 + 0 + 0.0.0 = 1+0+0.1.1= 1
S = 0 + 0 + 0.0.1 = 1+0+0.1.0= 1
S = 0 + 1 + 0.1.0 = 1+1+0.0.0= 1
S = 0 + 1 + 0.1.1 = 1+1+0.0.0= 1
S = 1 + 0 + 1.0.0 = 0+0+1.1.1= 1
S = 1 + 0 + 1.0.1 = 0+0+1.0.1= 0
S = 1 + 1 + 1.1.0 = 0+1+1.0.1= 1
S = 1 + 1 + 1.1.1 = 0+1+1.0.0= 1
Tabela 12: Tabela Verdade obtida da expresso Booleana
4.5.2 Gerando Expresses Booleanas atravs de Tabelas Verdade

Para obter uma Expresso Booleana atravs de uma Tabela Verdade deve-se seguir alguns
procedimentos:
1. Analisa-se todas as situaes quem que a expresso verdadeira (S = 1) e monta-se
a expresso adequada.
2. Para se obter a expresso basta somar as expresses encontradas.
Exemplo:
Anlise dos casos em que S =

1
Se X = 1 >> A . B . C
Se X = 1 >> A . B . C
Se X = 1 >> A . B . C
Se X = 1 >> A . B . C
Tabela 13: Tabela Verdade obtida da expresso Booleana
Expresso Booleana encontrada:

S=A.B.C+A.B.C+A.B.C+A.B.C
52
4.5.3 Gerando Expresses Booleanas atravs de Circuito Lgico

Para obter uma Expresso Booleana atravs de um Circuito Lgico deve-se:
1. Extrair deste todas as expresses bsicas at chegar ao S final.
Exemplo:
Expresso Booleana encontrada:

S=A.B+C
Exemplo:
Determinar a expresso Booleana que representa a tabela verdade abaixo. Simplifique e
otimize a expresso utilizando a simplificao de expresses. Desenhe a interligao de portas
bsicas que implementa a tabela verdade.
Anlise dos casos em que Y = 1

A=0, B=0, C=1 >> A=1, B=1, C=1 >> A .
B.C
A=0, B=1, C=1 >> A=1, B=1, C=1 >> A .
B.C
A=1, B=1, C=0 >> A=1, B=1, C=1 >> A .

B.C
Soluo:
Y = A B C + A B C + A B C >> Propriedade Associativa

Y = A B C + B (A C+ A C)
Mas a funo lgica XOR com duas variveis A e C tem a seguinte Tabela Verdade /
Expresso Booleana:
53
Y = A C = AC + AC
Y = A B C + B (A C)
Logo,
Utilizando o Teorema De Morgan obtemos a seguinte Expresso Booleana simplificada:

Y = (A + B)C + B(A C)
Que resulta no seguinte circuito lgico:
Figura 20: Circuito Lgico
Exerccio Proposto
1. Usando apenas portas AND, OR e NOT, construa circuitos que implementem as
seguintes tabelas verdade:
a)
c)
A
54
b)
d)
A
2. Construa as tabelas verdade e os circuitos correspondentes as seguintes expresses

booleanas:
a) A(A+B)+AB
b) (A+A)B
c) ABC+ABC+ABC+ABC
d) AB+ABC+ABC+ABC
e) (AB+A)(A+B)
f) (ABC)+(ABC)+(ABC)
g) AB+AB
3. Simplifique as expresses abaixo utilizando a lgebra Booleana.
a) H = A.B.C + B.C
b) Y = (A + B + C) + (B + C)
c) S = (A + B + C) . (A + B)
d) T = A.B + A.B.C + A.B.C
e) F = X.Y.Z + X.Z + X.Y.Z + X.Z
f) G = A.(B + B.C) + A.B + B.C.(A + C)
4. Defina a tabela verdade dos seguintes circuitos:
a)
55
b)
c)
d)
5.
Determine as condies de entrada necessrias para que a sada da figura abaixo
seja 1.
6.
Simplifique as expresses abaixo utilizando os postulados da lgebra Booleana.
a) S = AB+BC
b) S = (A+B+C)+(B+C)
c) S = (A+B+C)(A+B)
56
d) S = ABC+ABC
e) S = (AB+BC)
f) S = AC+AC
g) S = 1.(AB)
7. Implemente os circuitos das funes abaixo utilizando qualquer porta lgica de no
mximo 2 entradas.
a) F = X.(Y + Z) + W.Z + Y
b) F = A B + (C + D).A
c) S = A + C.D.(A B)
d) G = X.Z.Y.W + (Z W).X
57
5 Bibliografia
(1) BASTOS, Cleverson L. & KELLER, Vicente. Aprendendo Lgica. 5 Ed. Vozes.
Petrpolis, RJ. 1991.
(2) AZEREDO, Vnia Dutra de. Introduo Lgica. 1 Ed. Uniju. Iju, RS. 1997.
(3) NAHRA, Cinara & WEBER, Ivan Hingo. Atravs da Lgica. 3 Ed. Vozes. Petrpolis, RJ.
1999.
(4) LEYSER, Magda. ApostilaLgica Matemtica. Senac/RS.
(5) GERSTING, J.L. Fundamentos Matemticos para Cincia da Computao. 4a edio.
Rio de Janeiro: LTC.1999.
(6) FONTES,
Carlos.
Definio
Evoluo
da
Lgica.
Disponvel
em:
http://afilosofia.no.sapo.pt/pag2Def.htm. Acesso em: 07/07/2011.

(7) O baco Chines. Disponvel em: http://web.ticino.com/calcolo/abici/cinese.html. Acesso
em: 22/12/2010.
(8) Zimmer, Alessandro. Engenharia de Computao: Conceitos Bsicos de Informtica.
2008.
(9) Vasconcelos,
Larcio.
Curso
de
hardware
bsico.
2003.
Disponvel
em:
http://www.laercio.com.br. Acesso em 22/12/2010.

(10) Introduo a Informtica. Disponvel em: http://waytech.sites.uol.com.br. Acesso em:
22/12/2010.
(11)
De Fazzio, Paulo Jos Jr. Introduo a Informtica: Noes de Informtica. 2002.
(12) Tipos de Computadores: Classificao dos Computadores por Porte de Utilizao.

Disponvel em: http://www.slideshare.net/barao/tipos-de-computador. Acesso em:
23/12/2010.
(13) Kniphoff, Michel. Boole e Portas Lgicas. Senac. 2007.
(14) Google. Disponvel em: http://www.google.com.br. Acesso em: 22/12/2010.
(15) Apostilando.com. Disponvel em: http://apostilando.com. Acesso em: 23/12/2010.
(16) HowStuffWorks.
Disponvel
em:
http://informatica.hsw.uol.com.br.
Acesso
em:
11/01/2011.
(17) Wikipedia. Disponvel em: http://pt.wikipedia.org. Acesso em: 03/01/2011.
(18) Prefixes for Binary Multiples. Disponvel em: http://www.iec.ch/zone/si/si_bytes.html.
Acesso em: 17/01/2011.
(19) Weber, Raul Fernando. Fundamentos de Arquitetura de Computadores. 2 Ed, Porto
Alegre: Instituto de Informtica da UFRGS: Editora Sagra Luzzatto, 2001.

Apostila Logica

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Apostila Logica

Caricato da

Copyright:

Formati disponibili

1

Lgica Formal e Booleana

Instituto Federal de Santa Catarina Campus Chapec

Lgica Formal e Booleana

3.7 Construo da tabela-verdade para as

1.1 Para que serve a Lgica?.......................3

1.2 Conceitos de Lgica...............................4

3.11 Implicao ou Equivalncia Lgica.....34

2 Breve histrico da Lgica...............................5

3.12 Argumentos Lgicos...........................36

2.1 Forma clssica antiga ou lgica grega

3.12.1 Validade de Argumentos.............37

3.12.2 Validade de um argumento atravs

2.2 Forma escolstica ou medieval..............6

2.3 Forma matemtica..................................6

3.12.3 Avaliao de um Argumento:

3 Linguagens Formais: Clculo Proposicional...7

3.1 Charada: uma introduo ao uso de

3.12.4 Validade dos argumentos mediante

3.2 Argumentos ou Proposies...................9 4 Elementos Bsicos de Organizao.............44

3.3.1 Aplicao: Discusso da Famlia

4.3 Portas Lgicas .....................................46

3.4 Operaes lgicas sobre as proposies

4.4 lgebra booleana e Circuitos Lgicos...50

4.5 Teoremas e Postulados Booleanos.......51

4.5.1 Gerando Tabelas Verdade atravs

de Expresses Booleanas .....................53

3.4.3 Disjuno Exclusiva......................17

4.5.2 Gerando Expresses Booleanas

atravs de Tabelas Verdade...................54

3.4.5 Proposio condicional.................18

4.5.3 Gerando Expresses Booleanas

3.4.6 Proposio bicondicional...............19

atravs de Circuito Lgico.......................54

3.5 Tabelas-verdade...................................21 5 Bibliografia...................................................64

Ela, a lgica, lhe dar clareza de pensamento, a

Falcias: so formas de argumentos/proposies que parecem vlidas, mas se examinadas mas

1.1 Para que serve a Lgica?

Descreve o mundo real

Fala da linguagem que uso para descrever o mundo real

a cincia dos princpios da validade formal da inferncia (raciocnio realizado

1.2 Conceitos de Lgica

Concluso: "Pedro mortal".

Concluso: Jos americano

2 Breve histrico da Lgica

2.1 Forma clssica antiga ou lgica grega antiga

transformada em dialtica construtiva por Plato, que tem o

Figura 1: Aristteles, Museu

Nesta forma, as proposies lgicas constam de palavras da linguagem corrente

2.2 Forma escolstica ou medieval

Categorias e a Interpretao de Aristteles. Ao mesmo

tempo trabalha-se, como problema novo, com as propriedades dos termos. Em um

2.3 Forma matemtica

arte de pensar melhor e no como teoria, uma disciplina prtica.

3 Linguagens Formais: Clculo Proposicional

2. Devemos tambm verificar quais so os envolvidos na questo:

De quem esta foto?, que

Repare que se torna muito mais fcil resolver um problema se:

3.2 Argumentos ou Proposies

Tem sentido Posso dizer

A rvore tem galhos.

Que horas so?

Concluindo, pode-se dizer que proposio simples a que no contm nenhuma