Escolar Documentos
Profissional Documentos
Cultura Documentos
1. Introdução
Este material será voltado para as turmas de Engenharia Elétrica no intuito de auxiliar o estudo remoto. Aqui se fará
uma breve análise dos conectivos lógicos e suas aplicações em algumas áreas, inclusive, na engenharia. No sentido geral, este
material servirá de ajuda para consultas posteriores.
2. Notação
i. p, diz-se afirmação “p”
Exemplo 2 O Americano irá ganhar pelo menos uma competição este ano.
p∧q
p∨q
∼ (p ∧ q) = (∼ p) ∨ (∼ q)
p q ∼p ∼q p∨q p∧q ∼ (p ∧ q) (∼ p) ∨ (∼ q)
V V F F V V F F
V F F V V F V V
F V V F V F V V
F F V V F F V V
∼ (p ∨ q) = (∼ p) ∧ (∼ q) (1)
Resposta:
Palmeiras ou Grêmio não disputarão a final da Libertadores.
2 Silva, C.E.N
∼ (p ∨ q) = (∼ p) ∧ (∼ q)
Resposta:
A negação é dada por: −1 < x < 2
Pode-se fazer uma analogia dessas simbologias em relação a teoria dos conjuntos, ou seja dados A e B dois conjuntos
quaisquer, pode-se escrever:
AC ≡ (∼ A) (4)
De posse destas informações pode-se escrever:
(A ∪ B)C = AC ∩ B C ≡ (∼ A) ∧ (∼ B) (5)
(A ∩ B)C = AC ∪ B C ≡ (∼ A) ∨ (∼ B) (6)
x + y = 7
x+z =5
y+z =6
2n = 18, n = 9 (7)
Com isso nós podemos montar a tabela verdade dos conectivos ∧ e ∨, a saber:
p q p∨q
V V V
V F V
F V V
F F F
p q p∧q
V V V
V F F
F V F
F F F
Exemplo 9 A probabilidade de fechamento de cada relé do circuito apresentado na figura abaixo é igual a p, donde 0 < p < 1
Se todos os relés funcionam independentemente, qual é a probabilidade de que haja corrente circulando entre os terminais
A e B?
Solução:
Denoto por C o conjunto cuja a probabilidade deseja-se calcular.
3. Implicação
3.1. Simbologia
i. a ↔ b(se somente se ou iff)
ii. a → b(se então)
Com isso nós podemos escrever uma tabela verdade para estas simbologias:
p q p→q
V V V
V F F
F V V
F F V
p q p↔q
V V V
V F F
F V F
F F V
A.. Todos os alunos que não são estudiosos torcem por uma prova fácil
B.. Existem alunos que não são estudiosos e não torcem por uma prova fácil
C.. Mostre que a negação do enunciado a) é equivalente ao b)
Solução:
Simbologia:
a : aluno
e: estudioso
A..
∀[(a ∧ (∼ e) → f ] (15)
B..
∃(a ∧ (∼ e) ∧ (∼ f )) (16)
Silva, C.E.N 5
C..
∃ ∼ (H → f ) = ∃(H ∧ (∼ f )) (19)
Para isto, vamos usar a tabela verdade e comparar as sentenças:
H f H→f
V V V
V F F
F V V
F F V
H f ∼ (H → f )
V V F
V F V
F V F
F F F
H ∼f H ∧ (∼ f )
V F F
V V V
F F F
F V F
cqd.
6 Silva, C.E.N
4. Referências
1. https://portaldaobmep.impa.br/uploads/msg/5fpwf84eez8c0.pdf