You are on page 1of 73

Faculdades Pitgoras

de Uberlndia
Sistemas de Informao

Apostila de

Lgica Matemtica e
Computacional

Prof. Walteno Martins Parreira Jnior


www.waltenomartins.com.br
waltenomartins@yahoo.com

2014

Lgica Matemtica e Computacional

Sumrio
0

APRESENTAO ............................................................................................................................................... 4
0.1
Metodologia da Disciplina ........................................................................................................................ 4
0.2
Viso geral da Disciplina .......................................................................................................................... 4
0.3
Objetivos da Disciplina ............................................................................................................................. 4
0.4
Atividades em grupo: ................................................................................................................................ 4
0.5
Avaliao dos Alunos ................................................................................................................................ 4
INTRODUO LGICA ................................................................................................................................ 5
1.1
Origens ....................................................................................................................................................... 5
1.2
Conceitos preliminares. ............................................................................................................................ 5
1.2.1 Proposio ................................................................................................................................................ 5
1.2.2 As trs leis do pensamento........................................................................................................................ 6
1.2.3 Valores lgicos das proposies ............................................................................................................... 6
1.2.4 Sentenas abertas ...................................................................................................................................... 7
1.2.5 Proposies simples (atmicas) ................................................................................................................ 7
1.2.6 Conectivos lgicos .................................................................................................................................... 7
1.2.7 Proposies compostas ............................................................................................................................. 7
1.3
Tabelas-verdade e conectivos. .................................................................................................................. 8
1.3.1 Operao Lgica Negao ........................................................................................................................ 9
1.3.2 Operao Lgica Conjuno ..................................................................................................................... 9
1.3.3 Operao Lgica Disjuno .................................................................................................................... 10
1.3.4 Operao Lgica Condicional ................................................................................................................ 11
1.3.5 Operao Lgica Bi-condicional ............................................................................................................ 12
1.3.6 - Tabela Verdade dos conectores ............................................................................................................... 12
1.3.7 Ordem De Precedncia Dos Conectores ................................................................................................. 13
1.4
Exerccios ................................................................................................................................................. 13
TAUTOLOGIA, CONTINGNCIA E CONTRADIO ................................................................................. 17
2.1
Tautologia ................................................................................................................................................ 17
2.2
Contradio ............................................................................................................................................. 17
2.3
Contingncia ............................................................................................................................................ 17
2.4
Exerccios ................................................................................................................................................. 18
EQUIVALNCIA E IMPLICAO LGICA. ................................................................................................ 19
3.1
Introduo................................................................................................................................................ 19
3.2
Conceito de implicao lgica ................................................................................................................ 19
3.3
Propriedades da implicao lgica: reflexiva e transitiva ................................................................... 19
3.4
Demonstrao de implicao lgica, comparando-se tabelas-verdade ............................................... 19
3.5
Demonstrao de implicao lgica, substituindo-se a relao pelo conectivo .................................. 20
3.6
Implicao entre Sentenas Abertas ...................................................................................................... 20
3.7
Propriedades das Implicaes Lgicas .................................................................................................. 20
3.8
Implicaes Notveis ............................................................................................................................... 20
3.9
Teorema Contra-Recproco .................................................................................................................... 22
3.10
Relao Entre Implicaes ..................................................................................................................... 22
3.11
Equivalencias entre Implicaes ............................................................................................................ 22
3.12
Conceito de equivalncia lgica ............................................................................................................. 22
3.13
Propriedades da equivalncia lgica: reflexiva, simtrica e transitiva ............................................... 22
3.14
Demonstrao de equivalncia lgica, comparando-se tabelas-verdade ............................................ 23
3.15
Demonstrao de equivalncia lgica, substituindo-se a relao pelo conectivo ............................... 23
3.16
Equivalencia entre Sentenas Abertas .................................................................................................. 23
3.17
Propriedades das Equivalncias Lgicas .............................................................................................. 24
3.18
Equivalncias Notveis ........................................................................................................................... 24
3.19
lgebra das proposies. ........................................................................................................................ 25
3.20
Exerccios ................................................................................................................................................. 26
MTODOS PARA DETERMINAO DA VALIDADE DE FRMULAS ................................................... 28
4.1
Mtodo da Tabela-Verdade .................................................................................................................... 28
4.2
rvore Semntica .................................................................................................................................... 28
4.3
Negao ou Absurdo ............................................................................................................................... 29
4.4
Exerccios: ................................................................................................................................................ 31
LGEBRA BOOLEANA .................................................................................................................................. 33
5.1
Conceitos preliminares. .......................................................................................................................... 33
5.1.1 Variveis e Expresses na lgebra de Boole.......................................................................................... 33
5.1.2 Postulados ............................................................................................................................................... 33

Prof. Walteno Martins Parreira Jnior

Pgina 2

Lgica Matemtica e Computacional


5.2
Teoremas da lgebra de Boole. ............................................................................................................. 34
5.2.1 - Introduo................................................................................................................................................ 34
5.2.2 Condies ............................................................................................................................................... 34
5.2.3 - Propriedades ............................................................................................................................................ 35
5.2.4 Teoremas de De Morgan......................................................................................................................... 36
5.2.5 Identidades Auxiliares ............................................................................................................................ 36
5.2.6 - Tabela com as propriedades da lgebra de Boole................................................................................... 36
5.3
Mtodos para minimizao de funes: Mtodo Algbrico e Mapa de Karnaugh. ........................... 37
5.3.1 Mtodo Algbrico ................................................................................................................................... 37
5.3.2 Exemplos de resoluo pelo mtodo algbrico: ...................................................................................... 37
5.3.3 Mapa de Veitch-Karnaugh ...................................................................................................................... 39
5.3.4 Exemplo de resoluo pelo Mapa de Karnaugh:..................................................................................... 39
5.3.5 - Obtendo a Simplificao de uma Expresso com 2 Variveis ................................................................ 40
5.3.6 - Simplificao de uma Expresso com 3 ou mais Variveis .................................................................... 40
5.3.7 Observaes Sobre as Simplificaes ..................................................................................................... 42
5.3.8 Outras Formas de Representao do Mapa de Karnaugh ....................................................................... 43
5.3.9 Soma de Produtos ................................................................................................................................... 43
5.3.10 Produtos da Soma ................................................................................................................................. 45
5.4
Exerccios ................................................................................................................................................. 46
6
PORTAS LGICAS........................................................................................................................................... 49
6.1
Introduo................................................................................................................................................ 49
6.2
Circuitos Lgicos ..................................................................................................................................... 49
6.3
Variveis e Expresses na lgebra de Boole......................................................................................... 49
6.4
Postulados ................................................................................................................................................ 50
6.5
Representao.......................................................................................................................................... 50
6.6
Exemplos de exerccios de portas lgicas: ............................................................................................. 51
6.7
Exerccios ................................................................................................................................................. 52
7
REGRAS DE INFERNCIA ............................................................................................................................. 56
7.1
Argumentos.............................................................................................................................................. 56
7.1.1
Validade de um argumento atravs da Tabela-verdade ................................................................... 56
7.2
Processo de inferncia ............................................................................................................................. 56
7.2.1
Modus Ponens (MP) ........................................................................................................................ 57
7.2.2
Modus Tollens (MT) ....................................................................................................................... 57
7.2.3
Silogismo Hipottico (SH) .............................................................................................................. 57
7.2.4
Silogismo Disjuntivo (SD) .............................................................................................................. 57
7.2.5
Dilema Construtivo (DC) ................................................................................................................ 57
7.2.6
Dilema Destrutivo (DD) .................................................................................................................. 58
7.2.7
Absoro (ABS) .............................................................................................................................. 58
7.2.8
Simplificao (SIMP) ...................................................................................................................... 58
7.2.9
Conjuno (CONJ) .......................................................................................................................... 58
7.2.10
Adio (AD) .................................................................................................................................... 58
7.2.11
Exemplo ........................................................................................................................................... 59
7.2.12
Reviso ............................................................................................................................................ 60
7.2.13
Exerccios resolvidos ....................................................................................................................... 60
7.3
Exerccios ................................................................................................................................................. 61
8
SISTEMAS DE NUMERAO ........................................................................................................................ 62
8.1
Sistemas de Numerao Posicionais ...................................................................................................... 63
8.2
Converses entre Bases ........................................................................................................................... 65
8.2.1
Converso entre bases 2, 8 e 16 ....................................................................................................... 65
8.2.2
Converso de Nmeros em uma base b qualquer para a base 10..................................................... 66
8.2.3
Converso de Nmeros da Base 10 para uma Base b qualquer ....................................................... 67
8.2.4
Converso de Nmeros entre duas Bases quaisquer ........................................................................ 68
8.3
Aritmtica em Binrio ............................................................................................................................ 69
8.3.1
Operao direta ................................................................................................................................ 69
8.3.2
Complemento a Base ....................................................................................................................... 70
8.3.3
Multiplicao em binrio ................................................................................................................. 70
8.4
Aritmtica em outras bases .................................................................................................................... 71
8.4.1
Operao direta ................................................................................................................................ 71
BIBLIOGRAFIA: ........................................................................................................................................................ 73

Prof. Walteno Martins Parreira Jnior

Pgina 3

Lgica Matemtica e Computacional

APRESENTAO

0.1

Metodologia da Disciplina

0.2

Aula expositiva: informao, conhecimento, aprendizagem de conceitos e princpios.


Atividades de aprendizagem em grupo: desenvolvimento de habilidades e competncias,
no s da disciplina em questo, mas tambm habilidade de trabalhar em grupos e
equipes. nfase em projetos e pesquisas dos alunos, fazendo a relao entre a teoria e o
mundo real.
Atividades Avaliativas (individuais e coletivas)
Viso geral da Disciplina

0.3

A disciplina de Lgica Matemtica e Computacional fundamental para todos os alunos


das reas de Engenharias e da Computao diante da sua ampla aplicabilidade.
A Lgica permite formalizar argumentos que podem ser validados ou refutados, usando
raciocnio lgico. Estas estruturas de argumentao podem ser utilizadas na elaborao
de algoritmos na rea de programao.
Alm disso, a disciplina de Lgica Matemtica e Computacional prepara os alunos para
projetar sistemas digitais, utilizando os diferentes sistemas de numerao e os conceitos
de lgebra booleana, temas desta disciplina.
Objetivos da Disciplina

0.4

Desenvolver no aluno a habilidade de elaborar uma estrutura de argumentao lgica,


utilizando uma linguagem formal, tanto para verbaliz-la, como para verificar
equivalncias e implicaes.
Preparar o aluno para aplicar os conceitos de lgica na modelagem e na construo de
algoritmos computacionais.
Capacitar o aluno a aplicar os conceitos de inferncia lgica na construo de
dispositivos autnomos e sistemas especialistas.
Capacitar o aluno a aplicar os conceitos da lgebra booleana na construo de sistemas
digitais, assim como a utilizao dos diferentes sistemas de numerao.
Atividades em grupo:

0.5

O aluno deve usar o material indicado pelo professor. No possvel desenvolver


satisfatoriamente uma atividade sem um mnimo de conhecimento do contedo
ministrado nas aulas expositivas.
A participao ser avaliada a cada encontro. A nota de participao no nota de
presena e sim das atividades efetivamente desenvolvidas.
Avaliao dos Alunos

Conhecimentos adquiridos.
Habilidades e competncias especficas da disciplina, principalmente, a competncia
argumentativa.
Atitudes: abertura s idias e aos argumentos dos outros, mostrando disponibilidade
para rever suas prprias opinies; cooperao com os outros, mostrando que a crtica s
eficaz atravs do dilogo justo e honesto, no seio de uma comunidade.
Participao efetiva nas aulas e atividades coletivas (no apenas presena).

Prof. Walteno Martins Parreira Jnior

Pgina 4

Lgica Matemtica e Computacional

INTRODUO LGICA

1.1

Origens

A lgica iniciou seu desenvolvimento na Grcia Aristteles (384 322 AC) e os antigos
filsofos gregos passaram a usar em suas discusses sentenas enunciadas nas formas afirmativa
e negativa, resultando em grande simplificao e clareza.
Em 1847, Augustus DeMorgam (1806-1871) publicou o tratado Formal Logic. Em 1848,
George Boole (1815-1864) escreveu The Mathematical Analysis of Logic e depois publicou um
livro sobre o que foi denominado posteriormente de lgebra de Boole.
Em 1879, Gotlob Frege (1848-1925) contribuiu no desenvolvimento da lgica com a obra
Begriffsschrift. As idias de Frege s foram reconhecidas pelos lgicos mais ou menos a partir de
1905. A escola italiana, que desenvolveu quase toda simbologia da matemtica utilizada
atualmente, composta de Giuseppe Peano (1858-1932) e tambm por Burali-Forti, Vacca, Pieri,
Pdoa, Vailati, etc.
Bertrand Russell (1872-1970) e Alfred North Whitehead (1861-1947) iniciam o atual
perodo da lgica com a publicao da obra Principia Mathematica no incio do sculo XX.
Tambm contribuem para o estgio atual, David Hilbert (1862-1943) e sua escola alem com von
Neuman, Bernays, Ackerman e outros.
Em 1938, Claude Shannon mostrou a aplicao da lgebra de Boole na analise de
circuitos de rels.
Podemos dizer que a lgica estuda as condies objetivas e ideais para justificar a verdade
e no cuida da prpria verdade. Ela estuda as condies formais para justificar a verdade, isto ,
as condies que o pensamento deve preencher para ser coerente consigo mesmo e demonstrar a
verdade j conhecida. A lgica estuda as relaes do pensamento consigo mesmo para possibilitar
a construo de um contexto correto de justificao, isto , para a definio argumentativa de
premissas corretamente dispostas para uma concluso justificada. Uma das condies para se ter
a verdade demonstrada, e portanto justificada, que o pensamento seja coerente consigo mesmo,
isto , que siga as leis da razo expressa lingisticamente.

1.2

Conceitos preliminares.

1.2.1 Proposio
Definio: todo conjunto de palavras ou smbolos que exprimem um pensamento de sentido
completo.
As proposies transmitem pensamentos, isto , afirmam fatos ou exprimem juzos que formamos
a respeito de determinados entes.
Exemplos:
Japo est situado no continente africano.
A lmpada da sala est acesa.
A cidade de Recife a capital de Pernambuco.
Na linguagem natural nos acostumamos com vrios tipos de proposies ou sentenas:
a) Declarativas
Mrcio engenheiro.
Todos os homens so mortais.
sen (/2) = 1
Prof. Walteno Martins Parreira Jnior

Pgina 5

Lgica Matemtica e Computacional

A lua gira em torno da terra.


b) Interrogativas
Ser que o Roberto vai ao cinema hoje?
Quantos alunos faltaram hoje a aula de lgica?
O Brasil ganhar a copa do mundo de 2006?
c) Exclamativas
Feliz Natal!
Vencemos!
Passamos no vestibular!
d) Imperativas
No falte as aulas de lgica.
Feche a porta.
Fique calado.
Estudaremos somente as proposies declarativas, pois elas podem ser facilmente classificadas
em verdadeiras ou falsas.
1.2.2 As trs leis do pensamento
A lgica adota como regras fundamentais do pensamento os seguintes princpios (ou axiomas):
a) Princpio da Identidade
Se qualquer proposio verdadeira, ento ela verdadeira.
b) Princpio da No-Contradio
Uma proposio no pode ser verdadeira e falsa ao mesmo tempo.
c) Princpio do terceiro Excludo
Toda proposio ou verdadeira ou falsa, isto , verifica-se sempre um destes casos e
nunca um terceiro caso.
Com base nesses princpios as proposies simples so ou verdadeiras ou falsas - sendo
mutuamente exclusivos os dois casos; da dizer que a lgica clssica bivalente
Exemplos de proposies falsas:
O navegador Vasco da Gama descobriu o Brasil.
O escritor francs Dante escreveu Os Lusadas.
nmero um nmero racional.
O Mxico est localizado na Amrica do Sul.

1.2.3 Valores lgicos das proposies


Definio: chama-se valor lgico de uma proposio a verdade se a proposio verdadeira e a
falsidade se a proposio falsa.
Os valores lgicos verdade e falsidade de uma proposio designam-se abreviadamente pelas
letras V e F respectivamente. Assim, o que os princpios (axiomas) afirmam que:
Toda proposio tem um, e um s, dos valores V e F.
O valor lgico de uma proposio P a verdade (V) se P verdadeira, escrevendo:
v(P) = V

e l-se: o valor lgico de P V

Exemplos:
Prof. Walteno Martins Parreira Jnior

Pgina 6

Lgica Matemtica e Computacional

P: O mercrio mais pesado que a gua.

v(P) = V

Q: O sol gira em torno da Terra.

v(Q) = F

R: A lua um satlite natural da Terra.

v(R) = V

1.2.4 Sentenas abertas


