Atribua um valor verdade as seguintes proposições:
Passo 1
Bom, nessa questão nós temos implicações em todas as alternativas e precisamos julgar se as implicações são verdadeiras ou falsas.
Vou colocar nossa tabela verdade em todos as alternativas, mas tentar não focar tanto nela, e sim no pensamento lógico por trás de tudo isso!
Essa é a nossa tabelinha, agora vamos começar com a letra
Vamos escrever nossa implicação para a linguagem matemática:
A gente já viu na nossa teoria que a ÚNICA maneira de uma implicação do tipo “ implica ”
Ser FALSA é se acontecer e não acontecer. Vamos julgar nossas proposições:
Afinal, é par.
Afinal, é ímpar.
Como e são verdadeiras, é VERDADEIRA
Passo 2
Vamos ver a próxima:
Identificando e :
Agora vamos avaliar essas proposições. Sabemos que é par, então:
Para nossa implicação ser verdadeira, dado que já sabemos que a hipótese é verdadeira, precisamos que a tese também seja, mas não é ímpar, então:
Veja a tabelinha da verdade:
Portanto, essa implicação é falsa.
Passo 3
Sério, se liga nessa aqui hahahahahah
Essa frase não sentido algum né? Dá muuuuita vontade de dizer que é falsa, MAS você precisa lembrar que neste caso, não estamos avaliando a veracidade do que está sendo dito, mas a relação de implicação!!! Então, vamos com calma, identificando e primeiro:
Gente, é muito óbvio que nenhuma mãe é um freezer (olha o respeito hein hahah), que sá a minha, então:
E eu sei que pode ter gente nesse mundo bem fria, que dê muito gelo nos crushes da festa e tal, mas literalmente ninguém é um gelinho, então:
Sendo que, para uma implicação ser verdadeira, dado que a hipótese já é falsa, não importa o que a tese é, nossa implicação será verdadeira, olhe a tabelinha:
Portanto, verdadeira!
Passo 4
Por último, porém não menos importante:
Vamos novamente escrever na linguagem matemática:
Agora para julgar cada um, eu vou reescrever o desse jeitinho:
Para ser verdadeira, precisamos que as duas proposições sejam verdadeiras: não é par e a não é primo. Porém, apenas uma é verdadeira, que é aquela que diz que ele não par. Portanto:
Afinal, é ímpar.
Como temos a hipótese e a tese falsas, nossa implicação é verdadeira. Olhe a tabelinha:
