Tabela Verdade

por **Dan** » Seg Mar 07, 2011 01:08

Gente, como será a tabela verdade de:

$\sim(p \vee q)$

É a mesma tabela de $p \vee q$ ?

Porque está sendo negada toda a proposição composta por p ou q, mas ainda assim temos a estrutura de p ou q.

por **Abelardo** » Seg Mar 07, 2011 03:13

Estou super erradão. Perdão!

por **LuizAquino** » Seg Mar 07, 2011 10:33

Abelardo escreveu:A negação de uma tabela verdade de tipo conjunção é o mesmo que a tabela verdade da disjunção.

Errado. Veja na tabela verdade abaixo que $\lnot (p\lor q)$ é diferente de $p \land q$ .

$\begin {array}{c|c|c|c|c} p & q & p \lor q & \lnot(p \lor q) & p\land q \\ \hline V & V & V & F & V \\ \hline V & F & V & F & F \\ \hline F & V & V & F & F\\ \hline F & F & F & V & F \end{array}$

por **Dan** » Seg Mar 07, 2011 14:00

Certo, é a tabela verdade da negação.

por **LuizAquino** » Seg Mar 07, 2011 18:42

Dan escreveu:Certo, é a tabela verdade da negação.

Você está dizendo que a tabela verdade do exercício é a mesma da negação da conjunção? Se for isso, também está errado. Veja na tabela verdade a seguir.

$\begin {array}{c|c|c|c} p & q & \lnot(p \lor q) & \lnot (p\land q) \\ \hline V & V & F & F \\ \hline V & F & F & V \\ \hline F & V & F & V \\ \hline F & F & V & V \end{array}$