Raciocínio Lógico

Cartões · 52

Proposição

Sentença declarativa com sentido completo que pode ser classificada unicamente como verdadeira ou falsa.

Princípio da Identidade

Todo objeto ou proposição é idêntico a si mesmo; uma proposição verdadeira é sempre verdadeira.

Princípio da Não Contradição

Uma proposição não pode ser verdadeira e falsa ao mesmo tempo e sob o mesmo aspecto.

Princípio do Terceiro Excluído

Uma proposição só pode ser verdadeira ou falsa, inexistindo um terceiro valor lógico.

Sentença Aberta

Sentença cujo valor lógico depende de uma variável indeterminada, não sendo proposição por si só.

Negação (~ ou ¬)

Operador unário que inverte o valor lógico: se P é verdadeiro, ~P é falso; se P é falso, ~P é verdadeiro.

Conjunção (∧)

Conectivo 'e' que resulta em valor verdadeiro apenas quando ambas as proposições componentes forem verdadeiras.

Disjunção Inclusiva (∨)

Conectivo 'ou' que resulta em valor falso apenas quando ambas as proposições componentes forem falsas.

Disjunção Exclusiva (⊻ ou _∨_)

Conectivo 'ou... ou...' que é verdadeiro quando exatamente uma das proposições for verdadeira, e não ambas.

Condicional (→)

Conectivo 'se... então' que só é falso quando o antecedente é verdadeiro e o consequente é falso.

Bicondicional (↔)

Conectivo 'se e somente se' que é verdadeiro quando ambas as proposições têm o mesmo valor lógico.

Tautologia

Proposição composta que resulta sempre em valor lógico verdadeiro, independentemente das partes.

Contradição

Proposição composta que resulta sempre em valor lógico falso, independentemente dos valores individuais.

Contingência

Proposição composta que não é nem tautologia nem contradição, podendo ser verdadeira ou falsa.

Equivalência Lógica

Relação entre duas proposições que apresentam tabelas-verdade idênticas em todas as situações.

Equivalência da Condicional por Contrapositiva

A condicional 'P → Q' é logicamente equivalente a sua contrapositiva '~Q → ~P'.

Equivalência da Condicional por Disjunção

A condicional 'P → Q' é logicamente equivalente a '~P ∨ Q'.

1ª Lei de De Morgan

A negação de uma conjunção é a disjunção das negações: ~(P ∧ Q) ≡ ~P ∨ ~Q.

2ª Lei de De Morgan

A negação de uma disjunção é a conjunção das negações: ~(P ∨ Q) ≡ ~P ∧ ~Q.

Negação da Condicional (Regra do 'Mané')

A negação de 'P → Q' é equivalente a 'P ∧ ~Q' (mantém a primeira e nega a segunda).

Negação da Bicondicional

A negação de 'P ↔ Q' é equivalente à disjunção exclusiva 'P ⊻ Q'.

Modus Ponens

Regra de inferência válida: se 'P → Q' é verdadeiro e 'P' é verdadeiro, conclui-se 'Q'.

Modus Tollens

Regra de inferência válida: se 'P → Q' é verdadeiro e '~Q' é verdadeiro, conclui-se '~P'.

Silogismo Hipotético

Regra de encadeamento: se 'P → Q' e 'Q → R' são verdadeiros, conclui-se logicamente 'P → R'.

Silogismo Disjuntivo

Regra de inferência: se 'P ∨ Q' é verdadeiro e '~P' é verdadeiro, conclui-se logicamente 'Q'.

Argumento Válido

Argumento cuja estrutura garante que a conclusão seja verdadeira se todas as premissas forem verdadeiras.

Argumento Inválido (Sofisma)

Argumento em que as premissas podem ser verdadeiras e, mesmo assim, a conclusão ser falsa.

Quantificador Universal (∀)

Indica que uma propriedade é válida para todos os elementos de um conjunto ('todo', 'qualquer').

Quantificador Existencial (∃)

Indica que existe pelo menos um elemento no conjunto que satisfaz a propriedade dada ('algum', 'existe').

Negação do 'Todo'

A negação de 'Todo A é B' é 'Algum A não é B' (ou 'Existe pelo menos um A que não é B').

Negação do 'Nenhum'

A negação de 'Nenhum A é B' é 'Algum A é B' (ou 'Existe pelo menos um A que é B').

Negação do 'Algum'

A negação de 'Algum A é B' é 'Nenhum A é B' (ou 'Todo A não é B').

Falácia da Afirmação do Consequente

Erro formal de concluir 'P' a partir de 'P → Q' e 'Q'; o consequente pode decorrer de outras causas.

Falácia da Negação do Antecedente

Erro formal de deduzir '~Q' a partir de 'P → Q' e '~P'; negar a causa não elimina o efeito.

Falácia Ad Hominem

Atacar a pessoa que profere o argumento em vez de refutar a validade lógica do argumento em si.

Falácia do Espantalho

Distorcer ou simplificar o argumento do oponente para torná-lo fácil de rebater e parecer vitorioso.

Falácia do Apelo à Autoridade (Ad Verecundiam)

Validar uma premissa baseando-se unicamente no status ou fama de quem a afirmou, sem evidências.

Falácia da Petição de Princípio

Raciocínio circular onde a premissa assume de antemão a própria conclusão que se pretende provar.

Falácia do Falso Dilema

Apresentar apenas duas opções extremas como únicas possíveis, ignorando alternativas intermediárias.

Falácia Post Hoc Ergo Propter Hoc

Assumir que, porque o evento B ocorreu após o evento A, o evento A causou necessariamente o evento B.

Raciocínio Dedutivo

Processo lógico que parte de premissas gerais para chegar a conclusões específicas necessárias.

Raciocínio Indutivo

Processo que parte de observações particulares para formular conclusões gerais prováveis.

Raciocínio Abdutivo

Geração da melhor explicação plausível a partir de um conjunto incompleto de observações.

Condição Suficiente

Fator que basta para garantir a ocorrência de outro evento (o antecedente na condicional P → Q).

Condição Necessária

Exigência indispensável para a ocorrência do evento (o consequente na condicional P → Q).

Inversa de uma Condicional

Transformação de 'P → Q' em '~P → ~Q', a qual não é logicamente equivalente à proposição original.

Recíproca de uma Condicional

Inversão de direção de 'P → Q' para 'Q → P', a qual não é logicamente equivalente à original.

Premissa Maior e Menor no Silogismo

A premissa maior contém o termo maior (predicado da conclusão); a menor contém o termo menor (sujeito).

Termo Médio no Silogismo

Elemento que aparece em ambas as premissas para ligá-las, mas nunca aparece na conclusão.

Diagrama de Euler-Venn

Representação gráfica de conjuntos usada para testar a validade de silogismos categóricos.

Princípio da Dupla Negação

A negação de uma negação restabelece o valor lógico original da proposição: ~(~P) ≡ P.

Lei da Idempotência

Operar uma proposição consigo mesma sob ∧ ou ∨ preserva seu valor: P ∧ P ≡ P e P ∨ P ≡ P.