Definio: quando em uma proposio substitumos alguns (ou todos os) componentes por
variveis, obtemos uma sentena (proposio) aberta.
Seja a proposio Magda Uberlandense, se substitumos o nome Magda pela varivel X,
obteremos a sentena aberta X Uberlandense, que no necessariamente verdadeira e nem
falsa.
Exemplos:
P: X filho de Y.
Q: x y = 12
R: Se x sobrinho de y, ento, x primo de z.
1.2.5 Proposies simples (atmicas)
Definio: chama-se proposio simples, a proposio que no contm nenhuma outra
proposio como parte integrante de si.
Exemplos:
P: Carlos careca.
Q: Pedro estudante.
R: O galo pe ovos.
1.2.6 Conectivos lgicos
Definio: so palavras ou frases que so usadas para formar novas proposio a partir de outras
proposies.
Os conectivos usuais em lgica matemtica so:
Conectivo

Palavras

Smbolo

No

~ ou

Conjuno

Disjuno

Ou

Se ... ento ...

... Se, e somente se ...

Negao

Condicional
Bicondicional
1.2.7 Proposies compostas

Definio: so as proposies formadas por duas ou mais proposies simples e ligadas pelos
conectivos lgicos.
Exemplos:
P: Carlos careca e Pedro estudante.
Q: Carlos careca ou Pedro estudante.
Prof. Walteno Martins Parreira Jnior

Pgina 7

Lgica Matemtica e Computacional

R: Se Carlos careca, ento Carlos infeliz.


S: Carlos careca se, e somente se Pedro estudante.

1.3

Tabelas-verdade e conectivos.

Segundo o Princpio do terceiro excludo, toda proposio simples P verdadeira ou


falsa, isto , tem valor lgico V (verdade) ou o valor lgico F (falsidade). Em uma proposio
composta, a determinao do seu valor lgico feito segundo o princpio: O valor lgico de
qualquer proposio composta depende unicamente dos valores lgicos das proposies simples
componentes, ficando por eles univocamente determinado.
Para aplicar este princpio na prtica, recorre-se ao uso do dispositivo denominado
Tabela-verdade, que apresenta todos os possveis valores lgicos da proposio composta
correspondentes a todas as possveis atribuies de valores lgicos s proposies simples
correspondentes.
O nmero de linhas da tabela-verdade de uma proposio composta est em funo do
nmero de proposies simples que a compem. A tabela-verdade de uma proposio composta
com n proposies simples contm 2n linhas.
Portanto, podemos observar:
a) Para uma proposio simples P, o numero de linhas da tabela-verdade ser: 21 = 2,
representando na tabela-verdade:
P
V
F
b) Para uma proposio composta cujas proposies simples componentes so P e Q, o nmero
de linhas da tabela-verdade ser: 22 = 4 , que ser representada:
P

c) Para uma proposio composta cujas proposies simples componentes so P, Q e R, o


nmero de linhas da tabela-verdade ser: 23 = 8 , que ser representada:

Prof. Walteno Martins Parreira Jnior

F
Pgina 8

Lgica Matemtica e Computacional

Observe que os valores lgicos V e F se alternam de quatro (4) em quatro para a primeira
proposio (P), de dois (2) em dois para a Segunda proposio (Q) e de um (1) em um para a
terceira proposio (R).

1.3.1 Operao Lgica Negao


Definio: chama-se negao de uma proposio P a proposio representada por No P, cujo
valor lgico a verdade (V) quando P falsa e a falsidade (F) quando P
verdadeira.
Simbolicamente, a negao de P indica-se com a notao ~P, que se l: NO P
A tabela-verdade:
P
V

~P
F

v(~P) = ~ v(P)

Para uma proposio P, podemos formar a sua negao de qualquer um dos seguintes modos:
no verdade que P
falso que P
no em P
Exemplo:
P: Ldia estudiosa.
~P: No verdade que Ldia estudiosa.
~P: falso que Ldia estudiosa.
~P: Ldia no estudiosa.
Q: Joo no foi ao cinema.
~Q: falso que Joo no foi ao cinema.
Observaes: Pode-se ter algumas variaes, por necessidades da lngua portuguesa, por
exemplo:
P: Todos os homens so elegantes.
~P: Nem todos os homens so elegantes.
Q: Nenhum homem elegante.
~Q: Algum homem elegante.

1.3.2 Operao Lgica Conjuno


Definio: 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 e a falsidade (F) nos demais casos.
Simbolicamente, a conjuno de duas proposies P e Q indica-se com a notao
que se l P E Q. A tabela-verdade:

Prof. Walteno Martins Parreira Jnior

P Q ,

Pgina 9

Lgica Matemtica e Computacional

PQ

v(PQ) = v(P) v(Q)

Exemplo:
P: Pitgoras era Grego

Q: Descartes era Francs

P Q: Pitgoras era Grego e Descartes era Francs.


v(P) = V e v(Q) = V v(P Q) = V

1.3.3 Operao Lgica Disjuno


Definio: chama-se disjuno de duas proposies P e Q a proposio representada por P ou
Q, cujo valor lgico a verdade (V) quando ao menos uma das proposies P e Q
verdadeira e a falsidade (F) quando as proposies P e Q so ambas falsas.
Simbolicamente, a conjuno de duas proposies P e Q indica-se com a notao
que se l P OU Q.

P Q ,

A tabela-verdade:
P

PQ

v(PQ) = v(P) v(Q)

Exemplo:
P: A cidade de Paris a capital da Frana
Q: O sol um satlite artificial da terra
P Q: A cidade de Paris a capital da Frana ou o sol um satlite artificial da terra.
v(P) = V e v(Q) = F v(P Q) = V
Na linguagem coloquial a palavra ou tem dois sentidos. Exemplifiquemos:
P: Amilton bombeiro ou eletricista.
Q: Rosa mineira ou goiana.
Na proposio Q (Rosa mineira ou goiana), est afirmando que somente uma das proposies
verdadeira, pois no possvel ocorrer as duas coisas: Rosa ser mineira e goiana ao mesmo
tempo.
Na proposio P, diz-se que o ou inclusivo, j na proposio Q diz-se que o ou exclusivo.
Logo a proposio P uma disjuno inclusiva ou simplesmente disjuno; e a proposio Q a
disjuno exclusiva.
A disjuno exclusiva de duas proposies P e Q a proposio composta P Q, que se l: ou
P ou Q ou se l P ou Q, mas no ambos. a falsidade (F) quando o valor lgico das
proposies P e Q forem ambos verdadeiros ou ambos falsos e a verdade (V) quando P e Q tem
valores lgicos diferentes.
Prof. Walteno Martins Parreira Jnior

Pgina 10

Lgica Matemtica e Computacional

A tabela-verdade:
P

PQ

v(PQ) = v(P) v(Q)

1.3.4 Operao Lgica Condicional


Definio: chama-se proposio condicional de duas proposies P e Q a proposio representada
por se P ento Q, cujo valor lgico a falsidade (F) no caso em que a proposio
P verdadeira e Q falsa e a verdade (V) nos demais casos.
Simbolicamente, a condicional de duas proposies P e Q indica-se com a notao P Q ,
que se l:
P SOMENTE SE Q
p condio suficiente para q
q condio necessria para p
p implica (ou acarreta) q
Na condicional P Q, diz-se que P o antecedente e Q o conseqente. O smbolo
chamado de smbolo de implicao.
A tabela-verdade:
P

PQ

v(PQ) = v(P) v(Q)

Observao: Uma condicional P Q no afirma que o conseqente Q se deduz ou


conseqncia do antecedente P; o que uma condicional afirma unicamente uma relao entre os
valores lgicos do antecedente e do conseqente de acordo com a tabela-verdade apresentada
acima.
Exemplo:
P: Paris a capital da Frana
Q: O sol um satlite natural da terra
P Q: Se Paris a capital da Frana ento o sol um satlite natural da terra.
v(P) = V e v(Q) = F v(P Q) = F

Prof. Walteno Martins Parreira Jnior

Pgina 11

Lgica Matemtica e Computacional

1.3.5 Operao Lgica Bi-condicional


Definio: chama-se proposio bi-condicional de duas proposies P e Q a proposio
representada por P se, e somente se Q, cujo valor lgico a verdade (V) quando
as proposies P e Q so ambas verdadeiras ou ambas falsas e a falsidade (F) nos
demais casos.
A conjuno da sentena P Q com a sentena Q P resulta na sentena P Q,
assim temos (P Q) (Q P) equivale a (Q P).
Simbolicamente, a bi-condicional de duas proposies P e Q indica-se com a notao P Q ,
que se l:
P SE, E SOMENTE SE Q
p equivalente a q
q se, e somente se p
q equivalente a p
p condio necessria e suficiente para q
q condio necessria e suficiente para p
A tabela-verdade:
P

PQ

v(PQ) = v(P) v(Q)

Exemplo:
P: A cidade de Paris a capital da Frana
Q: O sol um satlite natural da terra
P Q: A cidade de Paris a capital da Frana se, e somente se o sol um satlite natural
da terra.
v(P) = V e v(Q) = F v(P Q) = F

1.3.6 - Tabela Verdade dos conectores


Resumindo, tem-se a seguinte tabela verdade:

pq

pq

pq

V
V
F
F

V
F
V
F

V
F
F
F

V
V
V
F

F
V
V
F

Prof. Walteno Martins Parreira Jnior

pq pq
V
F
V
V

V
F
F
V

~p

V
F

F
V

Pgina 12

Lgica Matemtica e Computacional

1.3.7 Ordem De Precedncia Dos Conectores


Para reduzir o nmero de parntesis necessrios em uma proposio composta (frmula lgica
proposicional), estipula-se uma ordem na qual os conectores so aplicados. A ordem de
precedncia :
maior
a)
b)
c)
d)
e)
f)

conectivos dentro de parntesis, do mais interno para o mais externo


~

ou

menor
Quando h dois ou mais conectivos de mesma ordem de precedncia, o conectivo mais a
esquerda na frmula proposicional tem prioridade sobre o conectivo direta.
Exemplos:
a) p ~ q equivale a ( p ( ~ q ) )
b) p q r equivale a ( ( p q ) r )
c) p q r p q equivale a ( ( p ( q r ) ) ( p q ) )
p q r p q
1

3
4

1.4

Exerccios

1.4.1 - Com o intuito de abordar os conceitos preliminares estudados nesta unidade, responda s
seguintes perguntas:
a) Qual a relao entre sentena e proposio?
b) Toda sentena uma proposio? E o contrrio: toda proposio uma sentena? Por qu?
D exemplos.
c) Defina, com suas prprias palavras, o valor lgico.
d) De acordo com a lgica clssica, quais so os valores lgicos possveis para uma
proposio?
e) Compare a teoria dos conjuntos, vista no ensino fundamental, com a lgica clssica
discutida nesta unidade.
f) Quais so os trs postulados clssicos?
Prof. Walteno Martins Parreira Jnior

Pgina 13

Lgica Matemtica e Computacional

1.4.2 - Represente as seguintes frases em linguagem natural, utilizando lgica formal. Para cada
resposta, devem-se especificar as proposies simples extradas:
a) Joo mede 1,78m e Maria pesa 60kg.
b) Fortaleza capital do Maranho desde que Rio de Janeiro tenha mais de 250 mil
habitantes.
c) Ontem o dlar no fechou a R$2,18 ou o ndice Bovespa fechou estvel.
d) S irei ao clube se amanh fizer sol.
1.4.3 - Sejam as seguintes proposies simples:
p: Tiradentes morreu afogado e q: Jaime gacho.
Traduzir para linguagem natural, as seguintes proposies compostas:
a) p q
b) p q
c) ~p q
d) q ~p
1.4.4 - Determinar o valor lgico ( V ou F ) de cada uma das seguintes proposies.
a) O nmero 23 primo.
b) Goinia a capital de Tocantins.
c) O nmero 25 quadrado perfeito.
d) Todo nmero divisvel por 5 termina com 5.

e) = 3
f) 3 > 2
g) > 3
h) 4 = 2

1.4.5 - Sejam as proposies:


p: O empregado foi demitido.

q: O patro indenizou o empregado.

Escreva em notao simblica, cada uma das proposies abaixo:


a)
b)
c)
d)
e)
f)

O empregado no foi demitido.


O patro no indenizou o empregado.
O empregado foi demitido e o patro indenizou o empregado.
falso que o empregado foi demitido ou o patro indenizou o empregado.
O empregado foi demitido ou o patro no indenizou o empregado.
no verdade que o empregado no foi demitido.

1.4.6 - Sejam as proposies:


p: Rosas so vermelhas.

q: Violetas so azuis.

r: Cravos so amarelos.

Escreva em notao simblica, cada uma das proposies compostas abaixo:


a)
b)
c)
d)

Rosas so vermelhas e violetas so azuis.


Rosas so vermelhas, ou violetas so azuis ou os cravos so amarelos.
Se violetas so azuis, ento as rosas so vermelhas e os cravos so amarelos.
Rosas so vermelhas se e somente se, as violetas no forem azuis e os cravos no so
amarelos.

Prof. Walteno Martins Parreira Jnior

Pgina 14

Lgica Matemtica e Computacional

e) Rosas so vermelhas e, se os cravos no so amarelos ento as violetas no so azuis.


1.4.7 - Sejam as proposies:
p: J Soares gordo.

q: J Soares artista.

r: Paulo cantor.

Escreva em notao simblica, cada uma das proposies abaixo:


a)
b)
c)
d)
e)
f)

J Soares no gordo.
J Soares no artista.
No verdade que J Soares no gordo
J Soares gordo ou artista.
Se J Soares no artista ento Paulo no cantor.
J Soares artista se e somente se Paulo cantor

1.4.8 - Sejam as proposies:


p: Joo joga futebol.
q: Pedro joga tnis.
Traduzir as formulas lgicas para o portugus.
a) p q
e) ~p ~q

b) p q
f) ~~p

c) p ~q
g) ~(~p ~q)

d) p ~q
h) ~p ~q

1.4.9 - Sejam as proposies:


p: A bola vermelha.

q: O bambol amarelo.

Traduzir as formulas lgicas para o portugus.


a) p q
d) ~p ~q
g) ~p ~q

b) p q
e) ~~p
h) p ~q

c) p ~q
f) ~(~p ~q)
i) ~(~q p)

1.4.10 - Determinar o valor lgico (V ou F) de cada uma das proposies compostas abaixo,
sabendo o valor lgico de cada proposio simples v(p) = V e v(q) = F.
a) p q p
e) ~p ~q
i) ~p q p

b) p q p
f) ~~p
j) p ~q p

c) p ~q
g) p (~p ~q)
k) p (~q p)

d) p (~p ~q)
h) p ~q p
l) ~(r ~q) p

1.4.11 - Determinar o valor lgico (V ou F) de cada uma das proposies compostas abaixo,
sabendo o valor lgico de cada proposio simples v(p) = V, v(q) = V e v(r) = F.
a) p q r
e) ~p ~q r
i) ~r q p

b) p q r
f) ~~p
j) p ~q p

c) p ~q r
g) p (~r ~q)
k) r p (~q p)

d) r (~p ~q)
h) p r ~q p
l) ~(r ~q) p

1.4.12 - Construa a tabela-verdade de cada uma das seguintes proposies:


a) p q p
d) ~p ~q
g) ~p q ~q p
Prof. Walteno Martins Parreira Jnior

b) p q p
e) ~~p
h) p ~q

c) p ~q
f) p (~p ~q)
i) p (~q p)
Pgina 15

Lgica Matemtica e Computacional

j) ~p r ~q r

k) p r ~q

l) ~(r ~q) p

1.4.13 - Construir as tabelas-verdade das seguintes proposies:


a) ~ p r q ~ r
c) p r q ~ r

b) p (p ~ r) q r
d) (p q r) (~ p q ~ r)

1.4.14 - Determinar P(VF, FV, FF) em cada um dos seguintes casos:


a)
c)
e)
g)

P(p, q) = ~ (~ p q)
P(p, q) = (p q) ~ (p q)
P(p, q) = ~ ((p q) (~p ~q))
P(p, q) = (p q) ~ p (q p)

b) P(p, q) = ~ p q p
d) P(p, q) = (p ~ q) (~ p q)
f) P(p, q) = ~ q p q ~ p
h) P(p, q) = (p ~ q) (~ p q) p

1.4.15 - Sabendo que as proposies p, q so verdadeiras e que as proposies r e s so falsas,


determinar o valor lgico (V ou F) de cada uma das seguintes proposies:
a) p q r
d) ( r s) (p q)
g) p ~ (r s)

Prof. Walteno Martins Parreira Jnior

b) (q r) (p s)
e) q p s
h) ~ (( r p) (s q))

c) r s q
f) (p ~ q) r
i) (q s) r

Pgina 16

Lgica Matemtica e Computacional

TAUTOLOGIA, CONTINGNCIA E CONTRADIO

2.1

Tautologia

Definio: denomina-se tautologia a proposio composta que sempre verdadeira. Na tabelaverdade de uma proposio tautolgica, a ltima coluna ( direita) contm somente
Vs (verdade).
Em outros termos, tautologia toda proposio composta P (p,q,r,...) cujo valor lgico sempre
V (verdade), quaisquer que sejam os valores lgicos das proposies simples componentes p, q, r,
...
As tautologias so tambm denominadas proposies tautolgicas ou proposies logicamente
verdadeiras.
Exemplo: a proposio ~( p ~p) denominado de Princpio da no contradio tautolgica,
conforme se v pela tabela-verdade:
p

