Lógica

1245 palavras 5 páginas
I Lista de Exercícios – Matemática Discreta
Lógica
1. Faça os seguintes cálculos:
a. V ∧ V ∧ V ∧ V ∧ F
b. (¬V ) ∨ V
c. ¬(V ∨ V )
d. (V ∨ V ) ∧ F
e. V ∨ (V ∧ F )
2. Quais das frases a seguir são sentenças?
a. A lua é feita de queijo verde.
b. Ele é um homem alto.
c. Dois é um número primo.
d. O jogo terminará logo?
e. Que bom!
f. x –(– 4 ) = 0.
3. Prove: (x ∧ y ) ∨ (x ∧ ¬y ) é logicamente equivalente a x.
4. Prove que x ↔ y é logicamente equivalente a (¬ x) ↔ (¬y ).
5. Prove que x ↔ y é logicamente equivalente a (x → y ) ∧ ( y → x).
6. Prove que x ↔ y é logicamente equivalente a (x → y ) ∧ ((¬ x) → (¬y )).
7. Prove que (x ∨ y ) → z é logicamente equivalente a (x → z ) ∧ ( y → z ).
8. Responda à seguinte pergunta, justificando sua resposta: “Qual a relação dos valores lógicos de duas sentenças equivalentes?”
9. Suponha que tenhamos duas expressões booleanas que envolvam dez variáveis. Para provar que essas duas expressões são logicamente equivalentes, construímos uma tabela verdade. Quantas linhas, além da linha do cabeçalho, essa tabela teria?
10. Como se refutaria uma equivalência lógica? Mostre que:
a. x → y não é logicamente equivalente a y → x .
b. x → y não é logicamente equivalente a x ↔ y .
c. x ∨ y não é logicamente equivalente a (x ∨ ¬y ) ∨ ((¬ x) ∧ y ).
11. Prove que as expressões seguintes são tautologias:
a. (x ∨ y ) ∨ (x ∨ (¬y )).
b. (x ∧ (x → y )) → y .
c. ¬((¬ x)) ↔ x .
d. x → x .
1

e. ((x → y ) ∧ ( y → z )) → (x → z ).
f.

Relacionados

  • Lógica
    1092 palavras | 5 páginas
  • Logica
    1017 palavras | 5 páginas
  • Portas Logicas
    821 palavras | 4 páginas
  • Logicas
    1579 palavras | 7 páginas
  • logica
    1727 palavras | 7 páginas
  • Lógica
    1376 palavras | 6 páginas
  • Lógica
    1411 palavras | 6 páginas
  • Lógica proposicional
    1417 palavras | 6 páginas
  • Logica
    4152 palavras | 17 páginas