Você está na página 1de 16

Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)

e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)


Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

PARTE 1:

Introdução: Lógica é a análise de método de raciocínio.

Sistemas dicotômicos

A (dummy), é formada com o acréscimo de um prefixo


grego que significa Podemos dizer que
sistemas dicotômicos são aqueles que apresentam dois estados bem definidos.

Variáveis dicotômicas são aquelas que admitem apenas duas respostas


possíveis. Por exemplo, o imóvel considerado pode: i) estar na via principal ou
não estar na via principal, ii) estar em local onde ocorre enchente ou estar em
local não ocorre enchente.

Variáveis (Áreas): Construção Cívil, Língua Portuguesa, Médica, e outras

1. Construção Civil: Imóvel

As variáveis podem ser divididas em três grandes grupos: quantitativas,


qualitativas e dicotômicas (dummy). As variáveis quantitativas influenciam a
formação dos valores dos terrenos de acordo com suas magnitudes (exemplos:
área do terreno, dimensão da testada). As variáveis qualitativas incluem a
declividade, índice de aproveitamento e zona urbana. As variáveis dicotômicas
são aquelas que e influenciam na formação dos valores em função de sua
presença ou ausência (exemplos: via principal, abastecimento de água,
esquina, enchentes).

Variáveis dicotômicas*
Via principal: mostra a importância econômica do logradouro no ambiente
urbano. Os valores unitários dos terrenos urbanos variam de forma direta com
esta variável.

Via secundária: mostra a importância do logradouro para um bairro ou uma


região.
Outras vias: são as vias locais do ambiente urbano.
Zonas homogêneas: representa a região geoeconômica a qual pertence o
terreno.
Abastecimento de água: indica se há ou não abastecimento de água potável.
Coleta de esgoto: indica se há ou não rede de coleta de esgoto ou sistema
semelhante.

Itinerário de transporte coletivo: indica se há ou não transporte coletivo.


Esquina: indica se o terreno situa-se em uma esquina ou não.
Enchentes: indica se um terreno encontra-se em área sujeita a inundações.
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

2. Língua Portuguesa: Redação

Para analisarmos a função das perguntas retóricas que aparecem nos títulos
das redações, utilizamos quatro categorias, que foram identificadas a partir da
apreciação das mesmas: as dicotômicas, que quase sempre intitulam textos
que apresentam argumentos dicotômicos; as reflexivas, que propõem alguma
indagação maior a respeito de alguma questão ampla; as polêmicas, ou seja,
aquelas que sugerem tópicos polêmicos, que não podem ser respondidos
apenas por sim ou não, mas que requerem uma longa discussão a respeito
deles; e, por fim, as criativas, que exprimem algum tipo de humor.

Exemplos de perguntas dicotômicas


INVEJA: HUMANO OU ANIMAL?

INDIVIDUALISMO: SUCESSO OU PRECONCEITO?


INTERNET, AVANÇO OU ATRASO?
TECNOLOGIA: NECESSIDADE OU FUTILIDADE?

3. Medicina: exames laboratoriais

A análise computadorizada dos resultados dos testes laboratoriais é


alternativa interessante para selecionar resultados a serem avaliados
manualmente por especialista, otimizando assim o processo produtivo. Tem-se
discutido bastante esse tipo de análise, mas muito pouco tem sido publicado e
documentado sobre tais esforços. A American Association for Clinical
Chemistry (AACC) iniciou um projeto on-line
(www.aacc.org/labrules/allrecords.cfm) para documentação e discussão de
regras, mas muito pouco se tem discutido neste fórum (middleware library), que
apresenta, até o momento, apenas 18 regras, sendo a maioria delas muito
simples. Entre os sistemas informatizados comercializados no Brasil, três tipos
predominam. O sistema dicotômico, no qual cada teste é avaliado
individualmente e classificado entre normal e anormal, é o mais
freqüentemente presente nos programas computacionais disponíveis no Brasil.
Nesse modelo, os testes classificados como anormais são bloqueados pelos
sistemas, enquanto os normais são liberados automaticamente. Uma variação
desse algoritmo inclui a utilização de delta-checks, comparando os resultados
obtidos com os anteriores e liberando os que apresentem variação considerada
adequada para cada teste.