~p

p ~p

~( p ~p )

F
V
F
V
Portanto, dizer que uma proposio no pode ser simultaneamente verdadeira e falsa sempre
verdadeiro.

2.2

Contradio

Definio: denomina-se contradio a proposio composta que sempre falsa. Na tabelaverdade de uma proposio contraditria, a ltima coluna ( direita) contm somente
Fs (falsidade).
Como uma tautologia sempre verdadeira (V), a negao de uma tautologia sempre falsidade
(F), ou seja, uma contradio e vice-versa.
As contradies so tambm denominadas proposies contravlidas ou proposies logicamente
falsas.
Exemplo: a proposio p ~p uma contradio, conforme se v pela tabela-verdade:

2.3

~p

p ~p

Contingncia

Definio: denomina-se contingncia a proposio composta que pode ser verdadeira e pode ser
falsa. Na tabela-verdade de uma proposio contigencial, a ltima coluna ( direita)
contm Vs (verdadeiros) e Fs (falsidades), cada um pelo menos uma vez.
Em outros termos, contingncia toda proposio composta que no tautologia e nem
contradio.
As contingncias so tambm denominadas proposies contingentes ou proposies
indeterminadas.

Prof. Walteno Martins Parreira Jnior

Pgina 17

Lgica Matemtica e Computacional

Exemplo: a proposio p ~p uma contingncia, conforme se v na tabela-verdade:

2.4

~p

p ~p

Exerccios

2.4.1 - Determinar se as proposies a seguir so tautologia, contradio ou contingncia, usando


o mtodo da Tabela-verdade.
a) p ( q r ) ( p q ) ( p r )
c) ~ ( p q ) ( ~ p r ) ~ r

b) p ( p q ) p
d) p ( p q ) p

2.4.2 - Determinar se as proposies a seguir so tautologia, contradio ou contingncia, usando


o mtodo da Tabela-verdade.
a) q r ( p q ) ( p r )
c) ~ p q r ~ p r ~ r
e) p q q r ~ p ~r

Prof. Walteno Martins Parreira Jnior

b) (p r ) ( p q ) r
d) p q p q p
f) p r q ( p q ~r

Pgina 18

Lgica Matemtica e Computacional

EQUIVALNCIA E IMPLICAO LGICA.

3.1

Introduo

Diz-se que uma proposio P implica logicamente, ou simplesmente implica, uma


proposio Q, se Q for verdadeira todas as vezes que P tambm o for. Duas proposies so
consideradas logicamente equivalentes se as suas tabelas-verdade forem idnticas, em outras
palavras, diz-se que uma proposio P equivalente a uma proposio Q, se as tabelas-verdade
de P e Q so idnticas. Outra alternativa substituir as relaes de implicao () pela
condicional () e de equivalncia () pela bicondicional () e verificar se tautolgica, ou
seja, sempre verdadeiro. Nesse caso, pode-se afirmar que existe a relao entre as proposies
envolvidas.
Neste momento, vale destacar que as implicaes e equivalncias podem ser
demonstradas por meio de tabelas-verdade ou por outros mtodos, como deduo e induo.
Nesta aula, sero utilizadas tabelas-verdade, enquanto que, na prxima unidade sero utilizadas
as regras da lgebra das proposies para demonstrar equivalncia e implicao lgica por
mtodo dedutivo.

3.2

Conceito de implicao lgica

O estudo da implicao lgica de grande relevncia na lgica. As implicaes lgicas


que sero tratadas levaro em conta a condicional como implicao material.
O smbolo representa uma operao entre duas proposies, resultando uma nova
proposio. O smbolo indica apenas uma relao entre duas proposies dadas.
Definio: Diz-se que uma proposio P(p, q, ...) implica logicamente uma proposio Q(p, q,
...), se Q verdadeira (V) todas as vezes que P verdadeira (V).
Pode-se dizer Diz-se que uma proposio p implica logicamente uma proposio q
quando, em suas tabelas-verdade, no ocorre VF nesta ordem.

3.3

Propriedades da implicao lgica: reflexiva e transitiva

So:
a) A condio necessria e suficiente para que uma implicao p q seja verdadeira
que uma condicional p q seja uma tautologia;
b) Propriedade reflexiva (R): p p;
c) Propriedade transitiva (T): Se p q e q r, ento p r.
3.4

Demonstrao de implicao lgica, comparando-se tabelas-verdade


verificar se p q p

Prof. Walteno Martins Parreira Jnior

qp

V
Pgina 19

Lgica Matemtica e Computacional

Comparando os valores lgicos da coluna p com os valores lgicos da coluna q p,


verificamos que no ocorre VF em nenhuma linha, logo p q p uma relao vlida.

3.5

Demonstrao de implicao lgica, substituindo-se a relao pelo conectivo


verificar se p q p
p

qp

p q p

F
F
V
V
Como a coluna de resultado final da tabela-verdade uma Tautologia, ento a relao
verdadeira.

3.6

Implicao entre Sentenas Abertas


Diz-se que uma sentena aberta implica uma outra sentena aberta quando o conjuntoverdade de uma delas est contido no conjunto-verdade da outra.

3.6.1 - Exemplo: Julgar a sentena x 3 = 0 x2 = 9


Resoluo:
Determinando o conjunto-verdade da primeira sentena aberta:
x3=0
temos que x = 3
logo, V1 = { 3 }
Determinando o conjunto-verdade da segunda sentena aberta:
x2 = 9
x=3
logo, V2 = { -3, 3 }
Podemos observar que { 3 } { -3, 3 }
Portanto, podemos dizer que a implicao verdadeira,
logo a sentena x 3 = 0 x2 = 9 est correta
3.7

Propriedades das Implicaes Lgicas


So:
a) A condio necessria e suficiente para que uma implicao p q seja verdadeira que
uma condicional p q seja uma tautologia;
b) Propriedade reflexiva: p p;
c) Propriedade transitiva: Se p q e q r, ento p r.

3.8

Implicaes Notveis

Prof. Walteno Martins Parreira Jnior

Pgina 20

Lgica Matemtica e Computacional

Estas implicaes so consideradas notveis (ou clssicas), pois so argumentos vlidos


fundamentais, usados para fazer inferncias, isto , executar os passos de uma
demonstrao ou de uma deduo. Tambm chamadas de Regras de Inferncia.
3.8.1 - Adio
ppq
qpq
organizando a tabela-verdade tem-se que:
p

pq

pq

No h VF, logo p p q

No h VF, logo q p q

3.8.2 - Conjuno
pqp e pqq
qpp e qpq
3.8.3 - Simplificao

Provar, usando tabela-verdade


as outras propriedades

pqp
pqq
3.8.4 - Simplificao Disjuntiva
(p q) (p ~q) p
3.8.5 - Absoro
p q p (p q)
3.8.6 - Regra Modus Ponens
( p q) p q
3.8.7 - Regra Modus Tollens
( p q) ~q ~p
3.8.8 - Regra do Silogismo Disjuntivo
(p q) ~p q
(p q) ~q p
3.8.9 - Silogismo Hipottico
(p q) (q r) p r
3.8.10 - Dilema Construtivo
( (p q) (r s) (p r) ) q s
3.8.11 - Dilema Destrutivo
Prof. Walteno Martins Parreira Jnior

Pgina 21

Lgica Matemtica e Computacional

( (p q) (r s) (~p ~s) ) ~p ~r

3.9

Teorema Contra-Recproco
A proposio p(x) q(x) verdadeira se, e somente se ~q(x) ~p(x) verdadeira.
Assim, afirmar Se p, ento q o mesmo que afirmar se ~q, ento ~p. Portanto, p(x)
q(x) equivalente a ~q(x) ~p(x).
Exemplo: A sentena Se comeu, ento matou a fome equivalente a Se no matou a fome,
ento no comeu.

3.10 Relao Entre Implicaes


a) Implicaes recprocas
pqeqp
Duas proposies recprocas no so logicamente equivalentes, uma pode ser verdadeira
sem que a outra o seja.
b) Implicaes Inversas
p q e ~p ~q
Duas proposies inversas no so logicamente equivalentes, uma pode ser verdadeira
sem que a outra o seja.
c) Implicaes Contrapositivas
p q e ~q ~p
Duas proposies contrapositivas so logicamente equivalentes, sempre que uma
verdadeira, a outra tambm ser.

3.11 Equivalencias entre Implicaes


a) p q ~q ~p
b) p q ~ (p ~q)
c) p q ~p q

3.12 Conceito de equivalncia lgica


O smbolo representa uma operao entre duas proposies, resultando uma nova
proposio. O smbolo indica apenas uma relao entre duas proposies dadas.
Definio: Diz-se que uma proposio P(p, q, ...) logicamente equivalente a uma proposio
Q(p, q, ...), se as tabelas-verdade destas duas proposies so idnticas.

3.13 Propriedades da equivalncia lgica: reflexiva, simtrica e transitiva


a) A condio necessria e suficiente para que uma eqivalncia p q seja verdadeira
que a bicondicional p q seja uma tautologia;
Prof. Walteno Martins Parreira Jnior

Pgina 22

Lgica Matemtica e Computacional

b) Propriedade Reflexiva (R): p p;


c) Propriedade Simtrica (S): Se p q, ento q p.
d) Propriedade Transitiva (T): Se p q e q r, ento p r.
3.14 Demonstrao de equivalncia lgica, comparando-se tabelas-verdade
Dadas as proposies p q e ~p q, a relao de equivalncia lgica entre elas denotada
por p q ~p q. Podem-se mostrar as tabelas-verdade:
p

pq

~p

~p q

F
F
V
F
F
V
V
Como as tabelas-verdade possuem resultados iguais, logo a relao verdadeira.

3.15 Demonstrao de equivalncia lgica, substituindo-se a relao pelo conectivo


Dadas as proposies p q e ~p q, a relao de equivalncia lgica entre elas denotada
por p q ~p q.
Podemos mostrar na tabela-verdade:
p

pq

~p

~p q

(p q) (~p q)

F
F
V
V
V
V
Como o resultado final da tabela-verdade uma Tautologia, logo a relao verdadeira.

3.16 Equivalencia entre Sentenas Abertas


Diz-se que uma sentena aberta equivalente a uma outra sentena aberta quando o conjuntoverdade da primeira sentena est contido no conjunto-verdade da segunda e o conjuntoverdade do segunda est contido no conjunto-verdade da primeira. Eqivale dizer que os
conjuntos-verdade so iguais.
Exemplo: Julgar a sentena 2x + 3 = x + 5 7x - 3 = 5x + 1
Resoluo:
Determinando o conjunto-verdade da primeira sentena aberta:
2x + 3 = x + 5
temos que x = 2
logo, V1 = { 2 }
Determinando o conjunto-verdade da segunda sentena aberta:
7x - 3 = 5x + 1
x=2
Prof. Walteno Martins Parreira Jnior

Pgina 23

Lgica Matemtica e Computacional

logo, V2 = { 2 }
Podemos observar que v1 v2 e v2 v1, logo V1 = V2.
Portanto, podemos dizer que a eqivalncia verdadeira,
logo a sentena 2x + 3 = x + 5 7x - 3 = 5x + 1 est correta.
3.17 Propriedades das Equivalncias Lgicas
So:
1) A condio necessria e suficiente para que uma eqivalncia p q seja verdadeira
que a bicondicional p q seja uma tautologia;
2) Propriedade Reflexiva: p p;
3) Propriedade Simtrica: Se p q, ento q p.
4) Propriedade Transitiva: Se p q e q r, ento p r.

3.18 Equivalncias Notveis


3.18.1 - Dupla Negao
~~p p
p

~p

~~p

Observe que os valores lgicos das colunas p e ~~p so iguais. Logo a Dupla Negao
equivale a afirmao.
3.18.2 - Leis Idempotentes
ppp
ppp
3.18.3 - Leis Comutativas

Provar, usando tabela-verdade


as outras propriedades

pqqp
pqqp
3.18.4 -Leis Associativas
p (q r) (p q) r
p (q r) (p q) r
3.18.5 - Leis de DeMorgan
~(p q) ~p ~q
~(p q) ~p ~q
3.18.6 - Leis Distributivas
p (q r) (p q) (p r)
p (q r) (p q) (p r)
3.18.7 - Condicionais
Prof. Walteno Martins Parreira Jnior

Pgina 24

Lgica Matemtica e Computacional

Das proposies:
i)

p q (condicional)

ii)

q p (recproca da condicional)

iii)

~q ~p (contrapositivo)

iv)

~p ~q (recproca do contrapositivo)

resultam as duas equivalncia:


p q ~q ~p
q p ~p ~q
3.18.8 - Bicondicionais
p q (p q) (q p)
p

pq

pq

qp

(p q) (q p)

iguais, logo equivalentes

3.19 lgebra das proposies.


Para discutir algumas regras que podem ser aplicadas em proposies compostas com o
intuito de provar relaes de implicao e equivalncia lgica, ou mesmo para simplificar uma
estrutura de argumentao muito complexa. As propriedades aqui discutidas sero novamente
apresentadas em lgebra Booleana.
Algumas propriedades so vlidas tanto para conjuno como para disjuno, enquanto
que outras so vlidas somente a uma delas, ou em situaes em que ambas so envolvidas. O
quadro abaixo apresenta as propriedades vlidas tanto para disjuno como para conjuno.
Disjuno

Conjuno

Propriedade

ppp

ppp

Idempotente

pqqp

pqqp

Comutativa

(P p) r p (q r)

(p p) r p (q r)

Associativa

pt p

pt t

Identidade

pff

pf p

Destaca-se que, na propriedade da Identidade, tem-se sempre um elemento considerado


neutro, pois no influencia na deciso final da proposio, e um elemento absorvente, que por si
s, define o resultado final da proposio composta.
Dentre as propriedades que so aplicadas proposio que contm tanto conjuno como
disjuno, encontram-se a distributiva, a de absoro e as famosas regras de De Morgan,
apresentadas no quadro abaixo.
Prof. Walteno Martins Parreira Jnior

Pgina 25

Lgica Matemtica e Computacional

Distributiva

Absoro

De Morgan

p (q r) (p q) (p r)

p (p q) p

~(p q) ~p ~q

p (q r) (p q) (p r)

p (p q) p

~(p q) ~p ~q

3.20 Exerccios
3.20.1 - Verifique se existe implicao lgica entre as proposies compostas P(p,q,r,...) e
Q(p,q,r,...), ou seja, se P(p,q,r,...) Q(p,q,r,...), usando o mtodo indicado na letra. Para cada
letra, deve-se indicar se existe ou no implicao lgica e justificar.
a) Construindo a tabela-verdade, e comparando uma proposio com a outra:
P(p,q,r,...) = q Q(p,q,r,...) = p q p
b) Construindo a tabela-verdade, e avaliando se a condicional tautolgica:
P(p,q,r,...) = ( p q ) q e Q(p,q,r,...) = ~ p
3.20.2 - Verifique se existe equivalncia lgica entre as proposies compostas P(p,q,r,...) e
Q(p,q,r,...), ou seja, se P(p,q,r,...) Q(p,q,r,...), usando o mtodo indicado na letra. Para cada
letra, deve-se indicar se existe ou no equivalncia lgica e justificar.
a) Construindo a tabela-verdade, e comparando uma proposio com a outra:
P(p,q,r,...) = p q e Q(p,q,r,...) = ( p q ) p
b) Construindo a tabela-verdade, e avaliando se a bi-condicional tautolgica:
P(p,q,r,...) = p q e Q(p,q,r,...) = ( p q ) ~ (p q)
3.20.3 - Julgar cada uma das seguintes proposies (dizer se so verdadeiras ou falsas as
relaes):
a) ~p ~p ~p
c) ( p ~q ) ( p ~q ) p ~q
e) ( p ~r ) ( q ~p ) r ( p q )

b) ~ p ~( p q ) p q
d) ( p q ) r ( p ~r ) ( q r )
f) ( p q ) r ( p ~r ) ~q

3.20.4 - Julgar cada uma das seguintes proposies (dizer se so verdadeiras ou falsas as
relaes):
a) ~p ~p ~p
c) ( p ~q ) ( p ~q ) p ~q
e) ( p ~r ) ( q ~p ) r ( p q )

b) ~ p ~( p q ) p q
d) ( p q ) r ( p ~r ) ( q r )
f) ( p q ) r ( p ~r ) ~q

3.20.5 - Considere as proposies: p, q, r, s dadas por:


p: 5 = 8
q: 4 < 5
r: 9 > 7
s: 8 < 10
e diga se so verdadeiras ou falsas as relaes abaixo:
a) r s
b) r q s
c) ~ p s r
d) p q
e) ~ r ( q ~s )
f) ~ r ( s ~ q )
g) p q
h) ~ r q s
i) ~ r s r
j) ( p p ) ( q r )
k) ~ r ( q ~s )
l) ~ r ( s ~ q )
Prof. Walteno Martins Parreira Jnior

Pgina 26

Lgica Matemtica e Computacional

