Documente Academic
Documente Profesional
Documente Cultură
de Uberlndia
Sistemas de Informao
Apostila de
Lgica Matemtica e
Computacional
2014
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
Pgina 2
Pgina 3
APRESENTAO
0.1
Metodologia da Disciplina
0.2
0.3
0.4
0.5
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).
Pgina 4
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
Exemplos:
Prof. Walteno Martins Parreira Jnior
Pgina 6
v(P) = V
v(Q) = F
v(R) = V
Palavras
Smbolo
No
~ ou
Conjuno
Disjuno
Ou
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
1.3
Tabelas-verdade e conectivos.
F
Pgina 8
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).
~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.
P Q ,
Pgina 9
PQ
Exemplo:
P: Pitgoras era Grego
P Q ,
A tabela-verdade:
P
PQ
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
A tabela-verdade:
P
PQ
PQ
Pgina 11
PQ
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
pq
pq
pq
V
V
F
F
V
F
V
F
V
F
F
F
V
V
V
F
F
V
V
F
pq pq
V
F
V
V
V
F
F
V
~p
V
F
F
V
Pgina 12
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
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
q: Violetas so azuis.
r: Cravos so amarelos.
Pgina 14
q: J Soares artista.
r: Paulo cantor.
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
b) p q
f) ~~p
c) p ~q
g) ~(~p ~q)
d) p ~q
h) ~p ~q
q: O bambol amarelo.
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
b) p q p
e) ~~p
h) p ~q
c) p ~q
f) p (~p ~q)
i) p (~q p)
Pgina 15
j) ~p r ~q r
k) p r ~q
l) ~(r ~q) p
b) p (p ~ r) q r
d) (p q r) (~ p q ~ r)
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
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
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.
Pgina 17
2.4
~p
p ~p
Exerccios
b) p ( p q ) p
d) p ( p q ) p
b) (p r ) ( p q ) r
d) p q p q p
f) p r q ( p q ~r
Pgina 18
3.1
Introduo
3.2
3.3
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
qp
V
Pgina 19
3.5
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
3.8
Implicaes Notveis
Pgina 20
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
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
( (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.
Pgina 22
pq
~p
~p q
F
F
V
F
F
V
V
Como as tabelas-verdade possuem resultados iguais, logo a relao verdadeira.
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.
Pgina 23
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.
~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
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
Das proposies:
i)
p q (condicional)
ii)
q p (recproca da condicional)
iii)
~q ~p (contrapositivo)
iv)
~p ~q (recproca do contrapositivo)
pq
pq
qp
(p q) (q p)
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
Pgina 25
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
Pgina 26
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)
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
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
Pgina 28
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
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.
Pgina 29
Validade
Supor
Ocorrncia
Tautologia
Absurdo
Contradio
Absurdo
Contingncia
VeF
4.3.1 - Exemplos:
1) Demonstrao de uma tautologia: p ~( p q )
p
~ (
q)
a negao da tautologia F
F
F
V
absurdo
pq
~ (p q)
p ~ (p q)
~ p
a negao da contradio V
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.
Pgina 30
a negao da tautologia F
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 )
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 )
Pgina 31
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 ))
b) (p q r) q r p
d) ~ (p q) (p ~q)
f) p ( p q ) p
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
LGEBRA BOOLEANA
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
0+0=0
ii)
0+1=1
iii)
1+0=1
iv)
1+1=1
Lembrar que: p q
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
5.2
i)
A0=0
iii)
AA=A
ii)
A1=A
iv)
A A = 0
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:
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)
c) As regras para formar expresses vlidas em lgebra booleana so as mesmas para formar
frmulas lgicas no clculo proposicional:
i)
ii)
iii)
iv)
maior precedncia
menor precedncia
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)
Pgina 35
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
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
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
5.3
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)
Pgina 37
4)
5)
Pgina 38
A
A
A
A
B
A B
A B
B
ABC
B
A BC
AB C
AB C
C
Nmero De Clulas: 2N
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
B
1
B
1
A
A
B
1
0
B
0
1
Portanto, tem-se o
mapa montado.
Pgina 39
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
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)
Pgina 40
C
C
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
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
grupo 1
grupo 2
grupo 3
Pgina 41
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
Pgina 42
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
E
A
AB
C
C
A
1
1
B
1
B
Pgina 43
A expresso simplificada : S = A B + C
Exemplo 2:
ABC
A B C
A B C
A B C
A soluo simplificada :
S1 = AB + AC + BC
Pgina 44
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
Pgina 45
5.4
Exerccios
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
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
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)
D
D
C
C
C
D
D
C
C
C
D
D
d)
D
D
Pgina 46
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
C
C
C
D
D
B
Pgina 47
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
Pgina 48
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
fechado
A
6.3
Pgina 49
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
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
6.5
AB
Representao
Pgina 50
6.6
S = ( A + B + C) ( A + C)
Pgina 51
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
6.7
Exerccios
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
Pgina 52
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
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
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
Pgina 53
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
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
Pgina 55
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.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
Pgina 56
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
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
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
Se os 8 casos suspeitos de Nova York forem gripe suna, ento o governo dever
tomar medidas efetivas para conter a disseminao da doena.
Variveis proposicionais:
Traduo formal:
PQ
QR
PR
SP
~S
-----R
Primeira regra usada:
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
7.2.12 Reviso
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
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
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
Pgina 60
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)
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
Pgina 61
SISTEMAS DE NUMERAO
Pgina 62
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
Pgina 63
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
Pgina 64
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".
8.2
Vamos analisar agora as regras gerais para converter nmeros entre duas bases quaisquer.
8.2.1
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
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
Pgina 66
8.2.3
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
Pgina 67
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
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
Pgina 68
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
Pgina 69
Complemento a Base
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
Pgina 70
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
...
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]
Pgina 71
2 10 12 11 10
3 1 3 2 04
0 2 3 3 34 ------------------2 2 3 2 14
Pgina 72
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.
Pgina 73