SóProvas


ID
2645590
Banca
CESPE / CEBRASPE
Órgão
STJ
Ano
2018
Provas
Disciplina
Raciocínio Lógico
Assuntos

Considere as proposições P e Q a seguir.


P: Todo processo que tramita no tribunal A ou é enviado para tramitar no tribunal B ou no tribunal C. 

Q: Todo processo que tramita no tribunal C é enviado para tramitar no tribunal B.

A partir dessas proposições, julgue o item seguinte.


A proposição ¬P→[P→Q], em que ¬P denota a negação da proposição P, é uma tautologia, isto é, todos os elementos de sua tabela-verdade são V (verdadeiro).

Alternativas
Comentários
  • P     Q     ¬P     P→Q     ¬P→[P→Q]​

    V     V      F         V                V

    V     F      F         F                V

    F     V      V         V                V

    F     F      V         V                V

     

    CORRETA

  • ~P-->[ P -->Q] = F

    1º Passo= igualar a preposição toda a FALSO

    2º Passo: Para preposição dar falso é preciso achar a Vera Fischer, porém dentro dos colchetes voce consegue P= Verdadeiro Q=falso, so que quando o P sai, ele virá Falso, com isso ocorre um erro, erro proposital, a proposição não consegue ser falso, logo ela so pode ser VERDADEIRA.

  • Fiz da seginte maneira

    É mais fácil provar que admite uma F do que testar se todas são V logo:

    Para verificarmos se ¬P→[P→Q]​  seja valorada como F é necesário que  ¬P     →     [P→Q]​      

                                                                                                                                F

    Para verificarmos se       [P→Q]​    seja valorada como F  é necessário que P     e    Q      

                                                                                                                       F

     

    Temos que na mesma sentença P e ¬P valoradas como V ao mesmo tempo sendo assim impossível ser falsa.

     

  • P   ~P   Q   P→Q   ~P→[P→Q]

    v      f     v       V             V

    v     f      f        F             V

    f     v      v       V             V

    f     v      f        V             V

  • finalmente estou conseguindo resolver certo,graças à Deus

  • Basta Negar todas, se no final for V é uma Tautologia

     

    ~P ---> [P ---> Q]

     

    ~F ---> [F ---> F]

     

     V ---> V

     

          V

  • Essa não precisa nem perder tempo.

    Se começa com ~P(FALSO) ---> A condicional já é verdadeira.

    Gab.C

  • Posso estar errado, mas acho q a resolução do colega James Carlos não procede. Visto que ~P e P não podem ser valorados como F pois ~P é negação de P, de tal forma que não podem ter o mesmo valor lógico na mesma proposição.

  • ¬P ->P-> Q]

    tabela verdade da condicional 

     

    P Q 

    F F  = Verdadeiro

    F V  = Verdadeiro

    V F  = Falso

    V V   = Verdadeiro 

     

     

    Para que a expressão assuma um valor falso ~p deve assumir o valor verdadeiro consequentemente p será falso, de forma que P-> Q só poderá resultar em verdadeiro e pela tabela verdade da condiconal temos que V -> V = Verdadeiro, portando a expressão é uma tautologia.

     

  • GABARITO CORRETO

    Breno vc tem razão, colega James fez um método que acabou de inventar e acertou na sorte hahahahahah, brincadeiras à parte:

    Proposição SEMPRE será V ou F, Nunca poderá ser V e F ao mesmo

    Elemento P será negado ¬P→[P→Q]​, colega não negou elemento P.

    Temos 2 métodos para fazer esta questão:

    Método 1 = Convencional, ou seja, fazendo tabela-verdade = Sinceramente quem chegar na prova (de alto nível) apenas acostumado com tabela provavelmente não vai passar, gasta muito tempo, imagina se cair na prova tabela com 8 linhas, Palmeiras vai ganhar PRIMEIRO MUNDIAL e ainda vamos tá fazendo essa questão.

    Método 2 = Método n convencional, ou seja, tentar ir contra o que afirma o enunciado:

    passo 1 = Banca fala em tautologia, sabendo q tautologia exige q todas as possibilidades sejam V, então vou tentar mostrar F em alguma linha da tabela (sem faze-la obviamente).

    passo 2 =  ¬P→[P→Q] = Tentar encontrar resultado FALSO no SE ENTÃO (V→F=F)

    passo 3 = Colocar segunda parte para termos FALSO = ~P→(V→F)

    passo 4 = Como na segunda parte tive q colocar P = V, logo ~P = F                 

    F→(V→F) = IMPOSSÍVEL ENCONTRAR ALGUMA LINHA FALSO, TEMOS UMA TAUTOLOGIA POIS PRIMEIRO ELEMENTO JÁ COMEÇOU COM F, ENTÃO NÃO TEMOS FAMOSOS VERA FICHER. 

    OBS: Depois que acostuma fazer método 2 é muito mais rápido que tabela verdade, na prova tempo é OURO.

  • A proposição ¬P seria:

    Nem todo processo que tramita em A ou é enviado para tramitar em B ou em C.

    Isto é, existem processos que tramitam em A e não vão parar nos demais.

    Se essa proposição ¬P for verdadeira, automaticamente P–>Q será verdadeiro também, pois P será F.

    Portanto, a proposição deste item é sempre verdadeira, sendo uma tautologia.

    Item CERTO

    Fonte:https://www.estrategiaconcursos.com.br/blog/raciocinio-logico-stj-prova-resolvida-e-gabarito-extraoficial/

  • P  Q ~P [P--->Q] ~P-->[P-->Q]

    V  V   F     V               V

    V  F   F     F               V

    F  V  V     V               V

    F  F  V     V               V

    GAB: CERTO

  • Resposta: CERTO

    ~P      ->        [P->Q]               =  

    F                    V    V =  V                  F      V  = V

                      V    F =  F                       F  = V

                      F    V = V                   V       V = V

                      F    F = V                   V       V = V

    Espero que ajude alguém. 

  • Para ficar mais fácil de descobrir a tautologia, deve-se trocar todos os elementos por F, logo:

    ~F --> (F --> F)

    V --> V = V

    SE O RESULTADO FINAL FOR VERDADEIRO, a preposição será uma tautologia.

  • Simples só tentar provar que ela é falsa !  se você conseguir é sinal que ela não é uma tautologia, logo segue o esqueminha desta questão

    ~p(f)-->(p(v)-->q(f))

     f-->f = v   VEJAM foi infrutífera a minha tentativa de tentar provar que esta  proposição composta era falsa, logo podemos concluir que estamos diante de uma tautologia.

  • Gab Certa

    P     Q  ~P    [ P --> Q ]   ~P --> [ P --> Q ]

    v     v     f             v                      v 

    v     f     f              f                      v

    f     v    v             v                      v

    f     f    v             v                      v      

     

    - Tautologia

  • Certo, é uma tautologia, só é fazer a tabela-verdade. Bons estudos, guerreiros. Até q posse. Uhuu

  • Olá pessoal,
     
    Vejam o vídeo com a resolução dessa questão no link abaixo
    https://youtu.be/QFPiBu_AelM
     
    Professor Ivan Chagas
    Gostou? Doe: https://pag.ae/blxHLHy

  • ~P  ------>   [ P------->Q]                       2 Elevado a 2= 4 linhas         RESPOSTA : CERTO

       F      V       V     V     V

       F           V     F     F

       V      V      F         V

       V      V       F      V     F

  • P  Q  ~P   P → Q   ~P → [P→Q]

    v   v     f       v                  v

    v   f     f        f                  v

    f   v     v       v                  

    f   v     v       v                  v

  • F........VERDADEIRO

     

     

     

     

     

  • TODOS OS ELEMENTOS??

  • P  Q  ~P   P → Q   ~P → [P→Q]

    v   v     f       v                  v

    v   f     f        f                  v

    f   v     v       v                  

    f   v     v       v                  v

  • Só é uma Tautologia se desconsiderarmos os porposições P e Q acima descritas. Se formos ao pé da letra utilizando o que dizem as proposições P e Q no enunciado da questão não é uma tautologia.

  • Basta provar que não tem como ser falsa. A única maneira de resultar falso seria VF, então a primeira parte teria de ser verdadeiro (não p) e o (p_q) teria de dar falso.
  • Não necessita tabela verdade, é perda de tempo

    Basta tentar negar a proposição.  Se contradizer (não for possível negar) é uma TAUTOLOGIA.

  • Não estou conseguindo escutar os vídeos das aulas no iphone, alguém poderia me ajudar sou nova por aqui
  • Questões assim eu prefiro fazer a tabela para não correr o risco de errar.

  • vamos tentar negar a proposição, se não conseguirmos a questão é correta

    ~p -> [P->Q] =F

    V-> F = F

    ~(F)-> [F->V] 

    V -> V = V

    se.. então para ser F tenho que ter V e F, eu tentei negar começando de trás pra frente, coloco F no final, preciso forçar um V -> F, porem se P é igual a falso, entre parenteses começou com falso não tem como ficar verdadeiro, portanto não consigo negar

     

  • Aí vc entra p ler os comentários e se depara com uma página inteira de frases motivacionais...pqp! 

  • Para resolver essa questão, levei em consideração o Bizu de para condição "se e somente se" ser falsa Vera Fischer

    Não esqueçam

    Tautologia = Valor lógico sempre verdadeiro

    Contradição = Valor lógico sempre falso

    Contigência = Nem tautologia nem contradição

  • Primeiramente, por favor, Notório Concurseiro foco! todos podem comentar o que quiserem, mas um página inteira de frase motivacional é um falta de respeito para com os colegas.


    Segundo, a questão indagou se a proposição ¬P→[P→Q] é uma Tautologia, acredito que existem dois jeitos de resolve-la o primeiro seria fazer a tabela verdade completa o que demoraria bastante, mas se vc fizer com cuidado o acerto É certo (desculpe a rima), já o método que eu usei foi o seguinte:


    Resolvi a proposição buscando o resultado Falso. Considerando que a proposição principal é uma condicional a única maneira dela ser falsa seria se a primeira parte fosse verdadeira e a segunda falsa.


    V → F = F

    ¬P→[P→Q]


    Vemos que a primeira para é uma proposição simples, ¬P, logo ¬P = V. Se ¬P = v sabe-se que P=F.


    Como essa informação já sabemos que quando a primeira parte da proposição for verdadeira a segunda também o será visto que também é um condicional. Aplicando o que já sabemos percebemos que:


    F →? = V(independentemente do valor de Q)

    P→Q


    Por tanto, não é possível que a proposição acima seja falsa.


    GABARITO: CERTO.

  • Se P for Falsa, toda a  proposição será verdadeira.

  • Só usar os valores lógicos dos conectivos:

    ~P --> [ P-->Q] =

    F --> V --> V =

    F--> V = V (Na condicional só é falso se for VF)

    V --> V = V

    Tautologia!

    Gabarito: Certo.

     

  • Prezados,

    Resolvendo por Equivalência Lógica:

     

    = ¬P→[P→Q]

    P v [P→Q]

    P v [ ¬P v Q]

    = [P v ¬P] v [P v Q]

     

    Como [P v ¬P]  será sempre VERDADE, então toda a proposição será sempre VERDADE. Logo, uma Tautologia.

     

    Gabarito: CERTO

  • As proposições P e Q são premissas, ou seja, tem valor VERDADEIRO.

    P=V logo --P= F

    --P-->(P-->Q)=

    F--->(V-->V)=

    F--->V=

    V

  • Gabarito Certo.

     

    Lógica utilizada:  

     

    1. A questão afirma que ¬P→[P→Q] é uma tautologia e dá a definição correta de tautologia (observem que se o examinador tivesse dado uma definição equivocada de tautologia, mesmo ¬P→[P→Q] sendo uma tautologia, a questão estaria errada). 

     

    2. Bastaria descobrir uma situação na qual ¬P→[P→Q] fosse falsa para podermos marcar a questão como "errada" com segurança. Em que ou quais situações ¬P→[P→Q] seria falsa?  

     

    Pela regrinha de tabela verdade sabemos que A--> B só é falso quando A é verdadeiro e B é falso. Em todas as outras situações, A-->B é verdadeiro.  

     

    Dessa forma ¬P precisaria ser verdadeiro e [P→Q] precisaria ser falso e isso só ocorreria se, por sua vez, P fosse verdadeiro e Q falso.

     

    Imaginemos então que P é verdadeiro e Q é falso, de maneira que  [P→Q] seja falso. Inevitavelmente isso acarreta que ¬P  seja falso (pela negação que antecede o P), de forma que  ¬P→[P→Q] será sempre verdadeiro.  

     

    Em resumo, é uma tautologia de fato. Pela construção lógica é impossível que ela se torne falsa.       

     

      

     

  • GAB: CORRETO 

    P         Q             ~P           P -> Q           ~P -> (P ->Q)

    V         V              F              V                       V

    V          F             F              F                       V

    F          V            V              V                        V

    F          F            V               V                       V

     

    #seguefluxo

  • Em proposições curtas assim vale a pena testar de cara qual valor faz V ---> F (contraexemplo para matar a tautologia) sem tabela nenhuma. Tá na cara. Seja menos bitolado e ganhe tempo. Que seja 30 segundos.

  • Eu entendi assim:

     

    Como ele já deu a proposição P e disse que ~P é a negação, então ~P seria falso, correto?

    Se ~P é falso, não importa qual o valor de [P--->Q] pois, independente de ser verdadeiro ou falso, se é uma condicional, a única forma da proposição ser falsa é se a primeira premissa for verdadeira e segunda falsa. Se a primeira já é falsa, pouco importa o valor da segunda.

     

    Me corrijam se estiver errado.

  • Ótima aula do professor!
  • Basta  assumir Q como falso e P como verdadeiro.

  • Gabarito Certo. Senti uma difuldade muito grande em assimilar a tabela, porém consegui e comecei a resolver as questões. Sorte a todos.

  • verdade!

  • Certo.

     

    Questões que a CESPE fala que sempre será uma tautologia, sempre procuro uma forma de negar a frase. Nesse caso como se trata de "se... então", só será falsa com for V -> F, então temos que procurar uma forma de tornar isso falso.

     

    1ª tentativa) P = V ; ~P = F

    F -> (V -> ?).

    Aqui independente do resultado da outro argumento, o resultado do todo já seria verdadeiro pois como a ordem importa no "se... então", só a primeira parte do argumento sendo F já garante que ele é verdadeiro.

     

    2ª tentativa) P = F; ~P = V

    V -> (F -> ?)

    Chegamos na mesma conclusão da tentativa acima. No "se... então", só em o primeiro argumento ser F já torna a frase verdadeira. Mesmo eu não sabendo o valor do Q, já posso afirmar que a parte F-> ? será verdadeira, resultando em V -> V = V.

     

    Ou seja, será sempre uma tautologia.

  • Se ~P é a negação de P então p valor lógico delas sempre será o inverso uma da outra, ou seja, se P for V, ~P será F. Com isso, já mata a questão, pq o único modo da condicional ser F é se V->F, mas se considero ~P como V, P tem ser F, aí independente do valor de Q vai ser sempre verdadeiro.

    Testando o contrário, se coloco ~P como F, então P tem que ser V, aí nunca vai ser V-> F. 

     

  • Pelo menos a questão foi boazinha em explicar o que é tautologia. Nem todas são assim, quem não sabe esses termos é bom já ir praticando.


    Parabéns, continuemos assim, sem desistir, que a aprovação é certa.

  • Dá trabalho, mas dá para resolver.

  • P  Q   ¬P  P→Q   ¬P→[P→Q]​

    V   V    F     V         V

    V   F    F      F         V

    F   V    V     V          V

    F   F    V     V           V

    tautologia

  • ~P->[P->Q]

    F -> F

    V Tautologia

  • A única forma desta proposição não ser verdadeira é com ~P = V e [P→Q] = F.

    Assim, P = F para ~P = V. Contudo, nessa parte da proposição [P→Q] o P será F, tornando essa parte sempre verdadeira (de acordo com a tabela verdade do “Se então”).

    Portanto, ¬P→[P→Q] terá valor sempre verdadeiro.

  • Pessoal, quem tiver dificuldade em RL para o CESPE, procure o professor Douglas Leo, tem videos no YOUTUBE gratuito ou então tem curso completo.

    Me ajudou muito, é SENSACIONAL

  • COMO ELE PERGUNTA SE TODAS AS OPÇÕES SERIAM V, VOCÊ SÓ PRECISA SABER SE EXISTE POSSIBILIDADE DE SER F, PQ AÍ SE CONSEGUIR ENCONTRAR JÁ MATA A QUESTÃO.

    VAMOS LÁ ENTÃO:

    UNICA OPÇÃO DE CONDICIONAL SER "F": V -> F = F

    Lembrando que o que temos é  ¬P→[P→Q] (Nesse caso, pra ser F, a premissa P teria que ser verdadeira dentro dos colchetes, ok. Porém depois fora dos parênteses, a negação da P já tornaria tudo verdadeiro novamente (pois qualquer condicional que comesse com F, já é de cara VERDADEIRA), LOGO, não tem jeito dessa conclusão ser falsa, por isso é uma TAUTOLOGIA)

    GAB C

    com Deus, gente! =*

  • Certo

     

    É só fazer com calma pela tabela que fica tranquilo.. mas a forma que ensinaram tentando negar tudo é uma forma menos protelatória.

     

    Forma 1 pela tabela (mais demorado):

     

    P     Q     ¬P     P→Q     ¬P→[P→Q]​

                                         

    V     V      F         V               V

    V     F      F         F                V

    F     V      V         V               V

    F     F      V         V               V

                                         [tautologia] 

     

    Forma 2 tentando negar tudo (mais rápido):

     

     ¬P[F] → [P[V]→Q[F]]​

     

         F                   F             =    V  [tautologia]

     

    A quem tiver um pouco de dificuldade, paciência e persistência pra aprender ...mesmo que demore a absorver, a tentativa não será perda de tempo, será fixação... com o conteúdo consolidado depois dificilmente se é enganado.

  • tabela verdade ainda salva uma vida

  • nao precisa nem fazer TABELA VERDADADE

    negando o primeiro elemento do comando da questao

    automaticamente ela ja sera VERDADEIRA..

    pra quem q realmente passar no concurso

    ate dia de feriado tem q estudar  AVANTE.

  • Pega esse Bizu.

    Para saber se a questão é uma Tautologia.

    Se a Frase constar OU é Tautologia ( e negar a frase)

    Se a Frase constar E é uma Contradição.

    P: Todo processo que tramita no tribunal A ou é enviado para tramitar no tribunal B ou no tribunal C. 

    Q: Todo processo que tramita no tribunal C é enviado para tramitar no tribunal B.

    A proposição ¬P→[P→Q], em que ¬P denota a negação da proposição P, é uma tautologia, isto é, todos os elementos de sua tabela-verdade são V (verdadeiro).

    Gabarito Correto.

    Método MPP.

  • A condicional começou com ~P (Falso).

    Sempre que a condicional começar negando a questão é verdadeira.

  • http://sketchtoy.com/69015992

    sem usar a tabela verdade

  • GABARITO: CORRETO

    Nesse tipo de questão façam pelo princípio da substituição que não tem erro nunca

    Pra aprender a fazer esse processo recomendo acompanhar o professor Brunno Lima(Youtube, Qconcursos, Estatégia Concursos)

    Missão PCDF: PERTENCEREMOS!

  • A proposição ¬P→[P→Q], em que ¬P denota a negação da proposição P, é uma tautologia, isto é, todos os elementos de sua tabela-verdade são V (verdadeiro).

    Objetivando!

    Senhores de forma lógica se ¬P for V ou F, o P sempre será o contrário '='.

    ¬P (V) →[P=(F)→Q]

    ¬P (F)→[P=(V)→Q]

    Então só basta mensurar o Q

    Se o Q for V então será V→V=V

    Se o Q for F, então Será V→F=F

    Agora substituindo...

    ¬P(V) →[P(F) →Q(V)]

    V→V=V

    ¬P( F)→[V=→Q(f)]

    F→ Não importa o que vem depois será V.

  • O valor de ~P tem que ser V para a proposição ser Falsa.

    Mas quando atribuímos o valor lógico ao P (que vai ser F) na proposição [PQ], seja qual for o valor atribuído ao Q, a proposição será verdadeira.

    Logo, V V = V

    Será uma tautologia.

  • Olá concurseiros,

     

    Resolução detalhada em vídeo no link abaixo (10' 37''):

     

    https://www.youtube.com/watch?v=1QOkIx0NCy8

     

    Quer saber mais? Inscreva-se em nosso canal, deixe o seu like em nossos vídeos, ative as notificações e receba por e-mail todas as novidades sobre o mundo do RLM.

     

    https://www.youtube.com/channel/UCOrQquD57xetCfl-ifA6tug?sub_confirmation=1

  • Certo.

    ¬ P → [ P → Q ] 

     F → [ V → F ] 

     F → F

    ¬ P → [ P → Q ] 

     V → [ F → ? ]  

    V → V : V

    Questão comentada pelo Prof. Márcio Flávio

  • Se o ~P for falso a condicional vai ser verdadeira, se o -P for verdade condicional vai continuar sendo verdadeira. Qualquer valor de ~P deixa a condicional verdadeira.

  • vou tentar deixar falsa a minha proposição. v---> f = f

    ~p -->[p-->q] = f

    F-->[v-->f]

    F--> f

    v

    é uma tautologia

    Prof. Marcio Flavio : gran curso

  • CERTO

  • Se o ~P for falso a condicional vai ser verdadeira.

    GABA: CERTO

    #PERTENCEREMOS!

  • Pessoal, sempre que a banca afirmar que é uma tautologia, tente negar. Se você conseguir negar, não será tautologia. Se você não conseguir negar, será uma tautologia.

  • ~P -> [P->Q] ~V-> [V->F] F -> F V
  • P|Q|~p| [ P > Q] | ~P > [ P >Q]

    V. V. F. V. V

    V. F. F. F. V

    F. V. V v. V

    F. F. V. V. V

    Gab. Certo

  • Espero ajudar, eu resolvi assim:

    https://sketchtoy.com/69280224

  • NEM É NECESSARIO TABELA VERDADE NESSAS SITUALÇOES.

  • P | Q | ~P | (P->P) | (~P)->(P>Q)|

    V | V | F | V | V |

    V | F | F | F | V |

    F | V | V | V | V |

    F | F | V | V | V |

    V | V | F | V | V |

    V | F | F | F | V |

    F | V | V | V | V |

    F | F | V | V | V |

    Tautologia = quando todo o resultado for V

  • ¬P→[P→Q], para verificar se é tautologia, basta tentar falsear a proposição com VF, no entanto teriamos que não p é V e que P é V, assim haveria uma contradição, ao tentar falsear a afirmação,o que indica que é tautologia.

  • Olá pessoal,

     

    Vejam o vídeo com a resolução dessa questão no link abaixo

    https://youtu.be/f7MgpkhY6AQ

     

    Professor Ivan Chagas

    www.youtube.com/professorivanchagas

  • CORRETO

    Sugiro assistir o vídeo do professor. É complicado explicar a resolução por texto.

    2021: um ano de vitória

  • Iguala a proposição a F, se ocorrer algum erro durante a resolução, então é uma tautologia.

  •  ¬P→[P→Q]

    Duas preposições, portanto 2² = 4 linhas.

    • P | Q |¬P | [P -> Q] | ¬P -> [P -> Q]
    • V | V | F | V | V
    • V | V | F | V | V
    • V | F | F | F | V
    • V | F | F | F | V

    Como o conectivo é "se...então" só usar a tabuada lógica do mesmo conectivo. Apenas V + F = F.

  • Caras, tentem deixar a proposição composta ¬P→[P→Q] falsa, é simples.

    ¬P[P→Q]

    Lembrem-se de que estamos em ambiência condicional. Sendo assim, para que a proposição se torne falsa, o antecedente tem de ser V e o consequente F. Caso não consigamos deixar a proposição falsa, ela será considerada tautologia.

    Nesses termos:

    ¬P→[P→Q]

    .V.....V......F

    É possível atribuir valor lógicos iguais para P e ¬P ? Não, pois isso viola o princípio da não contradição:

    Princípio da não contradição = Uma proposição não pode ser simultaneamente V e F.

    ¬P→[P→Q]

    .V......F.....x = Com o antecedente falso na segundo proposição, não há como toda a proposição composta ficar falsa.

    ¬P→[P→Q]

    .F......V.....x = Com o antecedente falso na proposição simples, não há como toda proposição composta ser falsa.

    Gabarito correto.

  • ~p-->[p-->q] vou afirmar que é F

    ~p-->[p-->q=f

    V--> V= V ou

    F--> V = V tautologia

  • Vejam o vídeo com a resolução dessa questão no link abaixo

    https://youtu.be/f7MgpkhY6AQ

     

    Professor Ivan Chagas

    www.youtube.com/professorivanchagas

  • GABARITO: CERTO

  • a tecnica bem mais simples e eficaz e negar tudo kkk

  • Gabarito: Certo

    Principais Regras:

    • Tautologia: Sentença sempre verdadeira. Se a proposição for curta = sai testando e procura o caso falso. Se a proposição for longa = iguala tudo a verdadeira e se no final for falso, não é tautologia.
    • Contradição: Sentença sempre falsa.

     FICA A DICA: Pessoal, querem gabaritar todas as questões de RLM? Acessem tinyurl.com/DuarteRLM .Lá vocês encontraram materiais produzidos por mim para auxiliar nos seus estudos. Inclusive, acessem meu perfil e me sigam lá pois tem diversos cadernos de questões para outras matérias. Vamos em busca juntos da nossa aprovação juntos !!

  • Para não perder tempo na resolução, atribua valores que vc sabe que irão negar a condicional. No entanto, caso não seja possível negá - la, será, realmente, uma tautologia.

    Observem:

    P= V

    Q= F

    ~ F -> [V -> F] = V

  • Quando afirmar ser uma tautologia, tente deixar falso. Se não conseguir, é uma tautologia.

  • Resolução detalhada em vídeo no link abaixo (10' 37''):

    https://www.youtube.com/watch?v=1QOkIx0NCy8