3.20.6 - Considere as proposies: p, q, r, s dadas por:


p: 7 + 2 = 9
q: ( 7 + 2 )2 = 81
r: 20 = 1
s: 02 = 2
e d o valor lgico (verdadeiro ou falso) das relaes abaixo:
a) r s
b) r q
c) ~ p s
d) p q
e) ~ r ( q ~s )
f) ~ r ( s ~ q )
g) p q
h) ~ r q
i) ~ r s
j) ( p p ) ( q r )
k) ~ r ( q ~s )
l) ~ r ( s ~ q )
3.20.7 - Usando as equivalncias tautolgicas, mostrar que as proposies abaixo podem ser
escritas usando os conectivos , e ~. Depois simplifique as expresses o mximo possveis.
a) (r (q p)
d) (r q) (~q p)
g) ~ ( p q ) p

b) q r (q p)
e) (p q) ( p ~q)
h) ( p q ) r ( p r )

c) p r (q r)
f) (p r) ((q p) r)
i) ~ ( p q ) ( p q )

3.20.8 - Usando as equivalncias tautolgicas, mostrar que as proposies abaixo podem ser
escritas usando os conectivos: e ~. Depois simplifique as expresses o mximo possveis.
a) (r q) (q p)
d) (r (q p)

b) (p q) p
e) q r (q p)

c) (p r) ((q p) r)
f) p r (q r)

3.20.9 - Usando as equivalncias tautolgicas, simplificar as proposies abaixo:


a) (~ (p q) r) (~p ~q)
r)
d) ~ ( p q ) ~p ( ~p q )
q
g) ( p q ) r ( p r )
j) ( p q ) (( p r ) (p q ))

Prof. Walteno Martins Parreira Jnior

b) (p q) p p

c) (p q) ((q p)

e) (p q) (q p)

f) p ( ~p q ) p

h) ~ ( p q ) p

i) ~ ( p q ) ( p q )
k) ~ ( p r ) ((r ( q r ))

Pgina 27

Lgica Matemtica e Computacional

MTODOS PARA DETERMINAO DA VALIDADE DE FRMULAS


So mtodos usados para determinar ou verificar se a frmula lgica proposicional vlida
ou quais os valores lgicos apresentados.

4.1

Mtodo da Tabela-Verdade
O mtodo da Tabela-verdade o mtodo da fora bruta utilizado na determinao da validade
de frmulas da lgica proposicional. No mtodo da tabela-verdade so consideradas todas as
possibilidades de valores de verdade associados a esses smbolos proposicionais. Na coluna
de resultado, observamos uma das trs solues: Tautologia, Contradio ou Contingncia.

4.2

rvore Semntica
Definio 1: Uma rvore um conjunto de ns ou vrtices ligados por arestas ou ramos,
conforme indicado na figura abaixo. Os ns so rotulados por nmeros inteiros, e os ns
finais (na figura: 2, 6, 7 e 5) so denominados de folhas.
1

Raiz

3
Folha

5
Ramo

Definio 2: Uma rvore semntica uma rvore na qual os vrtices internos representam
proposies, as arestas representam os valores lgicos de uma proposio e as folhas
representam os resultados finais e que serve para determinar a validade de uma frmula (ou
proposio) a partir da estrutura de dados do tipo rvore.
4.2.1 - Exemplos:
1) Dada a proposio p q, determinar se a proposio tautologia, contradio ou
contingncia.
1
v(q) = V

v(q) =

2
v(p) = V

3
v(p) = F

5
V

v(p)=V

6
V

v(p)=F

7
V

pq

portanto, uma contingncia.

Prof. Walteno Martins Parreira Jnior

Pgina 28

Lgica Matemtica e Computacional

2) Dada a proposio p ~ ( p q ), determinar se a proposio tautologia, contradio ou


contingncia.
1
v(q)=V

v(q)=F

n 2:

p ~( p q)
?
?
V

n 3:

p ~( p q)
?
?
F
F
V
V

n 5:

p ~( p q)
F
F
V
F
V
V

v(p)=V

v(p)=F

5
V

n 4:

p ~( p q)
V
V
V
V
F
V

CONCLUSO: como todas as folhas tem valor lgico V (verdade), ento a frmula
proposicional tautologia.
3) Dada a proposio p ( p ~ q ), determinar se a proposio tautologia, contradio ou
contingncia.
1
v(p)=V

v(p)=F

n 2:

3
V

F
n 3:

p
V
V
V
p
F
F

( p ~q)
V
?
?

( p ~q )
F
?
F

CONCLUSO: Como aparecem V e F, logo temos uma contingncia.

4.3

Negao ou Absurdo
Neste mtodo, considera-se inicialmente a negao daquilo que pretende-se demonstrar.
Assim, dada uma frmula proposicional, para demonstrar a sua validade (tautologia), supese que a frmula no uma tautologia. A partir desta suposio, deve-se utilizar um conjunto
de dedues corretas e concluir um fato contraditrio ou absurdo.
Como o resultado um absurdo, conclui-se que a suposio inicial falsa. Em outras
palavras, se a suposio inicial diz que a frmula no uma tautologia, deve-se concluir aps
obter o absurdo que a no validade da frmula um absurdo, logo a frmula uma
tautologia.

Prof. Walteno Martins Parreira Jnior

Pgina 29

Lgica Matemtica e Computacional

Validade

Supor

Ocorrncia

Tautologia

Absurdo

Contradio

Absurdo

Contingncia

VeF

No ocorrer nenhum Absurdo

4.3.1 - Exemplos:
1) Demonstrao de uma tautologia: p ~( p q )
p

~ (

q)

a negao da tautologia F

F
F

absurdo, pois a proposio p no


pode ser V e F ao mesmo tempo!

V
absurdo

Como o valor lgico de p V e F ao mesmo tempo, ocorreu um absurdo, ento a frmula


uma tautologia.
Pode-se provar pela tabela verdade que:
p

pq

~ (p q)

p ~ (p q)

2) Demonstrao de uma contradio: p ~p


p

~ p

a negao da contradio V

temos duas possibilidades:


a) p

b)

V
V

V
V

F
F

absurdo

V
absurdo

absurdo, pois a
proposio p no pode
ser V e F ao
mesmo tempo!

Como ocorreu absurdo nas duas possibilidades, podemos concluir que a formula
contraditria.
Pode-se provar pela tabela verdade que contradio.

Prof. Walteno Martins Parreira Jnior

Pgina 30

Lgica Matemtica e Computacional

3) Demonstrao de uma tautologia: ( p q ) ( ~p ~q )


( p q ) ( ~p ~q )
F

a negao da tautologia F

Temos duas possibilidades


a) ( p q ) ( ~ p ~ q )

b) ( p q ) ( ~ p ~ q )

F
V

Ok!!

F
F

F
F

V
V

V
F
V

Encontrado
os valores de
p e q. Agora
levando-os
para o outro
lado da
expresso.

V
V

Ok!!

V
V
Pode-se observar que o
valor esperado V e
igual ao encontrado.

Como no ocorreu nenhum absurdo, podemos concluir que a frmula no uma tautologia, e
nada alm disto pode ser afirmado.
Usando a tabela-verdade, podemos comprovar o resultado:
p

pq

~p

~q

~p ~q

( p q ) ( ~p ~q )

Como podemos ver, a frmula uma contingncia.

4.4

Exerccios:

4.4.1 - Determinar, usando rvore semntica, quais das proposies abaixo so tautologia,
contradio ou contingncia.
a)
b)
c)
d)
e)
f)

( p ( p q )) p
( ~p ~q ) ( p q )
( p ~q ) (( p r ) q )
( ~p ~q ) ( p q )
p ( ~p q )
( ~p q ) ( p q )

Prof. Walteno Martins Parreira Jnior

Pgina 31

Lgica Matemtica e Computacional

4.4.2 - Determinar, usando rvore semntica, a validade da relao abaixo:


a)
b)
c)
d)
e)

pqp
( p q ) ( p ~q )
~p ~p ~p
~ ( ~ ( p q )) p q
pqp

4.4.3 - Demonstrar, usando o mtodo da negao ou absurdo que a frmula uma contradio.
a)
b)
c)
d)
e)
f)

( ~p ~q ) ( p q )
p ( ~p q )
~(( p q ) (( p q ) r ))
( ~p q ) ( p q )
( p ( p q )) p
( ~p ~q ) ( p q )

4.4.4 - Demonstrar, usando o mtodo da negao ou absurdo que a frmula uma tautologia.
a) ( p r ) ( ~q r )
b) (( p q ) ( q r )) ( p r )
c) ( ~p q ) ( p q )
4.4.5 - Usando o mtodo da negao ou absurdo para mostrar que as proposies so uma
tautologia, contradio ou contingncia.
a)
b)
c)
d)

( p ( p q )) p
p ( p ( q ~p ))
( p q) r ( p q) r
( p q ) (( p r ) ( q r ))

4.4.6 - Determinar se as proposies a seguir so tautologia, contradio ou contingncia, usando


os seguintes mtodos: Tabela-verdade, rvore semntica e Negao ou absurdo.
a) ~ (p q) ~ p ~ q
c) (p q) p q
e) ~ ( p q) ~ ( ~ p q)

b) (p q r) q r p
d) ~ (p q) (p ~q)
f) p ( p q ) p

4.4.7 - Verificar se as proposies so tautologia, contradio ou contingncia usando os


mtodos: tabela-verdade, rvore semntica e Negao ou absurdo.
a) ~ (p q) ~p ~q
c) ~ (r p) q ~ (p q) r
e) ( p ~r ) ( q ~p ) r ( p q )
g) ~ ( p q) ~ ( ~ p q)

Prof. Walteno Martins Parreira Jnior

b) ~ (p q) ~p ~ q
d) (p q) r (p q) r
f) ( p q ) r ( p ~r ) ~q
h) ~ (p q) (p ~q)

Pgina 32

Lgica Matemtica e Computacional

LGEBRA BOOLEANA

O matemtico ingls George Boole (1815-1864) desenvolveu a lgebra booleana em


1854. Boole estava interessado em regras algbricas para o raciocnio lgico, semelhante s
regras algbricas para o raciocnio numrico. uma maneira formal para escrever e manipular
proposies lgicas como se fosse uma frmula algbrica. Em 1938, Claude Shannon demonstra
a aplicao da lgebra booleana na anlise de circuitos rels.
A lgebra booleana, tambm conhecida como lgebra de Boole, determina regras
algbricas para o raciocnio lgico assim como existem regras para o raciocnio numrico. Em
outras palavras, a lgebra booleana uma maneira de se utilizar tcnicas algbricas para lidar
com expresses lgicas. Essas regras capturam o funcionamento das operaes lgicas E (AND),
OU (OR) e NO (NOT), bem como das operaes da teoria de conjuntos: soma, produto e
complemento. Na Matemtica e na Cincia da Computao, a lgebra booleana o fundamento
da matemtica computacional, baseada em nmeros binrios. Com a lgebra booleana,
introduziu-se o conceito de portas lgicas que s processam dois tipos de entradas - verdade ou
falsidade, sim ou no, aberto ou fechado, um ou zero. Atualmente, todos os computadores usam a
lgebra de Boole na construo de circuitos digitais que contm combinaes de portas lgicas
que produzem os resultados das operaes utilizando lgica binria.

5.1

Conceitos preliminares.

A lgebra booleana definida como sendo um sistema que opera com funes booleanas
aplicadas a variveis de entradas. Essas variveis podem receber somente dois valores possveis:
1 ou 0, aberto ou fechado, sim ou no. Entre as operaes bsicas esto a adio lgica, ou
operao OR, com o smbolo (+), a multiplicao lgica, ou operao AND, com o smbolo (.) e
finalmente, a complementao lgica, ou operao NOT, que tem como smbolo uma barra
sobreposta ou o (apstrofo simples).
5.1.1 Variveis e Expresses na lgebra de Boole
As variveis booleanas, que so representadas atravs de letras, podem assumir apenas
dois valores: 0 e 1. Expresso booleana uma expresso matemtica cujas variveis so
booleanas e seu resultado assumir apenas dois valores: 0 e 1.
5.1.2 Postulados
a) Postulado da Complementao
Chama-se de A o complemento de A. Dizemos A BARRA. Poder ser: A
i)

se A = 0 ento A = 1

ii)

se A = 1 ento A = 0

atravs do postulado da complementao, pode-se estabelecer a identidade: A = A


b) Postulado da Adio
i)

0+0=0

ii)

0+1=1

iii)

1+0=1

iv)

1+1=1

Lembrar que: p q

atravs deste postulado, pode-se estabelecer as seguintes identidades:


Prof. Walteno Martins Parreira Jnior

Pgina 33

i)

A+0=A

iii)

A+A=A

ii)

A+1=1

iv)

A + A = 1

c) Postulado da Multiplicao
i)

00=0

ii)

01=0

iii)

10=0

iv)

11=1

Lembrar que: p q

atravs deste postulado, pode-se estabelecer as seguintes identidades:

5.2

i)

A0=0

iii)

AA=A

ii)

A1=A

iv)

A A = 0

Teoremas da lgebra de Boole.

5.2.1 - Introduo
Na lgebra de Boole, esto definidas as operaes binrias (+) e (.), e uma operao
unitria ( ), e os elementos 0 e 1. Baseado nisso, foram criados diversos teoremas em que, dada
uma funo booleana, pode-se alter-la (na maioria das vezes buscando simplific-la), sem perder
o seu valor lgico. Ou seja, uma mesma expresso booleana pode ser escrita de diversas formas
sem que seja perdido o sentido desta. Por exemplo, a expresso A igual s expresses A +
A.B ou A.B + A.B ou ainda (A + B).(A + B). Com isso, dada uma expresso booleana,
pode-se aplicar diversos teoremas a ela, alterando sua estrutura, mas sem alterar o valor lgico
dela. Estes teoremas foram apresentados na lgebra das proposies com o mesmo intuito:
mostrar como duas proposies compostas, apesar de estruturalmente diferentes, so logicamente
equivalentes. Neste tpico tem-se:

Teoremas da lgebra de Boole.

Utilizao dos teoremas da lgebra de Boole para verificar a equivalncia de duas


expresses booleanas.

Utilizao dos teoremas da lgebra de Boole para simplificar expresses booleanas


complexas.

5.2.2 Condies
a) Neste primeiro momento, sero usados os operadores:
Lgica Booleana

Lgica Proposicional

conectivo

Exemplo Booleano

Exemplo Proposicional

pq

pq

OU

p+q

pq

ou

NO

( p + q )

~(pq)

b) 1 + 1 = 1, visto que no existe o 2 na lgica booleana.


Define-se, por conveno que 1 + 1 = 1, porque em lgica booleana o 1 corresponde a V
(verdade) e como o valor lgico de V V V no clculo preposicional, ento temos 1
como resultado.

Lgica Matemtica e Computacional

c) As regras para formar expresses vlidas em lgebra booleana so as mesmas para formar
frmulas lgicas no clculo proposicional:
i)

Uma varivel uma expresso booleana: p;

ii)

Se p uma expresso booleana, ento tambm o p;

iii)

Se p e q so expresses booleanas, ento tambm so o p q e p + q;

iv)

Se p uma expresso booleana, ento tambm o ( p ).

d) As regras esquerda-para-direita e a precedncia dos operadores para avaliao de frmulas


lgicas tambm se aplicam s expresses booleanas, assim:
( )

maior precedncia

menor precedncia

e) Em lgebra booleana, quando duas expresses so equivalentes, usamos o sinal de igualdade


para representar. Exemplo:
p q + p r + q r = p q + q r
isto afirma que os valores de ambos os lados da equao so iguais para todos os possveis
valores das variveis. Provando a igualdade das expresses, temos:

pq

pr

qr

pq + pr

pq + pr + qr

pq + qr

iguais

5.2.3 - Propriedades
Uma lgebra de Boole um conjunto S no qual esto definidos duas operaes binrias (
+ e ) e uma operao unria ( ), e que contm dois elementos distintos (0 e 1), tais que as suas
propriedades so vlidas, quaisquer que sejam A, B, C pertencentes a S.
a) Propriedade Comutativa
i)

A + B = B + A (Adio)

ii)

A B = B A (multiplicao)

Prof. Walteno Martins Parreira Jnior

Pgina 35

Lgica Matemtica e Computacional

Usando a tabela-verdade para mostrar a validade:


A
B
A+B
B+A
1
1
1
1
1
0
1
1
0
1
1
1
0
0
0
0

A
1
1
0
0

B
1
0
1
0

AB
1
0
0
0

iguais

BA
1
0
0
0

iguais

b) Propriedade Associativa
i)

A + ( B + C ) = ( A + B ) + C ( adio)

ii)

A ( B C ) = ( A B ) C (multiplicao)

c) Propriedade Distributiva
A(B+C) = AB+AC
5.2.4 Teoremas de De Morgan
i) 1 Teorema: O complemento do produto igual soma dos complementos.
( A B) = A + B
ii) 2 Teorema: O complemento da soma igual ao produto dos complementos.
( A + B) = A B
5.2.5 Identidades Auxiliares
a) A + A B = A
b) A + A B = A + B
c) ( A + B ) ( A + C ) = A + B C
A
1
1
0
0