1. Sistemas dicotômicos: Interruptores, Conjuntos, Proposições


1.1. Interruptores,

Dispositivo ligado a um ponto de um circuito elétrico, que pode assumir um dos


dois estados: 0 ou 1.
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

Complemento: ´

Ex: a´, b´, c´,...

Váriável Complemento

a b a´ b´

Ligados em série Ligados em Paralelo

a
a b

( a. b ) (a + b)

Fazer exercícios em grupos:

1.1.1. Desenhe os circuitos

1.1. a . (b + c) 1.4. a + b + c + d
1.2. a + (b . c . d) 1.5. (a . b) + (a´. c)
1.3. a + (b´ . c´ . d´) 1.6. (a´. b) + (a . b´)
1.7. (a + b) . (a´ + b´)
1.8. (a + b) . (a + b´ + c´)
1.9. (a + b . c) . (a´ . b´ + c´) + a´ . b´ . c
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

1.1.2. Escreva as expressões algébricas

a a a b
d e c d
b c b a´ b

a´ a b
a´ b´
a
b c c d
b a

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

b
a´ b

a´ c b´

1.2. Conjuntos
1.2.1. Círculo de Euler ou Diagrama de Venn. São conjuntos de pontos tomados
num espaço
Intersecção Todos os pontos pertencem só a um
conjunto, a outro conjunto ou ambos

a 0 1
a ´
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

Intersecção Todos os pontos pertencem só a um


conjunto, a outro conjunto ou ambos

a + b a . b

Fazer exercícios em grupos:

1.2.2. Desenhe as expressões através do círculo de Euler ou


Diagrama de Venn.

1. a + b´ 5. a + (b . c) = (a + b) . (a + c)
2. a. b´ 6. ab´ + a´cb
3. p. q´ + p´. q 7. x.y.z´+x´.y´.z
4. (a + b ) . c
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

1.3. Proposições

É uma sentença declarativa, afirmativa, e que deve exprimir um pensamento de


sentido completo, podendo ser escrita na forma simbólica ou linguagem usual.

Exemplos:

1.3.1. Valor lógico de uma proposição:

1.1.1.1. a: O Brasil fica na Europa


1.1.1.2. b: 12320 = 1
1.1.1.3. P= p . q:
Obs:

1.1.1.4. Q= p + q:
Obs:

1.1.1.5. R= p q:
Obs:

1.3.2. Princípios fundamentais da lógica matemática


1.3.2.1. Não-
1.3.2.2. Terceiro Excluído: toda proposição admite único valor.
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

1.3.3. Operações Lógicas sobre proposições


1.3.3.1. Negação ( ´ ) lê-

1.3.3.2. Conjunção ( . ) lê-


A conjunção será falsa: em todos os casos que o valor
lógico de pelo menos uma das proposições for falso.

1.3.3.3. Disjunção inclusiva ou soma lógica (+) lê- X ou Y


A conjunção será falsa: somente no caso que o valor lógico
de ambos as proposições for falso.

1.3.3.4. Disjunção exclusiva ( ) lê- X ou Y, mas não ambas


A conjunção será falsa: somente no caso que os valores
lógicos de ambas as proposições forem todas verdadeiras ou
todas falsas.

1.3.3.5. Condicional ( ) lê- X então Y , Implicação


A conjunção será falsa: somente no caso que o valor lógico
do das proposições for verdadeira e for falsa.
X conhecido como antecedente
Y conhecido como conseqüente
Uma condicional afirma unicamente uma relação entre os
valores lógicos do antecedente e do conseqüente. E não, um
sentido na conseqüência da proposição.

1.3.3.6. Bicondicional ( ) lê-


A conjunção será falsa: somente no caso que os valores
lógicos de ambas as proposições forem diferentes.

Fazer exercícios em grupos:

Monte a tabela verdade de cada Operações Lógicas acima.

a Negação (a ´ ) a b b´
0 1 0 0 1
1 0 0 1 0
1 0 1
1 1 0
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

Fazer exercícios em grupos:

