- 
                                P     Q     ~P     ~Q     P--->Q     P--->Q ^ ~Q        S
 V      V       F        F          V                  F                    V
 V      F       F        V          F                  F                    V
 F      V       V        F          V                  F                    V
 F      F       V        V          V                  V                    V
 
 Isto é uma TAUTOLOGIA... quando todas as proposições são verdadeiras.
- 
                                Está correto o gabarito. É uma tautologia. P   Q  ~Q  ~P   P--->Q   (P--->Q) ^ (~Q)      S
 V  V      F    F      V                      F              V
 V   F     V    F       F                     F              V
 F   V     F    V       V                     F              V
 F   F     V    V       V                     V              V
 
 Cuidado ao resolverem a proposição S. Como na tabela o ~P está antes, muita gente comete o erro de resolver como se fosse (~P) ----> [(P--->Q) ^ (~Q)], o que gera um resultado diferente. 
 
 Bons Estudos!! 
- 
                                Alguém poderia me ajudar?? Fiz a questão com a tabela verdade, deu os seguintes valores lógicos: p    q    (~p)    (~q)     (p -> q)    (p->q)^(~q)     {(p->q)^(~q)} -> (~p)  V    V      F        F          V               F                      V  V    F      F        V          F               F                      V  F    V      V        F          V               F                      F  F    F      V        V          V               V                      V  
 
 De acordo com a última coluna, deveria ser contingência. Não estou conseguindo compreender o porque de ter dado essa resposta.. Alguém poderia me explicar??? Grata. 
 
 
 
 
- 
                                Nao entendi o meu deu igual da Viviane ! p    q    (~p)    (~q)     (p -> q)    (p->q)^(~q)     {(p->q)^(~q)} -> (~p)  V    V      F        F          V               F                      V  V    F      F        V          F               F                      V  F    V      V        F          V               F                      F  F    F      V        V          V               V                      V  Alguem pode me explicar como conseguiram uma tautologia?
- 
                                Não precisa fazer a tabela verdade! É só tentar atribuir uma valor lógico F em toda a proposição. Assim: Pra toda a proposição ser falsa é necessário que ocorra [(p-->q) ^ (~q) (V) --> ~q (F); se ~q for falsa é impossível toda a proposição se falsa. Por isso, para qualquer valor lógico atribuído as proposições simples, sempre será verdadeiro.  
- 
                                P | Q | P->Q | ¬Q | (P->Q) ^ (¬Q) | ¬P | [(P->Q)^ (¬Q] -> (¬P) V |  F |    V    |   F  |          F             |  F  |             V                    V |  V |    F    |   V  |          F             |  F   |            V F |  F |    V    |   F  |          F             |  V   |            V F |  F |    V    |   V  |          V             |  V   |            V . 
- 
                                A maioria das questões conseguir resolver pelo método de atribuir F para as proposições,porém encontrei algumas ( raras ) que não deu certo esse método.. CUIDADO ! 
- 
                                Essa de atribuir F para todas as proposições é como um vírus que se espalha feito praga. Isso não é 100% seguro, muito cuidado!
                            
- 
                                É só perceber que sempre vai ter uma contradição entre o Q e o ~Q. Assim, havendo um F em qualquer uma delas, a proposição (P--> Q) ^(~Q) será F, ´pois na conjunção só basta um F para valorá-la como F. E logo em seguida, sabe-se que F--> x, independe o valor da segunda proposição, pois será Verdadeira. 
- 
                                Fui pega pelos colchetes!!!!!!!! rsrs 
- 
                                Tb acho muito mas rápido assim como vc fez Cleiton 
 
 
- 
                                Considero tudo com "V":
 
 [(V → V) ^ (~V)] → (~P)]
 
 [V ^ F] → F
 
 F → F
 
 V
 
 A proposíção é uma tautologia. Logo, é impossível ter qualquer "F"!
 
 QUESTÃO CERTA!
 
- 
                                Volta negando!  Gab. Certo 
- 
                                Pediu tautologia, coloque tudo falso e resolva. [ (F→F) ∧ (~F) ] →(~F)] [ V ∧ V ] → V ] [ V  → V ] V    Tautologia.   
- 
                                Obrigado Lygia...Os colchetes também me derrubaram...fiz a tabela 3× e nada 
- 
                                QUESTÃO TRAIÇOEIRA  
- 
                                https://www.youtube.com/watch?v=ZGqMVu_ZsA0
 Depois que assisti esse vídeo as questões de tautologia ficaram mais faceis.
 Professor Edimar Padilha.