A Analise e Desenvolvimento de Sistema

Centro Universitário Tiradentes

Analise e Desenvolvimento de Sistema

Jose Wellington lima de Souza

Matricula: 1177148770

Polo: Maceió AL

Trabalho de lógica matemática

Maceió

2020

                                                           PROPOSTA

1. Sabendo que V(a) = V, V(b) = F, V(c) = V e V(d) = V, determine o valor lógico das proposições a seguir demonstrando o passo-a-passo através da Tabela Verdade: (3 pontos)

1. Q(a,b,c,d): (([(a ∧ c) → d] → ~b) ↔ (b ∨ ~a)) → (~(d → c) → a).

1. Resposta preposição verdadeira

a

b

c

d

~a

~b

a^c

bv~a

d→c

a^c→d

[(a^c→d)→d]→~b

~(d→c)

~(c→d)→a

(([(a ∧ c) → d] → ~b) ↔ (b ∨ ~a)) → (~(d → c) → a).

(([(a ∧ c) → d] → ~b) ↔ (b ∨ ~a)) → (~(d → c) → a)

V

V

V

V

F

F

V

V

V

V

F

F

V

F

V

V

V

V

F

F

F

V

V

V

F

V

F

V

V

V

V

V

F

V

F

F

F

V

F

V

F

V

V

F

V

V

V

F

F

F

F

F

V

V

V

F

F

V

F

V

V

F

V

V

F

F

V

F

V

V

V

F

V

F

V

V

F

V

F

F

F

V

F

V

F

V

F

V

F

V

V

F

F

V

F

F

F

F

F

V

V

V

V

F

V

V

F

F

F

F

F

F

F

V

V

V

F

V

F

V

F

V

V

V

V

V

F

V

V

V

F

F

V

F

V

F

V

V

F

V

V

F

V

V

V

F

F

F

F

V

F

V

F

V

V

V

F

V

F

V

F

V

F

F

V

F

V

F

F

V

V

F

V

V

V

F

F

V

F

V

F

F

V

V

V

V

F

V

V

V

V

F

V

V

V

F

F

V

F

V

V

F

V

V

V

V

F

V

V

V

F

F

F

V

V

V

F

V

F

V

V

V

F

V

F

F

F

F

f

v

V

F

V

V

V

V

F

V

V

V

...