Question

Na tabela verdade se eu negar uma proposição, (não importa o conectivo), ela fica totalmente ao contrário?
Exemplo:
abaixo:
P | Q |(P V ¬Q)|¬(P V ¬Q)
V | F | V |
V | V | F |
F | F | V |
F | V | V |

Answer 1

é assim:

como negar a disjunção p v ~q ?

# nega a primeira (~p)

#depois inverte o conectivo (^)

# e nega a segunda ( q)

logo:

~(p v ~q) = ~p ^ q
.......

qlqr dúvida é só perguntar ;-)