Dúvida em Raciocínio Lógico - Exercício

[pkutwak]

Foi passado este exercício:

Se é domingo, Maria vai à missa.

Maria não foi à missa.

Logo, Não é domingo.

Montar a tabela verdade.

Entendi p -->q, o problema está em ~p, ~q.

Não entendi porque ~p foi colocado assim:
F
V
V
V

e ~q
F
F
V
V

Alguem pode ajudar-me a resolver está questão?

Obrigado.

[deangelo]

Veja como fica a tabela-verdade das proposições p => q e ~q => ~p

P | Q | P => Q
---+---+--------
V | V | V
V | F | F
F | V | V
F | F | V

P | Q | ~Q => ~P
---+---+----------
V | V | V
V | F | F
F | V | V
F | F | V

Note que p => q e ~q => ~p possuem a mesma tabela-verdade, logo são equivalentes. Portanto, é válido substituir qualquer uma das proposições pela outra que o raciocínio ainda continua o mesmo.