1.3.4. Exercícios: Escreva em linguagem usual / simbólica as


seguintes proposições
LU = (ou, ; LS = ( + ) ( ) ( ´ ) ( ) ( ) ( )
( v ) (^) ( ~) ( v )
(&) ( ¬) ( )
p: Luigi joga futebol q: Luigi joga basquete
p+q
p.q
p . q´

p: Luigi é Italiano q: Luigi é brasileiro


p q

P: Luigi é professor ou jogador Q:Luigi é italiano ou brasileiro


Disjunção inclusiva Disjunção exclusiva
Pode ser ambas p+q Não pode ser ambas p q

p: Luigi nasceu na paulista q: Luigi é paulistano


p q

p: A atriz é bonita q: A atriz é elegante


p+q
p.q
p . q´
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

Classificação das proposições


1-( ´ ) 2-( . ) e ( + ) 3-( ) 4-( )
- Fora dos parênteses é o que define;
- Negação deve estar no parêntese-colchete principal
1. Negação ( ) [p (q . r) ] . s
2. Conjunção ( ) (p q) r´
3. Disjunção ( ) (p . q´)´
inclusiva ( ) [p + (q . r) ]´ s´
4. soma lógica
( ) ( p + q´ ) (r . s)
5. Disjunção
exclusiva ( ) p.q r´
6. Condicional ( ) p + (q . r´)
7. Bicondicional ( ) p . (p q)
( ) [p (q . r) ]´
( ) (p . q´)´ + ( r + s )
( ) p v (q . r´)

PARTE 2:

1.4. Construção da Tabela Verdade (Tautologias, Contradições e


Contingências);

Tabela verdade de uma proposição composta: determinar número de linhas


que se deseja construir; precedência (forma) entre conectivos ocorrem no
problema; definir operações lógicas do problema;

Tautologias: Quando o último valor lógico de uma proposição composta for


sempre verdadeiro.

Contradições: Quando o último valor lógico de uma proposição composta


for sempre falso.

Contingências: Quando o último valor lógico de uma proposição composta


for verdadeiro e falso.

T)autologias (C)ontradições
1. (p . p´)´ 4. p . p´
2. p p 5. p p´
3. p p 6. ( p . q ) . ( p + q )´
7. p´ . ( p . q ´ )
Contin(g)ências
8. p p´
9. p + q p
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

1.5. Construção da Tabela Verdade (Tautologias, Contradições e


Contingências);

1.5.1. Exercícios: Monte a tabela verdade das proposições


abaixo:

10. (a. b´)´ 15. b b´ . a


11. (a b´)´ 16. (a b´) b + a
12. a . b a+b 17. (a b´) a´ + b
13. a´ ( a b) 18. a´ . b c+b
14. (a b) a . b 19. ( a + b c) + (a´ b + c´ )

T)autologias (C)ontradições
20. (p . p´)´ 23. p . p´
21. p p 24. p p´
22. p p 25. ( p . q ) . ( p + q )´
26. p´ . ( p . q ´ )

Contin(g)ências
27. p p´
28. p + q p

1.5.2. Exercícios: Identifique as proposições:

29. ( ) a ( a´ b) (T)autologias
30. ( ) a´ + b ( a b)
31. ( ) a (b ( b a)) (C)ontradições
32. ( ) ( a b) (b a)
33. ( ) a + b´ ( a b´) Contin(g)ências
34. ( ) a´ + b´ ( a b)
35. ( ) a ( a + b) + c
36. ( )a .b (a b+c)
37. ( ) ( a b) ( b a)
38. ( ) p + p´
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

Trabalhos para pesquisa e apresentação: (1.06 1.10)

1.6. Implicação e Equivalência;


1.7. Técnicas Dedutivas;
1.8. Fluxograma;

1.8.1. Método alternativo para tabelas verdades na verificação da


validade de um argumento. Procede da seguinte maneira:
1.8.1.1. Consideram-se as premissas verdadeiras
1.8.1.2. Aplicam-se as definições de conectivos lógicos

Provar:
a b

a b=1 b´ = 1

a 0=1 b=0

a=0

a´=1