B
1
0
1
0

AB
1
0
0
0

A+AB
1
1
0
0

A
1
1
0
0

B
1
0
1
0

A
0
0
1
1

A B
0
0
1
0

A+B
1
1
1
0

A + A B
1
1
1
0

iguais

iguais

5.2.6 - Tabela com as propriedades da lgebra de Boole


PROPRIEDADES DA ALGEBRA DE BOOLE
Comutativa:

A+B=B+A

Associativa:

A + (B + C) = (A + B) + C

Distributiva:

A (B + C) = A B + A C

Teorema de DeMorgan:

(A B) = A + B

Identidades Auxiliares

A+AB=A

A + A B = A + B

(A+B)(A+C)=A+BC

Prof. Walteno Martins Parreira Jnior

AB=BA

P. Adio

A (B C) = (A B) C

A+0=A

A0=0

A+1=1

A1=A

(A + B) = A B
Postulado da Complementao

P. Multiplicao

A+A=A

AA=A

A + A= 1

A A = 0

A=0

A=1

A= 1

A= 0

Pgina 36

Lgica Matemtica e Computacional

5.3

Mtodos para minimizao de funes: Mtodo Algbrico e Mapa de Karnaugh.

5.3.1 Mtodo Algbrico


Uma funo booleana qualquer pode ser representada por mais de uma expresso
booleana. Para reduzir uma expresso booleana em uma outra equivalente mais simples devemos
usar as propriedades da lgebra de Boole, j que elas expressam a equivalncia de expresses
booleanas. Portanto, usando os conceitos de lgebra de Boole pode-se simplificar expresses
lgicas.
5.3.2 Exemplos de resoluo pelo mtodo algbrico:
A seguir exemplos de resoluo pelo mtodo algbrico.
1)

Simplificar a expresso: S = A B + A B
usando a propriedade distributiva:
S = A ( B + B )
usando a identidade da adio: X + X = 1, temos:
S = A 1
pela identidade da multiplicao: X 1 = X, temos:
S = A

2)

Simplificar a expresso: S = ( A + B + C ) ( A + B + C )
usando a propriedade distributiva, temos:
S = A A + A B + A C + A B + B B + B C + A C + B C + C C
do identidade da multiplicao: X X = 0, temos:
S = A B + A C + A B + B C + A C + B C + C C
do identidade da multiplicao: X X = X, temos:
S = A B + A C + A B + B C + A C + B C + C
colocando C em evidencia (propriedade distributiva), temos:
S = A B + C ( A + B + A+ B+ 1) + A B
usando a identidade da adio: X + X= 1 e X + 1 = 1, temos:
S = A B + C 1 + A B
usando a identidade da multiplicao: X 1 = X, temos:
S = A B + C + A B
portanto:
S = ( A + B + C ) ( A + B + C ) = A B + C + A B

3)

Provar que a expresso (A + B) (A + C) = A + B C vlida:


Vamos desenvolver o lado esquerdo, logo: (A + B) (A + C)
Usando a propriedade distributiva: A A + A B + A C + B C
Usando a identidade da multiplicao X X = X, temos: A + A B + A C + B C
Usando a Propriedade distributiva: A ( 1 + B + C ) + B C
Usando a identidade da soma X + 1 = 1, temos: A ( 1 ) + B C
Usando a identidade da multiplicao X 1 = X, temos: A + B C
que a expresso procurada, logo: (A + B) (A + C) = A + B C vlida.

Prof. Walteno Martins Parreira Jnior

Pgina 37

Lgica Matemtica e Computacional

4)

Dada a expresso S = A B C + A C + A B , simplific-la.


colocando A em evidencia (p. distributiva), temos:
S = A ( B C + C + B )
aplicando a propriedade associativa, temos:
S = A ( B C + ( C + B ) )
aplicando a identidade: X = X, temos:
S = A ( B C + ( C + B) )
aplicando o 2 teorema de DeMorgan, temos:
S = A ( B C + ( C B ) )
aplicando a identidade: X = X, temos:
S=A(BC+(CB))
usando a propriedade comutativa, temos:
S=A(BC+(BC))
chamando B C de Y, logo ( B C ) = Y
S = A ( Y + Y)
pela identidade da adio: X + X = 1, temos:
S=A1
pela identidade da multiplicao: X 1 = X, logo:
S=A
portanto, S = A B C + A C + A B = A

5)

Usando as propriedades da lgebra de Boole, provar que a expresso


(A + B ) (A + C) = A C + A B vlida, indicando a propriedade usada em cada
passagem.
(A + B ) (A + C) = A C + A B
Distributiva
A A + A C + A B + B C
Identidade da Multiplicao: X X = 0
A C + A B + B C
Identidade da Soma: 1 = X + X
A C + A B + B C ( A + A )
Distributiva
A C + A B + A B C + A B C
Distributiva
A C ( 1 + B ) + A B ( 1 + C )
Identidade da Soma: 1 + X = 1
A C 1 + A B 1
Identidade da Multiplicao: X 1 = X
A C + A B

Prof. Walteno Martins Parreira Jnior

Pgina 38

Lgica Matemtica e Computacional

5.3.3 Mapa de Veitch-Karnaugh


Simplifica-se expresses booleanas usando as propriedades, postulados e identidades da
lgebra de Boole, no entanto no h um conjunto de procedimentos a serem seguidos, funciona
por tentativa e erro, cada soluo diferente da anterior. Uma opo de simplificao atravs
dos Mapas de Veitch-Karnaugh ou simplesmente Mapas de Karnaugh. Para usar os diagramas de
Veitch-Karnaugh necessrio seguir alguns procedimentos.

A
A

A
A

B
A B
A B

B
ABC

B
A BC

AB C

AB C
C

Nmero De Clulas: 2N

onde N o nmero de variveis

AB
AB

22 = 4 clulas

B
AB C

B
B
A ABC ABC

B
B
AB C AB C

ABC
ABC

AB C

A A BC A BC

ABC

A B C

5.3.4 Exemplo de resoluo pelo Mapa de Karnaugh:

Dada a funo booleana S = F(A,B) = A B + A B, ser montado o mapa de Karnaugh.


Soluo: Como tem duas proposies (ou variveis), tem-se 22 clulas, montando o mapa: As
parcelas que temos na expresso so transcritas para o mapa com o valor igual a 1:
A
A

B
1

B
1

completando com zeros as clulas vazias:

A
A

B
1
0

Prof. Walteno Martins Parreira Jnior

B
0
1

Portanto, tem-se o
mapa montado.

Pgina 39

Lgica Matemtica e Computacional

5.3.5 - Obtendo a Simplificao de uma Expresso com 2 Variveis

1) Dada uma expresso booleana: S = A B + A B + A B


2) Desenhar o diagrama. Como tem-se duas variveis, ento tem-se 4 clulas.
B

A
A

3) Para cada parcela que aparece na expresso, deve-se colocar o numeral um na clula
correspondente.
B
A
A

B
1
1

4) Completar com o numeral zero (0) as clulas restantes que esto vazias.
A
A

B
0
1

B
1
1

5) Para obter a expresso simplificada, devemos observar:


i) Agrupar as clulas adjacentes (na horizontal ou vertical) onde aparecem o numeral
1, um mesmo numeral 1 pode ser componente de mais de um par. Todos os
numerais 1 do diagrama devem pertencer a pelo menos um agrupamento;

A
A

B
0
1

B
1
1

par 1
A
A

B
0
1

B
1
1

par 2

ii) O par 1 ocupa a regio do diagrama onde A igual a 1, logo o seu valor ser: par 1
= A;
iii) O par 2 ocupa a regio do diagrama onde B igual a 1, logo o seu valor ser par 2
=B
iv)

Somando os pares para obter a expresso simplificada: S = A + B

5.3.6 - Simplificao de uma Expresso com 3 ou mais Variveis

1) Dada a expresso booleana: S = A B C + A B + A B + A B C


Prof. Walteno Martins Parreira Jnior

Pgina 40

Lgica Matemtica e Computacional

2) Desenhar o diagrama. Como temos trs variveis, teremos 8 clulas.


A

C
C

3) Para cada parcela que aparece na expresso, colocar o numeral um na clula


correspondente.

C
C

A
1
B

A
1

A
1

1
B

1
B

1
B

4) Completar com o numeral zero (0) as clulas restantes que esto vazias.

C
C

A
1

A
0

A
1

A
1

1
B

1
B

5) Para obter a expresso simplificada, devemos observar:


i) Agrupar as clulas adjacentes
(na horizontal ou vertical) onde
aparecem o numeral 1, um
mesmo numeral 1 pode ser
componente de mais de um
agrupamento.
Todos
os
numerais 1 do diagrama devem
pertencer a pelo menos um
agrupamento;

C
C

C
C

A
1

A
0

A
1

A
1

1
B

1
B

A
1

A
0

A
1

A
1

1
B

1
B

C
C

A
1

A
0

A
1

A
1

1
B

1
B

Prof. Walteno Martins Parreira Jnior

grupo 1

grupo 2

grupo 3

Pgina 41

Lgica Matemtica e Computacional

Observando todos os grupos ao mesmo tempo:

C
C

A
1

A
0

A
1

A
1

1
B

1
B

ii) Devemos tentar montar os maiores agrupamentos possveis, mas eles devem ser
potncia de 2, assim: 1, 2, 4, 8, 16, ...
iii) O agrupamento 1 ocupa a regio do diagrama onde A igual a 1, logo o seu valor
ser: grupo 1 = A;
iv) O agrupamento 2 ocupa a regio do diagrama onde C igual a 1 e B igual a 1,
logo o seu valor ser par 2 = B C;
v) O agrupamento 3 ocupa a regio do diagrama onde C igual 0 e B igual 0, logo
o seu valor ser: grupo 3 = B C;
vi) Somando os pares, obtm a expresso simplificada: S = A + B C + B C

5.3.7 Observaes Sobre as Simplificaes

O mapa de Karnaugh usa as algumas regras de simplificao de expresses booleanas pelo


agrupamento de clulas adjacentes.
a) Agrupamentos no podem conter qualquer clula com o numeral 0 (zero);
b) Agrupamentos podem ser horizontais ou verticais, mas no na diagonal;
c) Agrupamentos podem conter 1, 2, 4, 8, ou em geral 2n clulas;
d) Todo agrupamento deve ser o maior possvel;
e) Toda clula contendo o numeral 1 deve pertencer a pelo menos um agrupamento;
f) Os agrupamentos podem estar sobrepostos parcialmente, mas devem ter pelo menos um
elemento novo que no pertena a nenhum outro agrupamento; Se ao desenvolver os
agrupamentos, algum agrupamento tiver todos os seus elementos pertencentes a outros
agrupamentos, este deve ser eliminado;
g) Os agrupamentos podem dar a volta no diagrama; A clula mais a esquerda em uma
linha pode ser agrupada com a clula mais a direita da mesma linha, assim como a clula
superior de uma coluna pode ser agrupada com a clula inferior da mesma coluna;
h) Deve-se formar o menor nmero de agrupamentos possveis, desde que no contrarie
nenhuma das regras anteriores.

Prof. Walteno Martins Parreira Jnior

Pgina 42

Lgica Matemtica e Computacional

5.3.8 Outras Formas de Representao do Mapa de Karnaugh

O diagrama pode ser representado de vrias formas, mas o resultado ser sempre o mesmo.
B

BC

B
A

A
A

00 01 11 10
0
1

B
A

A
C

Mapa com 5 variveis:


E
A

E
A

5.3.9 Soma de Produtos

Todos os exemplos e exerccios apresentados at o momento so denominados de soma de


produtos. Como pode ser observado, cada parcela da expresso um produto de variveis e
que so somadas para formar a expresso. denominada de Forma Normal Disjuntiva.
Exemplo 1: S = A B + A B C + B C

AB
C
C

A
1

1
B

1
B

Prof. Walteno Martins Parreira Jnior

Pgina 43

Lgica Matemtica e Computacional

A expresso simplificada : S = A B + C
Exemplo 2:

Encontrar a expresso booleana definida pela tabela-verdade, represent-la no mapa de


karnaugh e encontrar a expresso mais simples.
A

ABC

A B C

A B C

S1 = ABC + ABC + ABC + ABC

A B C

Montando o Mapa de Karnaugh:


A

A soluo simplificada :

S1 = AB + AC + BC

Prof. Walteno Martins Parreira Jnior

Pgina 44

Lgica Matemtica e Computacional

5.3.10 Produtos da Soma

Como o prprio nome indica, cada parcela da expresso uma soma e que sero reunidas
atravs de produtos para formar a expresso. denominada de Forma Normal Conjuntiva.
Para desenvolver o Mapa de Karnaugh e achar a expresso na forma de Produto da Soma,
desenvolve-se:
a) Os agrupamentos com os numerais zero (0) no lugar do numeral 1 (um) da mesma forma que
estudada anteriormente;
A
A

AB

B
1
0

B
0
1
C

B
1
0
C

B
0
1

AB

b) Montar a expresso, onde cada agrupamento ser somado para formar a expresso, mas como
foi desenvolvido a partir das clulas com numeral 0 (zero), o resultado ser negado;
Z = A B + A B
c) Para encontrar a expresso, tem-se que inicialmente negar os dois lados e assim eliminar a
negao no resultado;
Z = ( A B + A B )
d) Aplicar o teorema de DeMorgan duas vezes, encontrando assim, a expresso na forma de
Produto da Soma.
Z = ( A B ) ( A B )
Z = ( A + B ) ( A + B )
Z = ( A + B ) ( A + B )
Exemplo: S = A B + A B C + B C

A C

C
C

A
0

A
0

A
1

A
0

1
B

1
B

B C

Montando a expresso simplificada:


S = A C + B C
Para encontrar uma soluo, necessrio usar a propriedade negao e assim:
S = (A C + B C )
S = ( A C ) ( B C )
S = ( A + C) ( B + C)
S = ( A + C) ( B + C )

Prof. Walteno Martins Parreira Jnior

Pgina 45

Lgica Matemtica e Computacional

5.4

Exerccios

5.4.1 - Usando as propriedades da Algebra de Boole, simplificar as expresses abaixo, indicando


a propriedade usada em cada passagem..

a)
b)
c)
d)

S=
S=
S=
S=

A B + A B
(A+B)(A+C)
A B + B C + B C + A B C
A B C + A B C + A B

5.4.2 - Usando as expresses abaixo, simplific-las usando os conceitos (Propriedades) da lgebra


de Boole.

a)
b)
c)
d)
e)
f)

S = f(A,B,C) = A B C + A B C + B C + A C + A B
S = f(A,B,C) = A B C + A B C + A B
S = f(A,B,C) = ( A + B ) ( A + C )
S = f(A,B,C) = ( A B + A B ) ( B + C )
S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D
S = f(A,B,C,D) = A B D + A B C + B C D + B C D

5.4.3 - Identificar a expresso Booleana que gera o mapa de Karnaugh abaixo:

a)

b)

C
C
C

D
D

C
C

5.4.4 - Identificar a expresso Booleana mais simples (soma de produto) a partir do mapa de
Karnaugh abaixo:

a)

b)

C
C
C

C
C
C

c)

Prof. Walteno Martins Parreira Jnior

D
D

C
C
C

D
D

C
C
C

D
D

d)

D
D

Pgina 46

Lgica Matemtica e Computacional

e)

f)
C
C

C
C

g)

h)
C
C

C
C

5.4.5 - Identificar a expresso Booleana mais simples (Produto da Soma) a partir do mapa de
Karnaugh abaixo.

a)

b)
A

C
C
C

D
D

C
C
C

D
D

C
C

c)

e)

C
C
C

D
D

C
C
C

D
D

C
C

d)

f)

5.4.6 - Identificar a expresso Booleana mais simples (produto de soma) a partir do mapa de
Karnaugh abaixo:

a)

b)

C
C
C

D
D

Prof. Walteno Martins Parreira Jnior

C
C
C

D
D

B
Pgina 47

Lgica Matemtica e Computacional

c)

d)
A

C
C
C

C
C

e)

C
C
C

D
D

C
C

f)

D
D

5.4.7 - Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois
simplific-la usando soma de produto.

a)
b)
c)
d)
e)
f)

S=
S=
S=
S=
S=
S=

A B + A B
A B + A B C + A C
A B + B C + B C + A B C
A B C D + A D + A B C + A B D
A B C + A B C + A C + B C + A D + B D
A B D + A B C + B C D + B C D

5.4.8 - Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois
simplific-la usando produto da soma.

a)
b)
c)
d)
e)
f)

S = f(A,B,C) = A B C + B C + A C + A B
S = f(A,B,C) = A B C + A B C + A B
S = f(A,B,C) = ( B + D ) ( A + C ) + A B C
S = f(A,B,C) = ( A B + A B ) ( D + C )
S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D
S = f(A,B,C,D) = A B D + A B C + B C D + B C D

5.4.9 - Seja a expresso booleana dada a seguir. Faa a simplificao utilizando os 3 mtodos
(pelas propriedades, Mapa de Karnaugh usando Soma de produtos e mapa de Karnaugh usando
Produto da soma)

