Lógica, perguntado por selma305917, 6 meses atrás

Montar a tabela verdade de cada uma das proposições abaixo.
a)(p ∧ q) → (p ∨ q)
b)(p ↔∼ q) → (∼ p ∧ q)
c)[∼ (p ∧ q)] ∨ [∼ (q ↔ p)]
d)(∼ p ∧ r) ↔ (q∨ ∼ r)

Soluções para a tarefa

Respondido por Netopm26
1

Resposta:

1º Tabela com duas proposições fica: pra responder as letras a), b), c).

p  |  q

V  |  V

V  |  F

F  |  V

F  |  F

a) - (p ∧ q) ; (p ∨ q)   Condicional dos 2: (p ∧ q) → (p ∨ q)

        V           V                                                     F

        F            V                                                     F

        F            V                                                     F

        F            F                                                      F

b)-(∼q);(p↔∼q) ; (∼p);(∼p ∧ q)  Condicional dos 4 fica: (p↔∼q) → (∼p ∧ q)

      F       F           F         F                                                             V

      V      V           F         F                                                              F

      F      V           V         V                                                             V

      V      F           V         F                                                              V

c) (p∧q);[∼(p∧q)];(q↔p);[∼(q↔p)] Disjunção dos 4 fica: [∼(p∧q)] ∨ [∼(q↔p)]

      V          F          V            F                                                       F

      F          V          F            V                                                        V

      F          V          F            V                                                       V

      F          V          V            F                                                        V

2º Tabela com três proposições fica: pra responder a letra d).

p  |  q  |   r

V  |  V  |  V

V  |  V  |  F

V  |  F  |  V

V  |  F  |  F

F  |  V  |  V

F  |  V  |  F

F  |  F  |  V

F  |  F  |  F

d) - (∼p);(∼ p ∧ r);(∼ r);(q∨ ∼ r) Bicondicional dos 4 fica: (∼ p ∧ r) ↔ (q∨ ∼ r)

        F          F        F        V                                                               F

        F          F        V        V                                                                F

        F          F        F         F                                                                V

        F          F        V        V                                                                F

        V         V         F        V                                                               V

        V         F         V        V                                                               F

        V         V         F        F                                                               F

        V         F         V        V                                                                F

-Espero que entenda, ficou complicado até pra digitar esse monte de coisa, mas pode confiar, são esses os resultados mesmos. blz

-Estou acostumado a resolver questões de tabela verdade.

-As respostas são essas em negrito no final de cada questão.

Flw, Vlw

Perguntas interessantes