-Consideramos as premissas verdadeiras fazendo: a b = 1; b´ = 1


-Como b´ = 1, pela negação temos : b = 0
-Levando b = 0 em a b, temos : a 0 = 1
-Pela definição de condicional a 0 = 1 se e somente se a = 0
-Como a = 0, temos a ´ = 1, o que mostra válido o argumento, pois premissas
verdadeiras conduzem a uma conclusão verdadeira.

1.9. Álgebra das proposições;


1.10. Quantificadores;
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

1.11. Mapas de Karnaugh;

1.11.1. Simplificar uma função booleana com um dos seguintes


métodos:
1.11.1.1. Algébrico
1.11.1.2. Mapa de Karnaugh : é uma forma modificada da tabela
verdade, sendo possível à simplificação ou representação
graficamente de uma função booleana.
1.11.1.3. Método de Mc Cluskey: é usado exclusivamente a
funções booleanas na forma normal disjuntiva e notação
binária. Supera as limitações do mapa de Karnaugh, que pode
ser aplicado a funções com mais de seis variáveis;

Mapa utilizando uma variável: X


0 1
x

Mapa utilizando duas variáveis: X e Y

x \ y
0 1
0 00 10
1 01 11

Mapa utilizando três variáveis: X , Y e Z

x y \ z
0 1
00 000
01
11
10 101

Mapa utilizando quatro variáveis: w, x , y e z

wx\ yz
00 01 11 10
0000

10 1010
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

Mapa utilizando cinco variáveis: k (0,1), w, x , y e z

0 1
w x \ y z 00 01 11 10 wx\ yz
00 01 11 10
0000
0000

1010
1010

Mapa utilizando seis variáveis: j (0,1), k (0,1), w, x , y e z

0 1
w x \ y z 00 01 11 10 wx\ yz
00 01 11 10
0000
0000

0 1010
1010

w x \ y z 00 01 11 10 wx\ yz
00 01 11 10
0000
0000
1
1010
1010

1.11.1.4. Simplificação de funções mediante o mapa de


KARNAUGH
1.11.1.4.1. Dada a função representada em um mapa de
KARNAUGH, se encontrarmos células adjacentes,
podemos fazer uma simplificação.
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

1.11.2. Exercícios:

Y = w´xy´z + wxy´z + w´x´yz + w´xyz + wx´yz

wx\ yz
00 01 11 10
1
1
11 1 1
10 1

Podemos simplificar substituindo a´b´cd + a´bcd por a´cd.

Y = a´b´c´ + abc´d
Y = bc´d + a´bc´d´ + a´bcd
Y = a´bd + a´bc´d´ + abc´d
Y = a´bc´ + a´bd +bc´d
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

1.12. Portas Lógicas.

É a forma de representação gráfica das funções booleanas. Cada porta lógica


pode ter diferentes linhas de entradas, porém somente uma linha de saída.

Normas:
MIL-STD-806B (Military Standard)
CEI Comission Electrotechnique internacionale
DIN 40700 Deutshe Industrie Norm

Circuito Função booleana


Inversor X = a´
And (E) X=a . b
Or (OU) X=a + b
NAND(NE) X = (a . b)´
NOR(NOU) X = (a + b)´
NE (com uma saída invertida) X = (a´b)´
NOU (com uma saída invertida) X = (a´+ b)´
OU (Exclusivo) X = ab´ + a´b x= a b

1.12.1. Exercícios: Faça o desenho das portas nas normas: MIL CEI e
DIN
Aulas PARTE 1(Sistemas dicotômicos, Circuitos, Conjunto, Proposições)
e PARTE 2 (Tabela Verdade, Portas Lógicas, Mapa Karnaugh)
Curso: TADS/Ciência da Computação/Sistemas de Informação/Automação e
Robótica/Redes de Computadores/Gestão de TI
Disciplina: Lógica Matemática Professor: Luiz Lima

1.12.2. Exercícios: Desenho o circuito com as portas

x = ab
x = ab´+ a´b
X = ac + bc
X = (a . b ) + (c . d)
X = a´b + ab´c + abc´ + abc

Boa Sorte!

Você também pode gostar