Raciocínio Lógico 2

Cartões · 50

Proposição simples

A frase 'Brasília é a capital do Brasil' possui sentido completo e pode ser julgada como verdadeira ou falsa.

Princípio da identidade

Se a proposição 'O céu é azul' é verdadeira, ela é necessariamente verdadeira e não pode ser outra coisa.

Princípio da não contradição

Uma lâmpada não pode estar simultaneamente acesa e apagada sob as mesmas condições exatas.

Princípio do terceiro excluído

Uma afirmação sobre um resultado de jogo só pode ser verdadeira ou falsa, sem meio-termo possível.

Sentença aberta

Na frase 'x + 4 = 10', não é possível atribuir valor lógico verdadeiro ou falso até substituir o x.

Negação (~ ou ¬)

Para negar 'O carro é vermelho', a forma correta é 'O carro não é vermelho' ou 'Não é verdade que o carro é vermelho'.

Conjunção (e / ^)

'Comprei pão e comprei leite' só é uma afirmação verdadeira se ambas as compras tiverem sido feitas.

Disjunção inclusiva (ou / v)

'Aceitamos dinheiro ou cartão' é verdadeira se o cliente pagar com dinheiro, com cartão ou até com ambos.

Disjunção exclusiva (ou... ou / v sublinhado)

'Ou você nasce no Brasil ou no Japão': só uma das partes pode ocorrer, jamais ambas ao mesmo tempo.

Condicional simples (Se... então / ->)

'Se chover, levarei guarda-chuva' só se torna uma promessa falsa se chover e você não levar o item.

Bicondicional (se e somente se / <->)

'Um número é par se e somente se for divisível por 2': só é verdade se ambos os fatos coincidirem.

Tabela-verdade

Montar uma tabela de 4 linhas para listar todas as combinações de V e F entre as premissas p e q.

Tautologia

'Amanhã vai chover ou não vai chover' é uma sentença sempre verdadeira, independente do clima real.

Contradição

'O número 5 é par e ímpar simultaneamente' resulta sempre em um valor falso em qualquer cenário.

Contingência

'Carlos foi aprovado no exame' pode ser verdadeiro ou falso dependendo apenas da nota final obtida.

Equivalência lógica

'Se chove, me molho' tem exatamente o mesmo valor lógico de 'Se não me molho, não chove'.

Contrapositiva

A condicional 'Se cometo crime, sou punido' equivale formalmente a 'Se não sou punido, não cometi crime'.

Primeira Lei de De Morgan

Negar 'Como pizza e bebo suco' equivale a dizer: 'Não como pizza OU não bebo suco'.

Segunda Lei de De Morgan

Negar 'Viajo de carro ou de trem' equivale a afirmar: 'Não viajo de carro E não viajo de trem'.

Negação do condicional (Regra do Mané)

Negar 'Se estudo, passo' resulta em 'Estudo e não passo' (mantém a primeira e nega a segunda).

Modus Ponens

Premissa: 'Se beber veneno, morre'. Fato: 'Bebeu veneno'. Conclusão válida imediata: 'Morreu'.

Modus Tollens

Premissa: 'Se o alarme toca, há intruso'. Fato: 'Não há intruso'. Conclusão válida: 'O alarme não tocou'.

Falácia da afirmação do consequente

'Se chove, a rua molha. A rua está molhada, logo choveu' (inválido: um caminhão-pipa pode ter lavado).

Falácia da negação do antecedente

'Se estudo, passo. Não estudei, logo não passarei' (inválido: pode passar por sorte ou facilidade da prova).

Silogismo categórico

'Todo homem é mortal. Sócrates é homem. Logo, Sócrates é mortal': dedução logicamente perfeita.

Quantificador universal (Todo / Nenhum)

'Todo gato mia' refere-se à totalidade absoluta do conjunto, sem admitir exceções na regra.

Quantificador existencial (Algum / Existe)

'Algum pássaro não voa' basta encontrar ao menos um exemplar (como o pinguim) para ser verdade.

Negação de quantificador universal

Para negar 'Todo político mente', basta provar que 'Ao menos um político não mente'.

Negação de quantificador existencial

Para negar 'Algum peixe anda fora d'água', deve-se afirmar que 'Nenhum peixe anda fora d'água'.

Diagrama de Venn (Interseção)

Em 'Algum médico é músico', a área compartilhada entre os círculos de médicos e músicos é preenchida.

Diagrama de Venn (Inclusão)

Para 'Todo paulista é brasileiro', desenha-se o círculo dos paulistas inteiramente dentro do círculo dos brasileiros.

Diagrama de Venn (Disjunção)

Para 'Nenhum peixe é mamífero', os círculos de peixes e de mamíferos ficam completamente separados.

Raciocínio Dedutivo

A partir de regras gerais aplicadas a um caso particular: 'Metais expandem no calor; o ferro é metal, logo expandirá'.

Raciocínio Indutivo

'O sol nasceu a leste nos últimos 1000 dias, logo nascerá a leste amanhã' (probabilidade, não certeza absoluta).

Problema de Associação Lógica

Descobrir a profissão de Ana, Bia e Carla sabendo apenas dicas cruzadas sobre suas cores de blusa e cargos.

Problema de Verdades e Mentiras

Entre 3 suspeitos em que um sempre mente e dois falam a verdade, testar hipóteses para achar o culpado.

Princípio da Casa dos Pombos

Se há 13 pessoas numa sala, pelo menos duas fazem aniversário no mesmo mês, pois há apenas 12 meses.

Sequência lógica numérica

Na sequência 2, 4, 8, 16, ..., o próximo termo é 32 pois cada elemento é o dobro do antecessor.

Sequência lógica de figuras

Um quadrado gira 90 graus no sentido horário a cada quadro: prever a orientação na quinta imagem.

Orientação espacial lógica

Andar 3 metros ao norte, virar 90 graus à direita e andar 4 metros: a distância do ponto de partida é 5 metros.

Silogismo disjuntivo

'O suspeito fugiu de carro ou de moto. O carro quebrou na garagem. Logo, ele fugiu de moto'.

Dilema construtivo

'Se aceito a vaga ganho dinheiro; se recuso tenho tempo. Aceito ou recuso; logo, ganho dinheiro ou tenho tempo'.

Condição necessária versus suficiente

'Estar vivo é necessário para correr, mas correr é suficiente para garantir que você está vivo'.

Falácia Ad Hominem

Rejeitar uma tese econômica impecável apenas alegando que o autor foi preso no passado por outra razão.

Redução ao absurdo (Reductio ad absurdum)

Assumir que a raiz de 2 é racional e demonstrar que isso gera um número par que também é ímpar.

Argumento válido versus inválido

Um argumento é válido se a conclusão decorre das premissas, mesmo com premissas fictícias como unicórnios.

Argumento sólido

Um argumento que além de formalmente válido é baseado em premissas factualmente verdadeiras no mundo real.

Paradoxo de Epimênides (Paradoxo do Mentiroso)

A frase 'Esta declaração é falsa': se for verdadeira, torna-se falsa; se for falsa, torna-se verdadeira.

Inversão lógica incorreta

Achar erroneamente que 'Se sou carioca, sou brasileiro' implica que 'Se sou brasileiro, sou carioca'.

Ordem de precedência dos conectivos

Em ~p ^ q -> r, resolve-se primeiro a negação (~), depois a conjunção (^), e por último o condicional (->).