Logica e Matemática Discreta

684 palavras 3 páginas
1. Pesquise e responda o que é a forma dual de uma proposição composta.
“O dual de uma proposição composta que contém apenas os operadores lógicos ∨, ∧ e ¬ é a proposição composta obtida pela troca de cada ∨ por ∧, cada ∧ por ∨, cada V por F e cada F por V."
Existe um principio na álgebra booleana denominada "principio da dualidade".
Para uma equação booleana qualquer, se trocarmos as operações (E ^) e operações (OU v) entre sí assim como valores zero e um entre si, obtermos uma equação igualmente válida
2. Encontre a forma dual das proposições abaixo:
A) p V q= p^q B) p ^ q= pvq C) ~p V ~q=
~p ^ ~q
D) (~p V q) ^ r=
(~p ^ q) v r
E) p ^ q V ~r= p v q ^ ~r
3. Compare as tabelas-verdade das proposições da questão 2 com as tabelasverdade das suas respectivas formas duais.
A)
p v q p ^ q
1 1 1
1 1 1
1 1 0
1 0 0
0 1 1
0 0 1
0 0 0
0 0 0
B)
p ^ q p v q
1 1 1
1 1 1
1 0 0
1 1 0
0 0 1
0 1 1
0 0 0
0 0 0
C)
~p v ~q
~p ^ ~q
0 0 0
0 0 0
0 1 1
0 0 1
1 1 0
1 0 0
1 1 1
1 1 1

D)
(~p
0
0
0

v q) ^
1 1 1
1 1 0
0 0 0

r
1
0
1

(~p ^
0
0
0
0
0 0

q)
1
1
0

v
1
0
1

r
1
0
1

0
1
1
1
1

0
1
1
1
1

0
1
1
0
0

0
1
0
1
0

0
1
0
1
0

0
1
1
1
1

0
1
1
0
0

0
1
1
0
0

0
1
1
1
0

0
1
0
1
0

E) p 1
1
1
1
0
0
0
0

^
1
1
0
0
0
0
0
0

q
1
1
0
0
1
1
0
0

v ~r
1 0
1 1
0 0
1 1
0 0
1 1
0 0
1 1

p
1
1
1
1
0
0
0
0

v
1
1
1
1
1
1
0
0

q
1
1
0
0
1
1
0
0

^
0
1
0
1
0
1
0
0

~r
0
1
0
1
0
1
0
1

4. Encontre a forma dual das proposições abaixo (primeiro coloque na FNC, para poder fazer a forma dual):
A) p -> q
Aplicando Condicional, FNC:
~p v q
Dual:
~p ^ q
B) p q
Aplicando Bicondicional:
(p -> q) ^ ( q -> p)
Aplicando Condicional, FNC:
(~p v q) ^ (~q v p)
Dual:
(~p ^ q) v (~q ^ p)
C) ~(q V p)
Aplicando De Morgan, FNC:
~q ^ ~p
Dual:
~q v ~p
D) ~( p ->

Relacionados

  • Matematica discreta - Logica
    1494 palavras | 6 páginas
  • Matematica e Logica Discreta
    648 palavras | 3 páginas
  • Fundamentos de lógica e matemática discreta
    1941 palavras | 8 páginas
  • Fundamentos de lógica e matemática discreta
    1371 palavras | 6 páginas
  • Fundamentos de lógicas e matemática discreta
    3785 palavras | 16 páginas
  • Fundamentos de lógica e matemática discreta
    747 palavras | 3 páginas
  • Fundamentos de lógica e matemática discreta
    697 palavras | 3 páginas
  • Arvores - Matematica DIscreta e Logica
    2676 palavras | 11 páginas
  • Fundamentos de lógica e matemática discreta
    1344 palavras | 6 páginas
  • fundamentos de lógica e matematica discreta
    564 palavras | 3 páginas