Ecercicio!

•

UNIUBE

0

Lucas Tevine

19/11/2014

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

E aí, curtiu este material?

Ajude a incentivar outros estudantes a melhorar o conteúdo

Gostou desse material? Compartilhe! 🧡

Lógica I

21.107 Materiais compartilhados

Baixe o app para aproveitar ainda mais

Leia os materiais offline, sem usar a internet. Além de vários outros recursos!

Prévia do material em texto

1) Verifique a validade das fórmulas abaixo e se possível analiseas utilizando método da tabela verdade e o método da arvore semântica.
a) TRUE∧FALSE→¬A
b) ¬¬¬¬¬(A∧B∨A)
c) (P→B)↔A∨¬b
d) ¬(P∧Q)¬(Q∨P)∧¬P
e) (A∧B)→(B↔A)→¬A
f) ¬(¬(¬(¬(R∧Z)→¬R)∧¬¬¬Z)AR∨Z)↔TRUE
g) ((¬(¬P))↔((¬((¬((P∨Q)))→R)))∧P))→FALSE
h) ((A∧B)→(B∨A))↔((B∨A)→(A∧B))
i) S∧A∨S→¬A¬S→¬A∨¬S↔(A∨S)
j) (¬¬¬¬¬A→¬¬¬¬¬TRUE)↔((A∧B∨TRUE)→(A∨B)