a)
b)
c)
d)
e)

S = f(A,B,C) = A B C + B C D + A C D + A B
S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D
S = f(A,B,C,D) = A B D + A B C + B C D + B C D
S = f(A,B,C,D) = A B C D + A D + A B C + A B C + A B D
S = f(A,B,C,D) = A B C + A B D + A B C + A D + A C D

Prof. Walteno Martins Parreira Jnior

Pgina 48

Lgica Matemtica e Computacional

PORTAS LGICAS.

6.1

Introduo

George Boole desenvolveu a lgebra booleana em 1854. uma maneira formal para
escrever e manipular proposies lgicas como se fosse uma frmula algbrica. Em 1938, Claude
Shannon demonstra a aplicao da lgebra booleana na anlise de circuitos rels.
A eletrnica digital, que usa dgitos binrios, utiliza alguns circuitos lgicos bsicos
conhecidos como portas OU, E, NO, ... atravs da utilizao conveniente desses circuitos,
podemos implementar todas as expresses geradas pela lgebra de Boole. H uma relao entre
a estrutura de lgebra de Boole e os diagramas para os circuitos eltricos em computadores,
calculadoras, dispositivos industriais de controle, sistemas de telecomunicaes, etc.
Uma das principais reas de utilizao da lgebra booleana a de circuitos lgicos, em
que representamos as funes booleanas atravs de grficos, smbolos padronizados conhecidos
como portas lgicas. As portas lgicas buscam combinar diversos termos de uma funo
booleana que, juntas, iro realizar uma determinada funo. Com esta forma de representao,
podemos simbolizar as expresses bsicas da lgebra booleana (AND, OR ou NOT), e partindo
delas gerar funes mais complexas. Tanto as expresses bsicas, como o conjunto delas podem
conter vrias variveis de entrada, mas somente uma sada.

6.2

Circuitos Lgicos

Chamamos interruptor ao dispositivo ligado a um ponto do circuito eltrico, que pode


assumir um dos dois estados: fechado (1) ou aberto (0). Quando fechado, o interruptor permite
que a corrente eltrica passe atravs do ponto, e quando aberto nenhuma corrente eltrica pode
passar pelo ponto. Representao:
aberto

fechado
A

Por convenincia, representamos os interruptores da forma:


A

neste caso, somente conhecemos o estado do interruptor se tivermos a indicao de que


A=1 ou A=0.

6.3

Variveis e Expresses na lgebra de Boole

As variveis booleanas, que so representadas atravs de letras, podem assumir apenas


dois valores: 0 e 1.
Expresso booleana uma expresso matemtica cujas variveis so booleanas e seu
resultado assumir apenas dois valores: 0 e 1.

Prof. Walteno Martins Parreira Jnior

Pgina 49

Lgica Matemtica e Computacional

6.4

Postulados

a) Postulado da Complementao
Chamamos de A o complemento de A. Dizemos A BARRA. Poder ser: A
i)

se A = 0 ento A = 1

ii)

se A = 1 ento A = 0

atravs do postulado da complementao, podemos estabelecer a seguinte identidade: A = A


b) Postulado da Adio
i)

0+0=0

ii)

0+1=1

iii)

1+0=1

iv)

1+1=1

O Circuito lgico que executa o postulado da adio o circuito OU, representado por dois
interruptores em paralelo, com a representao:
A
A+B
B
c) Postulado da Multiplicao
i)

00=0

ii)

01=0

iii)

10=0

iv)

11=1

atravs deste postulado, podemos estabelecer as seguintes identidades:


O circuito lgico que executa o postulado da multiplicao booleana o circuito E,
representado por dois interruptores em srie, cuja representao :
A

6.5

AB

Representao

A representao grfica dos operadores da lgebra booleana feita mediante smbolos


padronizados por normas internacionais chamados blocos ou portas lgicas.
As portas lgicas so as bases dos circuitos lgicos e tem por finalidade combinar as
diferentes variveis booleanas de modo a realizar determinada funo booleana.

Prof. Walteno Martins Parreira Jnior

Pgina 50

Lgica Matemtica e Computacional

Fig. Portas lgicas. Fonte: TONIN (2008, p. 20)

6.6

Exemplos de exerccios de portas lgicas:

a) Representar mediante portas lgicas a funo booleana S = f(A,B) = A B

b) Representar mediante portas lgicas a funo booleana S = f(A,B) = A B + A B

c) Determinar a funo booleana correspondente ao circuito lgico abaixo:

S = ( A + B + C) ( A + C)

Prof. Walteno Martins Parreira Jnior

Pgina 51

Lgica Matemtica e Computacional

d) Representar em circuito lgico a funo booleana definida pela tabela-verdade abaixo:


A
1
1
1
1
0
0
0
0

B
1
1
0
0
1
1
0
0

C
1
0
1
0
1
0
1
0

S
1
1
1
0
1
0
0
0

ABC
A B C
A B C
A B C

S = A B C + A B C + A B C + A B C

O circuito lgico que representa a tabela :

6.7

Exerccios

6.7.1 - Representar a expresso booleana utilizando portas lgicas.

a)
b)
c)
d)
e)
f)

S = f(A,B,C) = A B C + A B C + A C + A B
S = f(A,B,C) = A B C + ( A B C ) + ( A B C )
S = f(A,B,C) = ( A + B ) ( A + C ) ( A B C )
S = f(A,B,C) = ( A B ) + ( A B C ) (A B + C )
S = f(A,B,C,D) = A B C + ( A B C ) + ( A C + B C )
S = f(A,B,C,D) = A B D + A B C + B C D + B C D

6.7.2 Encontrar a expresso booleana que representa o circuito abaixo.

Prof. Walteno Martins Parreira Jnior

Pgina 52

Lgica Matemtica e Computacional

6.7.3 - Dada a funo x = abc + abcd + abcd + bcd

a) criar o mapa de Karnaugh desta funo;


b) simplificar a funo, se possvel, atravs do mapa de Karnaugh gerado na alternativa a;
c) gerar o circuito lgico correspondente funo simplificada na alternativa b.
6.7.4 - Encontrar uma funo existente na tabela abaixo, e depois atravs de portas lgicas
representar a funo encontrada.
a)

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

X
1
0
0
1
0
1
1
1

b)

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

X
1
1
0
0
1
0
0
0

6.7.5 - Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois
simplific-la usando soma de produto. Gerar o circuito lgico correspondente funo
simplificada.

a)
b)
c)
d)
e)
f)

S = f(A,B,C) = A B C + B C + A C + A B
S = f(A,B,C) = A B C + A B C + A B
S = f(A,B,C) = ( A + B ) ( A + C )
S = f(A,B,C) = ( A B + A C ) ( B + C )
S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D
S = f(A,B,C,D) = A B D + A B C + B C D + B C D

6.7.6 - Usando as expresses abaixo, simplific-las usando o Mapa de Karnaugh (Produto da


soma) e depois represent-las em Circuitos Lgicos, usando as portas lgicas: Not, And e Or.

a)
b)
c)
d)
e)
f)

S = f(A,B,C) = A B C + B C + A C + A B
S = f(A,B,C) = A B C + A B C + A B
S = f(A,B,C) = ( A + B ) ( A + C )
S = f(A,B,C) = ( A B + A B ) ( B + C )
S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D
S = f(A,B,C,D) = A B D + A B C + B C D + B C D

6.7.7 - Usando as expresses abaixo, simplific-las usando o Mapa de Karnaugh (Produto da


soma) e depois represent-las em Circuitos Lgicos, usando as portas lgicas: Not, And, Or,
Nand e Nor.

a)
b)
c)
d)
e)

S = f(A,B,C) = A B C + B C + A C + A B
S = f(A,B,C) = A B C + A B C + A B
S = f(A,B,C) = ( A + B ) ( C + D )
S = f(A,B,C) = ( A B + A B ) ( C + D ) + A B C + B C D
S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D

Prof. Walteno Martins Parreira Jnior

Pgina 53

Lgica Matemtica e Computacional

f) S = f(A,B,C,D) = A B D + A B C + B C D + B C D
6.7.8 - Identificar a expresso Booleana mais simples (soma de produto) a partir do mapa de
Karnaugh abaixo e depois represent-las em Circuitos Lgicos, usando as portas lgicas: Not,
And, Or:
a)

b)

C
C
C

C
C
C

c)

e)

D
D

C
C
C

D
D

C
C
C

D
D

d)

D
D

f)

C
C

g)

C
C

h)

C
C

C
C

6.7.9 - Seja a expresso booleana dada a seguir. Represent-la no mapa de Karnaugh e depois
simplific-la. Representar a expresso simplificada usando portas lgicas.

a)
b)
c)
d)
e)

S = f(A,B,C) = A B + B C + A B + A B C
S = f(A,B,C) = A B C + B A + A C + A B
S = f(A,B,C) = A B C + B C + A C + A B
S = f(A,B,C,D) = A B C + A B C + A C + B C + A D + B D
S = f(A,B,C,D) = A B D + A B C + B C D + B C D + A B D

6.7.10 - Escrever a expresso booleana representada pelo circuito a seguir. Represent-la no mapa
de Karnaugh e depois simplific-la. Representar a expresso simplificada usando portas lgicas.
Prof. Walteno Martins Parreira Jnior

Pgina 54

Lgica Matemtica e Computacional

a)

A
B

b)

A
C

A
B

A
B
C

A
B

A
B
C
D

A
C

d)

c)

A
B
C
A
B
C

A
B
C

B
C
D

A
B
C

A
C
D

e)

A
B

f)
A
C

B
C

Prof. Walteno Martins Parreira Jnior

Pgina 55

Lgica Matemtica e Computacional

REGRAS DE INFERNCIA

7.1

Argumentos

Chama-se de argumento toda a afirmao de que vrias proposies (p1, p2, ..., pn) tem
por consequencia uma outra proposio q. As proposies p1, p2, ..., pn so as premissas, e a
proposio q a concluso do argumento. Um argumento descrito da seguinte forma: p, pq,
qr r onde:
p, p q, q r

Premissas

r
concluso

7.1.1 Validade de um argumento atravs da Tabela-verdade

Um argumento valido quando para todas as linhas da tabela-verdade onde as premissas


forem verdadeiras, a concluso tambm verdadeira.

7.2

Processo de inferncia

Inferncia o processo pelo qual se chega a uma proposio, firmada na base de uma ou
outras mais proposies aceitas como ponto de partida do processo. O Argumento chamado de
premissa e o valor de concluso. As concluses so deduzidas a partir das premissas. Caso o
estado das premissas esteja vazio, ento a concluso dita ser o axioma da lgica.
Regras de inferncia so regras sintticas que produzem enunciados vlidos em um
sistema formal. A partir de um conjunto de proposies podemos derivar outras seguindo estas
regras.
Regras de inferncia tm as seguintes caractersticas:
o

Se a Hiptese for verdadeira, ento a Concluso verdadeira

Verificao de tipos baseada em inferncia. Se E1 e E2 tem certos tipos, ento


E3 tem um certo tipo.

Regras de inferncia so uma notao compacta para comandos de


implementao.

Inicia-se com um sistema simplificado de regras ao qual adiciona-se novas


caractersticas gradualmente

As premissas so regras sem hipteses

Na lgica formal, as regras de inferncia so normalmente determinadas nas seguinte


forma:
premissa 1
premissa 2
...
premissa n
--------------concluso
Prof. Walteno Martins Parreira Jnior

Pgina 56

Lgica Matemtica e Computacional

A validade das regras de inferncia pode ser comprovada facilmente com o uso das
tabelas-verdade. Com o auxlio destas formas elementares de argumentos podemos construir
estruturas argumentativas muito complexas.
7.2.1 Modus Ponens (MP)

PQ
P
-------Q
Se o antecedente de um condicional for verdadeiro, o seu consequente necessariamente
verdadeiro. Por esta razo, esta regra tambm chamada de afirmao do antecedente. A
validade desta regra comprovada simplesmente observando a tabela verdade das proposies
condicionais. Violaes desta regra resultam nas falcias afirmao do consequente e negao do
antecedente, onde a concluso no segue necessariamente das premissas.
7.2.2 Modus Tollens (MT)

PQ
~Q
-------~P
Ao contradizer o consequente, somos obrigados a contradizermos tambm o antecedente.
Novamente isto pode ser verificado simplesmente olhando a tabela verdade das proposies
condicionais. Esta regra tambm chamada de contradio do consequente.
7.2.3 Silogismo Hipottico (SH)

PQ
QR
--------PR
A implicao possui a propriedade transitiva, isto , se A implica B e B implica C, ento
A implica C atravs de B.
7.2.4 Silogismo Disjuntivo (SD)

PvQ
~Q
------P
Se uma disjuno verdadeira e uma das proposies componentes se revela falsa, ento
a outra proposio necessariamente verdadeira.
7.2.5 Dilema Construtivo (DC)

(P Q) ^ (R S)
PvR
----------------------QvS
Prof. Walteno Martins Parreira Jnior

Pgina 57

Lgica Matemtica e Computacional

Dilemas so situaes em que somos obrigados a aceitar uma de duas consequncias que
no so muito agradveis. Deixando a agradabilidade de lado, esta regra de inferncia se baseia
na regra Modus Ponens. Tomando apenas a primeira parte da conjuno da primeira premisa, (p
> q), afirmamos p, e pela regra Modus ponens, somos obrigados a concluir q. Fazendo o mesmo
procedimento com o outro lado da conjuno da primeira premissa, conclumos que s. Ento o
dilema consiste em que, ao afirmar p ou r, somos obrigados a concluir q ou s.
7.2.6 Dilema Destrutivo (DD)

(P Q) ^ (R S)
~Q v ~S
----------------------~P v ~R
exatamente o oposto do Dilema Construtivo. Baseia-se na regra Modus Tollens.
7.2.7 Absoro (ABS)

PQ
-------------P (P ^ Q)
Dada uma condicional, pode-se deduzir dela uma condicional que tem como antecedente
o mesmo antecedente da primeira e como consequente uma conjuno as duas proposies que
figuravam na primeira condicional. Uma reflexo sobre a tabela verdade das condicionais capaz
de mostrar como esta inferncia vlida.
7.2.8 Simplificao (SIMP)

P^Q
------P
Em uma conjuo verdadeira, pode-se concluir que cada um dos seus componentes
verdadeiro de forma independente. Muito simples.
7.2.9 Conjuno (CONJ)

P
Q
------P^Q
Praticamente o inverso da regra anterior, se dois enunciados so verdadeiros
independentemente, isso condio suficiente para que juntos formem uma conjuno
verdadeira.
7.2.10 Adio (AD)

P
------PvQ
Dada uma proposio verdadeira, a partir dele pode-se deduzir uma disjuno verdadeira
com qualquer outro enunciado que escolhermos. Isto tem ligao com a regra Silogismo
Prof. Walteno Martins Parreira Jnior

Pgina 58

Lgica Matemtica e Computacional

Disjuntivo, pois se o enunciado que escolhermos, q, porventura for falso, em nada afetar a
verdade da proposio p e da disjuno por elas formada.
7.2.11 Exemplo

Usando as regras de inferncia devidamente explicadas, pode-se analisar o argumento


apresentado abaixo:

Se os 8 casos suspeitos de Nova York forem gripe suna, ento o governo dever
tomar medidas efetivas para conter a disseminao da doena.

E se o governo deve tomar medidas para conter a disseminao da doena, ento as


escolas de NY sero fechadas.

(Quer dizer,) se os 8 casos suspeitos forem de gripe suna, ento as escolas de NY


sero fechadas.

Os suspeitos podem ter gripe Influenza do tipo A ou ter gripe suna.

(Foi descoberto que) a gripe dos suspeitos no Influenza do tipo A.

Logo, as escolas de NY sero fechadas.

Variveis proposicionais:

P: os 8 casos suspeitos de Nova York so de gripe suna

Q: o governo deve tomar medidas efetivas para conter a disseminao da doena

R: as escolas de NY sero fechadas

S: os suspeitos podem ter gripe Influenza do tipo A

Traduo formal:

PQ
QR
PR
SP
~S
-----R
Primeira regra usada:

Silogismo Hipottico (SH)


PQ
QR
--------PR

Prof. Walteno Martins Parreira Jnior

Segunda regra usada:

Silogismo Disjuntivo (SD)


SvP
~S
------P

Explicao:

No argumento, a concluso p do
Silogismo
Disjuntivo
ficou
subentendida. Da, de repente,
concluiu-se que r. A razo desta
grande omisso, frequente na vida
real, que se a negao de s resulta
em p, e, como visto no Silogismo
Hipottico, p resulta em r, conclui-se
definitivamente que a negao de s
resulta em r.

Pgina 59

Lgica Matemtica e Computacional

7.2.12 Reviso

REGRAS DE INFERNCIA.: A frmula implica tautologicamente a frmula e


indicamos se e somente se a frmula uma tautologia .
Regras

Sigla

Frmulas Atmicas

Frmulas Compostas

Modus Ponens

MP

p (p q) q

