Escolar Documentos
Profissional Documentos
Cultura Documentos
• operação OU,
• operação E
• negação.
Todas as funções Booleanas podem ser representadas em termos dessas operações básicas.
Operação OU :
0+0=0
0+1=1
1+0=1
1+1=1
Símbolo: ×.
Operação E:
0 ×0 = 0
0 ×1 = 0
1 ×0 = 0
1 ×1 = 1
- Tautologia
Definição: Tautologia é uma proposição composta cujo valor lógico é sempre verdadeiro.
Exemplo:
i) A proposição p ∨ (~p) é uma tautologia, pois o seu valor lógico é sempre V
ii) A proposição (p Λ q) → (p → q) é uma tautologia, pois a última coluna da tabela-verdade
só possui V.
https://ccbela.wordpress.com
~p p ~p p
V F V
V F V
F V V
F V V
Nota: Podemos tambem representar qualquer toutologia por (“1”, “T” ou “V”).
- Contradição
Podemos também representar qualquer toutologia por (“1”, “T” ou “V”) e qualquer contradição
por (“0” ou “F”). Ou seja, no lugar de uma fórmula que é tautologia podemos colocar “1” ou
“V”.
Exemplos:
A v 0 <==> A Elemento neutro A v F = A;
A v A’ <==> 1 Complementos
A ^ A’ <==> A Elemento neutro A^V=A
A ^ A’ <==> 0 Complementos
- Contingência
- Contingência
Exemplos: p q
Implicação Lógica
Definição: Dadas duas proposições compostas P e Q, diz-se que ocorre uma implicação
lógica (ou relação de implicação ou proposição condicional) entre P e Q quando
a proposição condicional P Q é uma tautologia, ou seja, diz-se que uma
proposição P implica logicamente uma proposição Q, se Q é verdadeira todas
as vezes que P é verdadeira.
Notação : P Q (P implica Q)
Ref.: https://www.colegioweb.com.br/nocoes-de-logica
Diferença entre e
Exemplo:
i) (p Λ q) ⇒ (p ↔q)
(p Λ q) → (p ↔ q)
Exemplo:
ii) 5 x 5 = 20 (2+1)2 = 32.
Devemos perguntar:
5 x 5 = 20 (2+1)2 = 32 é verdade sempre?
Proposições:
P: 5 x 5 = 20 é F (único valor)
q: (2+1)2 = 32 é V (único valor)
Logo,
P q ou F V , o que dá como resultado V em todas as situações (Tautologia).
3 > 2 3 > 4
V F é Falso
Exemplo: Verificar (p ^ q) (p q)
(p ^ q) (p q) é uma tautologia?
Equivalência Lógica: P Q.
Equivalência Lógica
indica uma operação lógica (i.e., pode ser verificada por uma tabela
verdade).
Propriedades
• Reflexiva : P P
• Simétrica : Se P Q então Q P
• Transitiva: Se P Q e Q R, então P R
Equivalências Tautológicas
As fórmulas A e B são tautologicamente equivalentes e indicamos A B se e
somente se a fórmula A B é uma tautologia
Equivalências Tautológicas
Leis de DE MORGAN
(A ^ B)’ <=> A’ v B’
(A v B)’ <=> A’ ^ B’
Exemplo: Fórmulas
A: p (q ^ r) e
B : ~(q ^ r ) ~ p
vamos verificar que A B, ou ainda que A / B.
A B pois A B é tautologia
É uma tautologia!
É uma tautologia!
É uma tautologia!
Uma sentença como “𝑥 2 = 4” não é uma proposição, pois para que ela possa ser
classificada em verdadeira ou falsa é preciso saber qual valor é atribuído a x. Trata-
se de uma sentença aberta. Sentenças como essa são denominadas predicados.
Considere as proposições:
p: A Terra é um planeta.
q: A Terra gira em torno do Sol
Considere as proposições:
p - A Terra é um planeta
q - A Terra gira em torno do Sol.
Considere as proposições:
p: Faz calor
q: Está fazendo sol.
Traduza para a linguagem natural a proposição p⟺ ¬q
(a) 4 > 3
(b) 5 <= 2
(c) Juliana é uma bela menina.
(d) x < 5
(e) O Flamengo é o melhor time do mundo.
(a) Associativa
(b) Distributiva
(c) De Morgan
(d) Comutativa
(e) Nenhuma das opções anteriores.
(a) Associativa
(b) Distributiva
(c) De Morgan
(d) Comutativa
(e) Nenhuma das opções anteriores.
Resp.:
𝑃(𝑝,𝑞)=~(𝑝˅𝑞)↔~𝑝˄~𝑞
𝑃(𝑝,𝑞)=~(𝑉 ˅ 𝐹)↔𝐹˄ 𝑉
𝑃(𝑝,𝑞)=~(𝑉 )↔𝐹
𝑃(𝑝,𝑞)=𝐹↔𝐹
𝑃(𝑝,𝑞)=𝑉
Expresse a sentença "Se João é pintor, então ele é artista e professor" em linguagem simbólica:
a)
b)
c)
d)
e)
(a) Tautologia
(b) Contradição
(c) Contingência
(d) Precedência
(e) Nenhuma das opções anteriores
Construa a tabela verdade da proposição
P(𝑝,𝑞,𝑟): 𝑝 ^ ~𝑟 → ~𝑞 v 𝑟
a) Dupla Negação
b) Associativa
c) Comutativa.
d) Idempotente.
e) De Morgan
A proposição p ^ ~(p v q) é um exemplo de:
a) Tautologia
b) Contradição
c) Contingência.
d) Precedência.
e) Nenhuma das alternativas anteriores.
Suponha que um revendedor de engates
possua 31 tipos diferentes de engates. Qual o
número mínimo de engates que o revendedor
deve ter em estoque para garantir que haja
pelo menos 3 engates de um mesmo tipo?
Explicação: Se tivermos 62 engates, haverá, pelo menos, 2 engates de cada tipo (62 = 31 x 2), mas
não há garantia de que algum tipo tenha 3 engates, pois pode ocorrer que haja, exatamente, 2
engates para cada um dos 31 tipos.
Assim, com 63 engates, certamente haverá pelo menos 1 tipo que terá 3 engates.
Com os dígitos 0, 1, 2, 5 e 8, quantos números
de quatro algarismos diferentes, podemos
formar, no sistema de numeração decimal ?
Explicação:
a) 96 Possibilidades:
b) 69 - 4 para o primeiro algarismo (exclui-se o 0)
c) 196
d) 120 - 4 para o segundo algarismo (exclui-se o
e) 129 primeiro)
- 3 para o terceiro (excluem-se os dois
primeiros)
- 2 para o quarto (excluem-se os três
primeiros)
Resultado: 4 x 4 x 3 x 2 = 96 possibilidades.
Um alfabeto consiste em quatro letras: A, B, C
e D. Nessa língua, uma palavra é uma
seqüência arbitrária de no máximo quatro
letras diferentes Quantas palavras existem
nessa língua?
a) 24
b) 48
c) 64
Desta forma, este idioma pode formar palavras com 1, 2, 3 ou 4 letras,
d) 128
DESDE QUE TODAS AS LETRAS SEJAM DISTINTAS ENTRE SI.
e) 12 Logo,
Palavras de 1 só letra = 4 possibilidades
Palavras de 2 letras = 4 x 3 possibilidades = 12 possibilidades
Palavras de 3 letras = 4 x 3 x 2 possibilidades = 24 possibilidades
Palavras de 4 letras = 4 x 3 x 2 x 1 possibilidades = 24 possibilidades
Total: 64 possibilidades.
MATEMÁTICA APLICADA A COMPUTAÇÃO
Indicação de Leitura
Indicação de Leitura Específica
Sugestão de material:
http://www.otricolor.com/images/noticias/1278/Inicia%E7%E3o%20a%20L%F3gica%20Matem%E1ti
ca.%20Edegard%20Filho.%20Editota%20Nobel%20(1).pdf
https://www.google.com.br/?gfe_rd=cr&ei=TdqhVaOOEeGB8QeEu4DIDA&gws_rd=ssl#q=Proposi%C
3%A7%C3%B5es+Simples
http://www.feata.edu.br/downloads/revistas/avessodoavesso/v3_artigo04_logica.pdf
http://uol.iesde.com.br/aprovaconcursos/demo_aprova_concursos/raciocinio_logico_01.pdf
Sugestão de leitura:
https://docente.ifrn.edu.br/cleonelima/disciplinas/fundamentos-de-programacao-
2.8401.1m/fundamentos-de-logica-e-algoritmos-1.8401.1v/apostila-equivalencias-logicas