para o método ficar mais eficiente, busca-se aquela que aparece mais vezes nas hipóteses, pois ficará mais fácil para provar a contradição. Neste c...

para o método ficar mais eficiente, busca-se aquela que aparece mais vezes nas hipóteses, pois ficará mais fácil para provar a contradição. Neste caso, tanto P quanto Q aparecem 4 vezes e R aparece 2 vezes. Vamos escolher então P e atribuiremos a ela o valor VERDADEIRO. Considerando P=V, observam-se as hipóteses: A primeira hipótese mostra que se P=V, temos ~???? = ???? . Assim o valor de R fica indefinido neste caso. Na segunda hipótese, considerando P=V, também teremos indefinição sobre o valor lógico de Q. Na terceira hipótese, se P=V, necessariamente deveremos ter ~???? = ???? para a condicional ser VERDADEIRA, logo Q=F. Já a quarta hipótese, com os valor lógico de Q, chega-se a conclusão que ~???? = ???? , ou seja R=F. Observe que todos os casos atenderam as premissas verdadeiras, ou seja, são os valores lógicos corretos. Obviamente foi um golpe de sorte já acertarmos o valor lógico de P e para se ter uma ideia como funcionaria a contradição, vamos agora testar como se tivéssemos atribuído o valor FALSO a P. Considerando P=F, observam-se as hipóteses: A primeira hipótese mostra que se P=F, temos ~???? = ???? . Assim o valor de R deverá ser VERDADEIRO para a condicional ser VERDADEIRA. Na segunda hipótese, considerando P=F, temos que ter o valor lógico de Q também FALSO para a condicional ser VERDADEIRA. Na terceira hipótese, se P=F, Q poderia ser qualquer valor, mas como já definimos que Q é FALSO, a premissa está correta. Finalmente na quarta hipótese, como Q=F e R=V, temos que ~???? → ~???? = ???? → ???? = ???? , ou seja, com esses valores lógicos, a quarta hipótese falha e não será VERDADEIRA. Com isso, prova-se a contradição mostrando que o valor lógico de P não pode ser FALSO e sim VERDADEIRO. Mostrada a solução pelo método da contradição, vamos apresentar a segunda estratégia agora, que é a mais clássica e mais popular entre os estudantes de raciocínio lógico: A Tabela-Verdade. Recordando o capítulo de lógica da argumentação, praticamente todos os problemas deste tipo podem ser solucionados com a Tabela-Verdade e neste caso não seria diferente. Mantendo a mesma nomenclatura das proposições e usando as expressões lógicas já feitas, montamos a seguinte tabela: P Q R (~????) → ???? ???? → ???? ???? → (~????) ~????) → (~???? V V V V V F V V V F V F V V V V F V F V F V F F V V V V V F F F F V V V

a) não durmo, estou furioso e não bebo. Errado, pois “Eu estou furioso é FALSO” e “Eu não durmo” é FALSO.
b) durmo, estou furioso e não bebo. Errado, pois “Eu estou furioso é FALSO”.
c) não durmo, estou furioso e bebo. Errado, pois “Eu estou furioso é FALSO”, “Eu não durmo” é FALSO e “Eu bebo” é FALSO.
d) durmo, não estou furioso e não bebo. Certo, pois “Eu durmo” é VERDADEIRO, “Eu não estou furioso” é VERDADEIRO e “Eu não bebo” é VERDADEIRO.
e) não durmo, não estou furioso e bebo. Errado, “Eu não durmo” é FALSO e “Eu bebo” é FALSO.