A, A B / B

Modus Tollens
Silogismo Hipottico
Silogismo Disjuntivo
Simplificao
Adio
Eliminao
Prova por Casos

MT
SH
SD
SM
AD
EL
CS

q(pq)p
(p q) ( q r) (p r)
(p q) p q
pqp
ppq
(p (q r) ) q p r
(p r) ( q r) (p q) r

B, A B / A
A B, B C / A C
A, A B / B
AB/A
A/AB
B , (A (B C) / A C
A C, B C / (A B ) C

7.2.13 Exerccios resolvidos

Na coluna direita esto indicadas as linhas e as regras de inferncia que produziram a


frmula da coluna esquerda.
a) Derive U das seguintes premissas:

1.
2.
3.
4.
5.

P (Q R)
(Q R) S
S (T ( T U))
P
T

premissa
premissa
premissa
premissa
premissa

6.
7.
8.
9.
10.

(Q R)
S
(T ( T U))
( T U)
U

1,4 Modus Ponens


2,6 Modus Ponens
3,7 Modus Ponens
5,8 Silogismo Disjuntivo
5,9 Modus Ponens

b) Derive (R S)

1.
2.
3.
4.

P
Q ( R S)
T Q
T P

premissa
premissa
premissa
premissa

5.
6.
7.
8.
9.

T Q
T
Q
Q
(R S)

3 Bicondicional
1,4 Silogismo Disjuntivo
5,6 Modus Ponens
7 Dupla Negao
2,8 Modus Ponens

Prof. Walteno Martins Parreira Jnior

Pgina 60

Lgica Matemtica e Computacional

c) Derive P R

1.
2.
3.
4.
5.
6.

P Q
Q R
|P
| Q
| R
P R

premissa
premissa
Hiptese
1,3 Modus Ponens
2,4 Modus Ponens
3-5 Regra de prova condicional

d) Derive (P Q)

1.

P Q

premissa

2.
3.
4.
5.
6.
7.

|PQ
|P
| Q
|Q
| Q Q
(P Q)

Hiptese (por contradio)


2 Simplificao
1,3 Modus Ponens
2 Simplificao
4,5 Conjuno
2-6 Reduo ao Absurdo

e) Derive (P Q) (P R)

1.
2.

(P Q) R
RP

premissa
premissa

3.
4.
5
6.
7.

P
PQ
.R
PR
(P Q) (P R)

2 Simplificao
3 Adio
1,4 Modus Ponens
3,5 Conjuno
4,6 Conjuno

