Fundamentos de Lógica e Linguagem Matemática
Teoria
Implicação
Cara, para tudooooooo! Esse conectivo, representado por , é o mais importante! Acho que você já tá cansado de ver:
Em que lemos “ implica ”.
É aquele que expressa uma relação de implicação, mas não de causa-efeito, ela apenas estabelece uma relação entre os valores lógicos da implicação e os valores lógicos de e .
Nessa relação, é chamada hipótese ou premissa e é a tese ou conclusão.
Olha um exemplo bem doido:
Se adotarmos:
Nossa proposição é:
Essa implicação é verdadeira, pois é verdadeira e também. Mas perceba que não tem nada a ver uma coisa com a outra. Apenas julgamos a setinha, baseado na hipótese e na tese.
Olha esse que doideira:
Cara, pasme se quiser, isso é verdadeiro!!! Sabe por que?
A hipótese é falsa e a tese também é, então a implicação é verdadeira. Saca só a tabela verdade:
A única forma da implicação ser falsa é se a hipótese for verdadeira e a tese for falsa.
E como fica a negação disso?
Recíproca, contrapositiva, inversa e relação de equivalência
Vamos conhecer as primas da implicação. Dada uma implicação do tipo:
E já te adianto o seguinte: a implicação é equivalente à contrapositiva. Como eu sei disso? Você sempre pode dizer que duas proposições compostas são equivalentes se elas possuem a mesma tabela verdade. Olha a tabelinha:
Percebe que os valores verdades das duas últimas colunas são iguais, então são equivalentes.
Olha tabela das três proposições que vimos agora:
Perceba que a recíproca e a inversa são equivalentes, pois suas tabelas verdade são iguais (olhe a última coluna)!
Finalmente, o conectivo
É chamado de bicondicional ou biimplicação. A gente lê isso como “p se e somente se q”.
Para dizer que isso é verdade ou não, basta que seja verdade.
Exemplo:
Vamos ver se a implicação é verdadeira:
Isso não é verdade, pois é irracional e é racional. Nem precisamos fazer a recíproca, já temos aqui que a biimplicação é falsa.
Dizemos que é condição suficiente para se é verdadeira e dizemos que é condição necessária para se é verdadeira. No caso de biimplicação, ou seja, a implicação e a recíproca são verdadeiras, dizemos que é uma condição necessária e suficiente para .
Deixo aqui a tabelinha da negação pra você de todos os conectivos e quantificadores que vimos até agora:
Múltiplos Quantificadores
Bom, já vimos os quantificadores e , mas ainda não os vimos juntos! Simmmm, chegou a hora de juntar esse dois e ver a bagunça que fica hahaha
Já vou te avisando, porque sou sua amiga, que A ORDEM IMPORTA. Então toda vez que você se depara com algo assim:
Já repara em quem tá aparecendo primeiro! Vamos traduzir isso aí pro português: “Para todo número real , existe um número real tal que ”.
Cara, isso é verdade. Qualquer número que você pegue , se você elevá-lo ao quadrado, também será um número real, que chamaremos de .
Agora vamos inverter essa brincadeira:
Agora traduzindo para o português: “Existe um número real tal que para todo número real , ”. Isso não é verdade, cara. Tipo, escolhe um número real , pode ser o ou qualquer outro da sua preferência. Me diga, é verdade que PARA TODO E QUALQUER real, ???
Não é verdade, você pode pegar o . E isso deu errado não foi porque escolhemos o , mas porque não vai funcionar com nenhum número.
Agora vamos aprender a negar essas estruturas. Lembre-se: onde é “tal que” vira vírgula e onde é vírgula vira “tal que”.
Troquei o por e vice-versa! Legal né? Partiu exercícios!!!
Recíproca, contrapositiva, inversa e relação de equivalência
Múltiplos Quantificadores
Exercícios Resolvidos
Exercício Resolvido #1
Ache a contrapositiva, a recíproca e a inversa das seguintes frases:
Passo 1
Olááá meu anjo!!! Bora fazer esse exercício! Você vai ver que vai ser rapidinho.
Vamos dar uma relembrada do que seria uma contrapositiva, uma recíproca e uma inversa de uma implicação do tipo :
Agora sim, comecemos do começo:
Para acharmos a contrapositiva, a gente troca a hipótese (termo antes da seta) com a tese (termo depois da seta) e nega as duas:
Aquele “não” depois da implicação anula o outro dentro dos parênteses, ficando com:
Passo 2
Para encontrarmos a recíproca, precisamos apenas trocar a hipótese com a tese:
E, finalmente, para termos a inversa, basta negar tanto a hipótese, quanto a tese:
Passo 3
Dá uma olha nessa próxima:
Que proposição estranha né? Hahaha Bom, esquece isso e foca no que interessa: chamar uma oração de e outra de .
Não é tão complicado fazer isso, basta olharmos pro “então”. Esse cara é a nossa seta.
Sendo assim, o que vem antes dele é a hipótese (normalmente chamamos de ) e o que vem depois é a tese (normalmente chamamos de ):
Então nossa implicação é do tipo:
E aí, vamos encontrar o que se pede!
Para acharmos a contrapositiva, a gente troca a hipótese (termo antes da seta) com a tese (termo depois da seta) e nega as duas:
Lembrando que nossa implicação estava em português, então responderemos em português. Temos então:
Passo 4
Para encontrarmos a recíproca, precisamos apenas trocar a hipótese com a tese:
Novamente, em português:
E, finalmente, para termos a inversa, basta negar tanto a hipótese, quanto a tese:
Em português:
Gente, parece bobo, mas é muito importante que você passe pro português, você pode perder muitos pontos se não fizer isso! Atenção, meu anjo!
Passo 5
Se liga nessa última:
Bom, vamos passar para a linguagem matemática:
Perceba que chamei só porque temos uma negação ali. A mesma coisa fiz com , como aparece um “não” na frase, achei de bom tom colocar um “não” acompanhando o e o . Então nossa implicação é do tipo:
Para acharmos a contrapositiva, a gente troca a hipótese (termo antes da seta) com a tese (termo depois da seta) e nega as duas:
Lembrando que nossa implicação estava em português, então responderemos em português. Temos então:
Passo 6
Para encontrarmos a recíproca, precisamos apenas trocar a hipótese com a tese:
Novamente, em português:
E, finalmente, para termos a inversa, basta negar tanto a hipótese, quanto a tese:
Em português:
Resposta
Exercício Resolvido #2
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:
Resposta
Exercício Resolvido #3
Para os pares de proposições e diga se é condição necessária, suficiente ou ambas para . Em todos os exemplos considerem como sendo um número natural.
Passo 1
FAAAALA AÍ, MEU ANJO! Essa questão parece meio chata, mas é só você lembrar de uma coisinha, que ela mais legal e tranquila!
Tu lembra o que é ser uma condição necessária ou suficiente ou ambas???
“Tá louco, esse negócio é muito enjoado”
Fique calmo, eu vou te lembrar e você verá que isso não é um monstrinho!
Uma proposição é dita condição suficiente para uma proposição , se implica . Ou seja, você só precisa verificar se é verdadeira e então