KnowSoda
CiênciaMatemática
Lógica: curiosidades e quiz
O essencial em 7 ideias, com curiosidades, uma história ilustrada e um quiz para ver o quanto você sabe.
O essencial
Proposições
A lógica estuda o que decorre de quê. Ela começa com proposições que são verdadeiras ou falsas, como “7 é um número ímpar”.
Ponto-chave
Uma pergunta ou uma ordem não é uma proposição: não pode ser verdadeira nem falsa.
E, ou, não
A lógica une proposições com E, OU e NÃO. “A E B” é verdadeira só se as duas forem verdadeiras; “A OU B” é verdadeira se pelo menos uma for.
Ponto-chave
Os chips de computador são feitos de portas E, OU e NÃO.
Se… então
“Se chover, o chão fica molhado” não significa que o chão molhado prove que choveu: talvez alguém tenha regado o gramado. Inverter um “se” é um erro clássico.
Ponto-chave
Esse erro é chamado de “afirmação do consequente”.
Silogismos
Um silogismo tira uma conclusão de duas premissas: “Todos os humanos são mortais. Sócrates é humano. Logo, Sócrates é mortal.” Aristóteles os estudou há mais de 2.300 anos.
Ponto-chave
Um argumento válido com premissas verdadeiras precisa ter uma conclusão verdadeira.
Falácias lógicas
Uma falácia é um argumento falho que ainda pode parecer convincente. Atacar a pessoa em vez do argumento dela é chamado de “ad hominem”.
Ponto-chave
Um “espantalho” distorce o argumento de alguém para torná-lo mais fraco.
Tabelas-verdade
Uma tabela-verdade lista todas as combinações de entradas verdadeiras e falsas e o resultado. Com duas entradas, são quatro linhas; com três, oito.
Ponto-chave
Cada entrada extra dobra o número de linhas.
Desafios de lógica
Desafios como o sudoku são pura lógica: não precisam de matemática, só de eliminar o que não pode ser verdadeiro até sobrar uma única resposta.
Ponto-chave
A forma moderna do sudoku foi criada em 1979 por Howard Garns.
Curiosidades
História: Vamos calcular!
Vamos calcular!
Década de 1670. O filósofo Gottfried Leibniz sonha com uma linguagem tão exata que qualquer discussão pudesse ser resolvida como uma soma.
Em vez de brigar, escreveu ele, duas pessoas simplesmente se sentariam com canetas e diriam uma à outra: “Vamos calcular!”
Ele nunca a concluiu. Mas seu sonho contribuiu para a lógica simbólica moderna e, séculos depois, para o computador.
Verdadeiro ou falso?
Toque na sua resposta para ver se acertou, e por quê.
-
Pergunta 1 de 10
“7 é um número ímpar” é uma proposição verdadeira.
Ver a resposta
Verdadeiro. É uma afirmação, e é verdadeira.
-
Pergunta 2 de 10
“A E B” é verdadeira só quando A e B são verdadeiras.
Ver a resposta
Verdadeiro. Uma parte falsa torna tudo falso.
-
Pergunta 3 de 10
“Se A, então B” não significa “se B, então A”.
Ver a resposta
Verdadeiro. A seta só aponta numa direção.
-
Pergunta 4 de 10
Aristóteles estudou silogismos.
Ver a resposta
Verdadeiro. Ele foi o primeiro a sistematizar a lógica formal.
-
Pergunta 5 de 10
Atacar a pessoa em vez do argumento dela é ad hominem.
Ver a resposta
Verdadeiro. Do latim, “à pessoa”.
-
Pergunta 6 de 10
Uma tabela-verdade com duas entradas tem quatro linhas.
Ver a resposta
Verdadeiro. VV, VF, FV e FF.
-
Pergunta 7 de 10
O sudoku pode ser resolvido só com lógica.
Ver a resposta
Verdadeiro. Os números são apenas símbolos: letras também serviriam.
-
Pergunta 8 de 10
“Feche a porta!” é uma proposição que pode ser verdadeira ou falsa.
Ver a resposta
Falso. É uma ordem, não uma afirmação.
-
Pergunta 9 de 10
“A OU B” é falsa se só uma delas for verdadeira.
Ver a resposta
Falso. Uma parte verdadeira basta para OU.
-
Pergunta 10 de 10
Uma calçada molhada prova que choveu.
Ver a resposta
Falso. Outra coisa pode tê-la molhado.
Continue no app
O KnowSoda aprende o que você sabe e traz de volta o que você está prestes a esquecer. Lógica tem mais 6 ideias nos níveis Avançado e Especialista.