`
7.3

Exerccios

7.3.1 Verificar a validade dos seguintes argumentos


a) p q, p r q
b) p q, p r s p s.
c) p (q r), p q, p r
d) p q r, (r q) (p s t)), p s s t

7.3.2 Demonstrar a validade do argumento


P1: Se Pedro tem a mesma altura que Joo ento Joo tem a mesma altura que Luis.
P2: Se Pedro tem a mesma altura que Luis ento Pedro tem a mesma altura que Antnio.
P3: Ou Pedro tem a mesma altura que Joo ou a altura de Pedro 1,80 m.
P4: Se a altura de Pedro 1,80 m ento a altura de Pedro mais 0,20 m = 2,00 m.
P5: Mas a altura de Pedro mais 0,20 no igual a 2,00m.
Portanto: Pedro tem a mesma altura que Antnio.

Prof. Walteno Martins Parreira Jnior

Pgina 61

Lgica Matemtica e Computacional

SISTEMAS DE NUMERAO

Os sistemas de numerao tem por objetivo prover smbolos e convenes para


representar quantidades, de forma a registrar a informao quantitativa e poder process-la. A
representao de quantidades se faz com os nmeros. Na antiguidade, duas formas de representar
quantidades foram inventadas. Inicialmente, os egpcios, criaram um sistema em que cada dezena
(uma mo-cheia de nosso exemplo anterior) era representada por um smbolo diferente. Usando
por exemplo os smbolos # para representar uma centena, & para representar uma dezena e @
representando uma unidade (smbolos escolhidos ao acaso), teramos que ###&&@ representaria
321.
Relembremos ainda um outro um sistema, o sistema de numerao romano. Eram usados
smbolos (letras) que representavam as quantidades, como por exemplo: I ( valendo 1), V
(valendo 5), X (valendo 10), C (valendo 100), etc. A regra de posicionamento determinava que as
letras que representavam quantidades menores e precediam as que representavam quantidades
maiores, seriam somadas; se o inverso ocorresse, o menor valor era subtrado do maior (e no
somado). Assim, a quantidade 128 era representada por CXXVIII = 100 + 10 + 10 + 5 + 1 + 1 +
1 = 128. Por outro lado, a quantidade 94 era representada por XCIV = (-10 + 100) + (-1 + 5) =
94.
Nesses sistemas, os smbolos tinham um valor intrnseco, independente da posio que
ocupavam na representao (sistema numrico no-posicional). Um grande problema desse
sistema a dificuldade de realizar operaes com essa representao. Experimente multiplicar
CXXVIII por XCIV! Assim, posteriormente foram criados sistemas em que a posio dos
algarismos no nmero passou a alterar seu valor (sistemas de numerao posicionais).
Nos sistemas de numerao posicionais (ver adiante Sistemas de Numerao Posicionais),
o valor representado pelo algarismo no nmero depende da posio em que ele aparece na
representao. O primeiro sistema desse tipo foi inventado pelos chineses. Eram usados palitos,
sendo 1 a 5 palitos dispostos na vertical para representar os nmeros 1 a 5; de 6 a 9 eram
representados por 1 a 4 palitos na vertical, mais um palito na horizontal (valendo 5) sobre os
demais. Cada nmero era ento representado por uma pilha de palitos, sendo uma pilha de palitos
para as unidades, outra para as dezenas, outra para as centenas, etc. Esse sistema, com as pilhas
de palitos dispostas em um tabuleiro, permitia a realizao das quatro operaes aritmticas. No
existia representao para o zero (o espao relativo ficava vazio).O tabuleiro aritmtico (chamado
swan-pan), alm das quatro operaes, era usado na lgebra e na soluo de equaes. Essa
tcnica era chamada de Mtodo do Elemento Celestial.
O Alfabeto e o baco No Oriente Mdio, por esses tempos, criou-se uma das mais
importantes invenes da humanidade: o alfabeto. Na antigidade, usava-se um smbolo para
representar cada conceito ou palavra. Assim, eram necessrios milhares de smbolos para
representar todos os objetos, aes, sentimentos, etc - como so ainda hoje algumas linguagens.
Como decorar todos? O grande achado foi decompor a linguagem em alguns poucos smbolos e
regras bsicas. Uma conseqncia de fundamental importncia para nossos estudos de
informtica foi possibilitar a ordenao alfabtica (essa uma tarefa tpica dos computadores).
Nessa poca, foi tambm criado o baco - uma calculadora decimal manual.
Os Algarismos e o Zero Por volta do ano de 650, os hindus inventaram um mtodo de
produzir papel (que antes j fora inventado pelos chineses) e seus matemticos criaram uma
representao para os nmeros em que existiam diferentes smbolos para os as unidades,
incluindo um smbolo para representar o zero. Essa simples criao permitiu que se processasse a
aritmtica decimal e se fizesse contas - no papel! Bom, depois de milhares de anos em que todos
os clculos eram feitos com calculadoras (bacos, swan-pan, etc) finalmente era possvel calcular
sem auxlio mecnico, usando um instrumento de escrita e papel. A matemtica criada pelos
Prof. Walteno Martins Parreira Jnior

Pgina 62

Lgica Matemtica e Computacional

hindus foi aprendida pelos rabes (que depois foram copiados pelos europeus). Por volta de 830,
um matemtico persa (chamado Al-khwarismi, que inspirou o nome algarismo) escreveu um livro
(Al-gebr we'l Mukabala, ou lgebra) em que apresentava os algarismos hindus. E esse livro,
levado para a Europa e traduzido, foi a base da matemtica do Renascimento.
8.1

Sistemas de Numerao Posicionais

Desde quando se comeou a registrar informaes sobre quantidades, foram criados


diversos mtodos de representar as quantidades.
O mtodo ao qual estamos acostumados usa um sistema de numerao posicional. Isso
significa que a posio ocupada por cada algarismo em um nmero altera seu valor de uma
potncia de 10 (na base 10) para cada casa esquerda.
Por exemplo, no sistema decimal (base 10), no nmero 125 o algarismo 1 representa 100
(uma centena ou 102) , o algarismo 2 representa 20 (duas dezenas ou 1x101) e o algarismo 5
representa 5 mesmo (5 unidades ou 5x100). Assim, em nossa notao,
125 = 1x102 + 2x101 + 5x100
Base de um Sistema de Numerao A base de um sistema a quantidade de algarismos
disponvel na representao. A base 10 hoje a mais usualmente empregada, embora no seja a
nica utilizada. No comrcio pedimos uma dzia de rosas ou uma grosa de parafusos (base 12) e
tambm marcamos o tempo em minutos e segundos (base 60).
Os computadores utilizam a base 2 (sistema binrio) e os programadores, por facilidade,
usam em geral uma base que seja uma potncia de 2, tal como 24 (base 16 ou sistema
hexadecimal) ou eventualmente ainda 23 (base 8 ou sistema octal).
Na base 10, dispomos de 10 algarismos para a representao do nmero: 0, 1, 2, 3, 4, 5, 6,
7, 8 e 9. Na base 2, seriam apenas 2 algarismos: 0 e 1. Na base 16, seriam 16: os 10 algarismos
aos quais estamos acostumados, mais os smbolos A, B, C, D, E e F, representando
respectivamente 10, 11, 12, 13, 14 e 15 unidades. Generalizando, temos que uma base b qualquer
dispor de b algarismos, variando entre 0 e (b-1).
A representao 125,3810 (base 10) significa 1x102 + 2x101 + 5x100 + 3x10-1 + 8x10-2
Generalizando, representamos uma quantidade N qualquer, numa dada base b, com um
nmero tal como segue:
Nb = an-1.bn-1 + .... + a2.b2 + a1.b1 + a0.b0 + a-1.b-1 + a-2.b-2 + .... + a-n.b-n sendo que
an-1.bn-1 + .... + a2.b2 + a1.b1 + a0.b0 a parte inteira e
a-1.b-1 + a-2.b-2 + .... + a-n.b-n a parte fracionria.
Intuitivamente, sabemos que o maior nmero que podemos representar, com n algarismos,
na base b, ser o nmero composto n vezes pelo maior algarismo disponvel naquela base (ou
seja, b-1). Por exemplo, o maior nmero que pode ser representado na base 10 usando 3
algarismos ser 999 (ou seja, 103 - 1 = 999).
Generalizando, podemos ver que o maior nmero inteiro N que pode ser representado, em
uma dada base b, com n algarismos (n "casas"), ser N = bn - 1. Assim, o maior nmero de 2
algarismos na base 16 ser FF16 que, na base 10, equivale a 25510 = 162 - 1.
Representao Binria Os computadores modernos utilizam apenas o sistema binrio, isto
, todas as informaes armazenadas ou processadas no computador usam apenas DUAS
grandezas, representadas pelos algarismos 0 e 1. Essa deciso de projeto deve-se maior
facilidade de representao interna no computador, que obtida atravs de dois diferentes nveis
de tenso. Havendo apenas dois algarismos, portanto dgitos binrios, o elemento mnimo de
informao nos computadores foi apelidado de bit (uma contrao do ingls binary digit).
Prof. Walteno Martins Parreira Jnior

Pgina 63

Lgica Matemtica e Computacional

Na base 2, o nmero "10" vale dois. Mas se 102 = 210, ento dez igual a dois?
No, dez no e nunca ser igual a dois!
Na realidade, "10" no significa necessariamente "dez". Ns estamos acostumados a
associar "10" a "dez" porque estamos acostumados a usar o sistema de numerao decimal. O
nmero 102 seria lido "um-zero" na base 2 e vale 210 (convertido para "dois" na base dez), 105
seria lido "um-zero" na base 5 e vale 510 (convertido para "cinco" na base dez), 1010 pode ser lido
como "um-zero" na base 10 ou ento como "dez" na base dez, 1016 seria lido "um-zero" na base
16 e vale 1610 (convertido para "dezesseis" na base dez), etc.
Portanto, 10 s ser igual a dez se - e somente se - o nmero estiver representado na base
dez!
Uma curiosidade: o nmero "10b" vale sempre igual base, porque em uma dada base b
os algarismos possveis vo sempre de 0 a (b - 1)! Como o maior algarismo possvel em uma
dada base b igual a (b-1), o prximo nmero ser (b - 1 + 1 = b) e portanto ser sempre 10 e
assim, numa dada base qualquer, o valor da base ser sempre representado por "10"!
Obs.: Toda vez que um nmero for apresentado sem que seja indicado em qual sistema de
numerao ele est representado, estenderemos que a base dez. Sempre que outra base for
utilizada, a base ser obrigatoriamente indicada.
Um dia pode ser que os computadores se tornem obrigatrios e sejamos todos forados
por lei a estudar a aritmtica em binrio! Mas, mesmo antes disso, quem programa computadores
precisa conhecer a representao em binrio! Vamos comear entendendo as potncias de dois:
Repr.Binria
1
10
100
1000
10000
100000
1000000
10000000
100000000
1000000000
10000000000

Potncia

16

32

64

128

256

512

10

1.024

2
2
2
2
2
2
2
2
2
2
2

Repr.Decimal

Depois (e s depois) de compreender bem a tabela acima, fazendo a devida correlao


com a representao decimal, conveniente decorar os valores da tabela. As converses entre
base dois e base dez e as potncias de dois so utilizadas a todo momento e seria perda de tempo
estar toda hora convertendo. Da mesma forma que, uma vez entendido o mecanismo da
multiplicao, decoramos a taboada, muito mais efetivo saber de cor a tabela acima que fazer as
contas de converso toda vez que for necessrio.
A representao binria perfeitamente adequada para utilizao pelos computadores. No
entanto, um nmero representado em binrio apresenta muitos bits, ficando longo e passvel de
erros quando manipulado por seres humanos normais como por exemplo os programadores,
analistas e engenheiros de sistemas (bem, no to normais assim ...). Para facilitar a visualizao
e manipulao por programadores de grandezas processadas em computadores, so usualmente
adotadas as representaes octal (base 8) e principalmente hexadecimal (base 16). Ressaltamos
mais uma vez que o computador opera apenas na base 2 e as representaes octal e hexadecimal

Prof. Walteno Martins Parreira Jnior

Pgina 64

Lgica Matemtica e Computacional

no so usadas no computador, elas se destinam apenas manipulao de grandezas pelos


programadores.
Representao em Octal e em Hexadecimal Em projetos de informtica (isto , nos
trabalhos realizados pelos programadores, analistas e engenheiros de sistemas), usual
representar quantidades usando sistemas em potncias do binrio (octal e principalmente
hexadecimal), para reduzir o nmero de algarismos da representao e conseqentemente facilitar
a compreenso da grandeza e evitar erros. No sistema octal (base 8), cada tres bits so
representados por apenas um algarismo octal (de 0 a 7). No sistema hexadecimal (base 16), cada
quatro bits so representados por apenas um algarismo hexadecimal (de 0 a F).
A seguir, apresentamos uma tabela com os nmeros em decimal e sua representao
correspondente em binrio, octal e hexadecimal:
Base 10
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

Base 2
0
1
10
11
100
101
110
111
1000
1001
1010
1011
1100
1101
1110
1111

Base 8
0
1
2
3
4
5
6
7
10
11
12
13
14
15
16
17

Base 16
0
1
2
3
4
5
6
7
8
9
A
B
C
D
E
F

Nota: a base 16 ou sistema hexadecimal pode ser indicada tambm por um "H" ou "h"
aps o nmero; por exemplo: FFH significa que o nmero FF (ou 255 em decimal) est em
hexadecimal. No confundir o "H" ou "h" com mais um dgito, mesmo porque em hexadecimal
s temos algarismos at "F" e portanto no existe um algarismo "H".

Exemplo: Como seria a representao do nmero 1610 em binrio, octal e hexadecimal?


Soluo: Seria respectivamente 100002, 208 e 1016.

8.2

Converses entre Bases

Vamos analisar agora as regras gerais para converter nmeros entre duas bases quaisquer.
8.2.1

Converso entre bases 2, 8 e 16

As converses mais simples so as que envolvem bases que so potncias entre si. Vamos
exemplificar com a converso entre a base 2 e a base 8. Como 23 = 8, separando os bits de um
nmero binrio em grupos de tres bits (comeando sempre da direita para a esquerda) e
convertendo cada grupo de tres bits para seu equivalente em octal, teremos a representao do
nmero em octal. Por exemplo:
101010012 = 10.101.0012 (separando em grupos de 3, sempre comeando da direita para a
esquerda) Sabemos que 0102 = 28 ; 1012 = 58 ; 0012 = 18 portanto 101010012 = 2518
Prof. Walteno Martins Parreira Jnior

Pgina 65

Lgica Matemtica e Computacional

Se voc ainda no sabe de cor, faa a converso utilizando a regra geral. Vamos agora
exemplificar com uma converso entre as bases 2 e 16. Como 24 = 16, basta separarmos em
grupos de 4 bits (comeando sempre da direita para a esquerda) e converter. Por exemplo:
110101011012 = 110.1010.11012 (separando em grupos de 4 bits, sempre comeando da
direita para a esquerda) Sabemos que 1102 = 616; 10102 = A16 ; 11012 = D16 ; portanto
110101011012 = 6AD16
Vamos agora exercitar a converso inversa. Quanto seria 3F5h (lembrar que o H est
designando "hexadecimal") em octal? O mtodo mais prtico seria converter para binrio e em
seguida para octal. Por exemplo:
3F5h = 11.1111.01012 (convertendo cada dgito hexadecimal em 4 dgitos binrios) = =
1.111.110.1012 (agrupando de tres em tres bits) = = 17658 (convertendo cada grupo de trs bits
para seu valor equivalente em octal).

8.2.2

Converso de Nmeros em uma base b qualquer para a base 10

Vamos lembrar a expresso geral j apresentada:


Nb = an-1.bn-1 + .... + a2.b2 + a1.b1 + a0.b0 + a-1.b-1 + a-2.b-2 + .... + a-n.b-n
A melhor forma de fazer a converso usando essa expresso. Tomando como exemplo o
nmero 1011012, vamos calcular seu valor representado na base dez. Usando a expresso acima,
fazemos:
1011012 = 1x25 + 0x24 + 1x23 + 1x22 + 0x21 + 1x20 = 32 + 0 + 8 + 4 + 0 + 1 = 4510
Podemos fazer a converso de nmeros em qualquer base para a base 10 usando o
algoritmo acima. Exemplos:
a) Converter 4F5H para a base 10. Soluo:
Lembramos que o H significa que a representao hexadecimal (base 16). Sabemos
ainda que F16=1510. Ento:
4x162 + 15x161 + 5x160 = 4x256 + 15x16 + 5 = 1024 + 240 + 5 = 126910
b) Converter 34859 para a base 10. Soluo:
3x93 + 4x92 + 8x91 + 5x90 = 3x729 + 4x81 + 8x9 + 5 = 2187 + 324 + 72 + 5 = 258810.
c) Converter 7G16 para a base 10. Soluo:
Uma base b dispe dos algarismos entre 0 e (b-1). Assim, a base 16 dispe dos algarismos
0 a F e portanto o smbolo G no pertence representao hexadecimal.
d) Converter 1001,012 para a base 10. Soluo:
1x23 + 0x22 + 0x21 + 1x20 + 0x2-1 + 1x2-2 = 8 + 0 + 0 + 1 + 0 + 0,25 = 9,2510
e) Converter 34,35 para a base 10. Soluo:
3x51 + 4x50 + 3x5-1 = 15 + 4 + 0,6 = 19,610
f) Converter 38,38 para a base 10. Soluo:
Uma base b dispe dos algarismos entre 0 e (b-1). Assim, a base 8 dispe dos algarismos
0 a 7 e portanto o algarismo 8 no existe nessa base. A representao 38,3 no existe na
base 8.

Prof. Walteno Martins Parreira Jnior

Pgina 66

Lgica Matemtica e Computacional

8.2.3

Converso de Nmeros da Base 10 para uma Base b qualquer

A converso de nmeros da base dez para uma base qualquer emprega algoritmos que
sero o inverso dos acima apresentados. O algoritmo ser entendido melhor pelo exemplo que por
uma descrio formal. Vamos a seguir apresentar os algoritmos para a parte inteira e para a parte
fracionria:
Parte Inteira: O nmero decimal ser dividido sucessivas vezes pela base; o resto de cada
diviso ocupar sucessivamente as posies de ordem 0, 1, 2 e assim por diante at que o resto da
ltima diviso (que resulta em quociente zero) ocupe a posio de mais alta ordem. Veja o
exemplo da converso do nmero 1910 para a base 2:
19 2
1 9 2
1 4 2

19 = 010011
10

0 2 2
0 1 2
1 0
Experimente fazer a converso contrria (retornar para a base 10) e ver se o resultado est
correto.
Parte Fracionria Se o nmero for fracionrio, a converso se far em duas etapas
distintas: primeiro a parte inteira e depois a parte fracionria. Os algoritmos de converso so
diferentes. O algoritmo para a parte fracionria consiste de uma srie de multiplicaes
sucessivas do nmero fracionrio a ser convertido pela base; a parte inteira do resultado da
primeira multiplicao ser o valor da primeira casa fracionria e a parte fracionria ser de novo
multiplicada pela base; e assim por diante, at o resultado dar zero ou at encontrarmos o nmero
de casas decimais desejado. Por exemplo, vamos converter 15,6510 para a base 2, com 5 e com 10
algarismos fracionrios:
15
1

2
7 2
1 3 2
1 1
1

0,65
0,30
0,60
0,20
0,40

x
x
x
x
x

2
2
2
2
2

=
=
=
=
=

15 = 01111
10

2
0
1,30
0,60
1,20
0,40
0,80

0,80 x 2 = 1,60
0,60 x 2 = 1,20
0,20 x 2 = 0,40
0,40 x 2 = 0,80
0,80 x 2 = 1,60

0,65 = 10100
10

0,65 = 1010011001
10

15,65 = 1111,1010011001
10

Prof. Walteno Martins Parreira Jnior

Pgina 67

Lgica Matemtica e Computacional

Obs.: Em ambos os casos, a converso foi interrompida quando encontramos o nmero de


algarismos fracionrios solicitados no enunciado. No entanto, como no encontramos resultado 0
em nenhuma das multiplicaes, poderamos continuar efetuando multiplicaes indefinidamente
at encontrar (se encontrarmos) resultado zero. No caso de interrupo por chegarmos ao nmero
de dgitos especificado sem encontramos resultado zero, o resultado encontrado aproximado e
essa aproximao ser funo do nmero de algarismos que calcularmos. Fazendo a converso
inversa, encontraremos:
a) Com 5 algarismos fracionrios:
Parte inteira: 11112 = 1510
Parte fracionria: 0,101002 = 1x2-1 + 0x2-2 + 1x2-3 + 0x2-4 + 0x2-5 = 0,5 + 0,125 =
0,62510
b) Com 10 algarismos fracionrios:
Parte inteira: 11112 = 1510
Parte fracionria: 0,10100110012 = 1x2-1 + 0x2-2 + 1x2-3 + 0x2-4 + 0x2-5 + 1x2-6 + 1x2-7 +
0x2-8 + 0x2-9 + 1x2-10 = 1/2 + 1/8 + 1/64 + 1/128 + 1/1024 = 0,5 + 0,125 + 0,015625 +
0,0078125 + 0,0009765625 = 0,649414062510
Ou seja, podemos verificar (sem nenhuma surpresa) que, quanto maior for a quantidade de
algarismos considerados, melhor ser a aproximao.
Resumindo

Quanto a converso de valores com parte inteira e parte fracionria, deve-se realizar as
operaes de forma separada. A converso da parte inteira obtida dividindo-se o nmero
decimal pelo valor da base desejada; o resto encontrado o algarismo menos significativo do
valor na base B (mais direita). Em seguida, divide-se o quociente encontrado pela base B; o
resto o algarismo significativo seguinte ( esquerda); e assim sucessivamente, vo-se dividindo
os quocientes pelo valor da base at se obter quociente de valor zero. Em cada diviso, o resto
encontrado um algarismo significativo do nmero na nova base; o primeiro resto encontrado o
valor do algarismo menos significativo (mais direita), e o ltimo resto ser o algarismo mais
significativo (mais esquerda).
Para a parte fracionria do nmero a ser convertido, seleciona a parte fracionria e
multiplica pela base a ser convertida (B), e o valor encontrado constitudo de duas partes (a
parte inteira, mesmo que seja zero e a parte fracionria). A parte inteira o primeiro algarismo
procurado (o primeiro algarismo a direita da virgula) e a parte fracionria novamente
multiplicada pela base e obtm-se um novo resultado (em duas partes distintas, a inteira e a
fracionria), onde a inteira ser o segundo algarismo a direita da virgula e a parte fracionria
novamente multiplicada pela base e assim sucessivamente.

8.2.4

Converso de Nmeros entre duas Bases quaisquer

Para converter nmeros de uma base b para uma outra base b' quaisquer (isso , que no
sejam os casos particulares anteriormente estudados), o processo prtico utilizado converter da
base b dada para a base 10 e depois da base 10 para a base b' pedida.
Exemplo: Converter 435 para (?)9.
435 = (4 x 51 + 3 x 50)10 = 2310 ==> 23/9 = 2 (resto 5) logo 435 = 2310 = 259

Prof. Walteno Martins Parreira Jnior

Pgina 68

Lgica Matemtica e Computacional

Nmeros com parte fracionria

Quando h uma parte fracionria no nmero a ser convertido, a melhor opo fazer a
converso do nmero (parte inteira e fracionria) para a base 10 e depois fazer a converso da
base 10 para a outra base, seguindo as instrues apresentadas anteriormente.
8.3

Aritmtica em Binrio

8.3.1

Operao direta

A tabuada da soma aritmtica em binrio muito simples.


So poucas regras:
0+0=0
0+1=1
1+0=1
1 + 1 = 0 (e "vai 1" para o dgito de ordem superior)
1 + 1 + 1 = 1 (e "vai 1" para o dgito de ordem superior)
Exemplo: Efetuar 0111002 + 0110102
Observaes:
a) Lembre-se: soma-se as colunas da direita para a esquerda, tal como uma soma em
decimal.
b) No exemplo, so usadas, em seqncia, da direita para a esquerda, todas as regrinhas
acima.
c) Na primeira linha, indicado o resultado do "vai um".
d) Por simplicidade, no exemplo estamos considerando os dois nmeros positivos.
Soluo:
11-----> "vai um"
011100
011010 +
---------110110
Vamos ver agora a tabuada da subtrao:
0-0=0
0 - 1 = 1 ("vem um do prximo")
1-0=1
1-1=0
Obs.: Como impossvel tirar 1 de zero, o artifcio "pedir emprestado" 1 da casa de
ordem superior. Ou seja, na realidade o que se faz subtrair 1 de 10 e encontramos 1 como
resultado, devendo ento subtrair 1 do dgito de ordem superior (aquele 1 que se "pediu
emprestado"). Vamos lembrar que esse algoritmo exatamente o mesmo da subtrao em
decimal a que j estamos acostumados desde o curso primrio.
Exemplo: Efetuar 1111002 - 0110102
Observaes:
a) Lembre-se: subtraem-se as colunas da direita para a esquerda, tal como uma subtrao
em decimal.

Prof. Walteno Martins Parreira Jnior

Pgina 69

Lgica Matemtica e Computacional

b) No exemplo, so usadas, em seqncia, da direita para a esquerda, todas as regrinhas


acima.
c) Na primeira linha, indicado o resultado do "vem um".
d) Por simplicidade, no exemplo estamos considerando os dois nmeros positivos.
Soluo:
----02-> "vem um"
11100
01010 ---------10010
8.3.2

Complemento a Base

A implementao do algoritmo da subtrao em computadores complexa, requerendo


vrios testes. assim, em computadores a subtrao em binrio feita por um artifcio. O mtodo
utilizado o "Mtodo do Complemento a Base" que consiste em encontrar o complemento do
nmero em relao base e depois somar os nmeros. Os computadores funcionam sempre na
base 2, portanto o complemento base ser complemento a dois. Computadores encontram o
complemento a dois de um nmero atravs de um algoritmo que pode ser assim descrito:
a) Se o nmero positivo, mantenha o nmero (o complemento de um nmero positivo
o prprio nmero)
b) Se o nmero negativo:

inverta o nmero negativo ou o subtraendo na subtrao (todo 1 vira zero, todo


zero vira um);

some 1 ao nmero em complemento ;

some as parcelas (na subtrao, some o minuendo ao subtraendo) ;

se a soma em complemento acarretar "vai-um" ao resultado, ignore o transporte


final).

Como exemplo, vamos usar o algoritmo acima na subtrao 1101 - 1100 = 0001
mantm o minuendo
inverte o subtraendo
soma minuendo e subtraendo
soma 1
ignora o "vai-um"

8.3.3

-->

101

-->

011

-->

0000

-->

0001

-->

001

Multiplicao em binrio

Vamos ver agora a tabuada da multiplicao:


0x0=0
0x1=0
Prof. Walteno Martins Parreira Jnior

Pgina 70

Lgica Matemtica e Computacional

1x0=0
1x1=1
No entanto, tambm a multiplicao em computadores feita por um artifcio: para
multiplicar um nmero A por n, basta somar A com A, n vezes.
Por exemplo, 4 x 3 = 4 + 4 + 4.
E a diviso tambm pode ser feita por subtraes sucessivas! O que conclumos? Que
qualquer operao aritmtica pode ser realizada em computadores apenas atravs de somas
(diretas ou em complemento).
8.4
8.4.1

Aritmtica em outras bases


Operao direta

A tabuada da soma aritmtica em uma base qualquer simples.


Por exemplo, na base 4, as regras so:
0+0=0
0+1=1
1+0=1
1+1=2
2+0=2

...
3 + 2 = 1 [5 4 (da base) = 1 e "vai 1" para o dgito de ordem superior]
3 + 3 = 2 [6 4 (da base) = 2 e "vai 1" para o dgito de ordem superior]

Exemplo: Efetuar 02323 + 02110


Observaes:
o Lembre-se: soma-se as colunas da direita para a esquerda, tal como uma soma em
decimal.
o No exemplo, so usadas, em seqncia, da direita para a esquerda, todas as regrinhas
acima.
o Na primeira linha, indicado o resultado do "vai um".
o Por simplicidade, no exemplo estamos considerando os dois nmeros positivos.
Soluo:

11-----> "vai um"


02323
02110 +
---------11033
Vamos ver agora a tabuada da subtrao:
0-0=0
0 - 1 = 3 ("vem um do prximo", que igual a base: 4, logo 4 + 0 = 4, 4 1 = 3)
1-0=1
1-1=0
...
2 3 = 3 ("vem um do prximo", que igual a base: 4, logo 4 + 2 = 6, 6 3 = 3)
...
32=1
33=0

Prof. Walteno Martins Parreira Jnior

Pgina 71

Lgica Matemtica e Computacional

Obs.: Como impossvel tirar 1 de zero, o artifcio "pedir emprestado" 1 da casa de


ordem superior. Ou seja, na realidade o que se faz subtrair 1 de 10 e encontramos 3 como
resultado (1 de ordem superior do tamanho da base, logo igual a 4), devendo ento subtrair 1 do
dgito de ordem superior (aquele 1 que se "pediu emprestado" e que vale 4). Vamos lembrar que
esse algoritmo exatamente o mesmo da subtrao em decimal a que j estamos acostumados
desde o curso primrio.
Exemplo: Efetuar 21321 - 02310
Observaes:
o Lembre-se: subtrai-se as colunas da direita para a esquerda, tal como uma subtrao
em decimal.
o No exemplo, so usadas, em seqncia, da direita para a esquerda, as regrinhas acima.
o Na primeira linha, indicado o resultado do "vem um".
o Por simplicidade, no exemplo estamos considerando os dois nmeros positivos.
Soluo:

15-----> "vem um"


21321
02310 ---------13011
As mesmas regras usada para as operaes em base 4 valem para as outras bases como 8,
16, 5 e 7. Observando que o maior algarismo a (base 1).
Outros Exemplos:
11
3AC7816
26 44116 +
---------610B916
11
347238
233348 +
--------602578

2 10 12 11 10
3 1 3 2 04
0 2 3 3 34 ------------------2 2 3 2 14

Prof. Walteno Martins Parreira Jnior

Pgina 72

Lgica Matemtica e Computacional

BIBLIOGRAFIA:
ABE, J. M. & SCALZITTI, A. & SILVA FILHO, J.I. Introduo Lgica para a Cincia da
Computao. Arte & Cincia, 2001.
ALENCAR, E.A. Iniciao Lgica Matemtica. Editora Nobel, 1995.
COPI, I.M. Introduo Lgica. Editora Mestre Jou, 1981.
DAGHLIAN, J. Lgica e lgebra de Boole. Editora Atlas, 1995.
IDOETA, I. I. & CAPUANO, F.G. Elementos de Eletronica Digital. Livros Erica Editora Ltda,
1999.
JONOFON, S. Raciocnio Lgico, Vol. I, 9a Edio. Editora JONOFON, 2000.
TONIN, N. Apostila de lgica para a computao. Erechim: Universidade Regional Integrada,
2008.

Nota do Professor:

Este trabalho um resumo do contedo da disciplina, para facilitar o desenvolvimento das aulas,
devendo sempre ser complementado com estudos nos livros recomendados e o desenvolvimento
dos exerccios indicados em sala de aula e tambm da resoluo das listas de exerccios
propostos.

Material tambm disponvel no site do Professor:


www.waltenomartins.com.br/lmc_apo.pdf

Prof. Walteno Martins Parreira Jnior

Pgina 73