Please enable JavaScript.

Coggle requires JavaScript to display documents.

FUNDAMENTOS DA LÓGICA (Inferência (Rede de afirmações (Componente Verdade …

- - - - Erro de componente lógico(L.E.)
        Erro de conteúdo verdade(T.E.)
- - - - :check:Cogente →
        Forte ou moderada e premissas
        verdadeiras de fato
      - :red_cross:Não cogente →
        Fraca e/ou premissas falsas
        :
  - - - Critérios para verificar força →
        1- O número de casos onde a analogia ocorre
        2- A variedade de casos nas premissas
        3- O número de características(variáveis) ditas análogas
        4- A avaliação de relevância
      - Estratégias de avaliação →
        1-Desanalogia: Aponta as as diferenças entre os casos mencionados na primeira premissa de uma inferência analógica.
        2-Contra-analogia: Criar outra inferência analógica concorrente e completamente nova.
        3- Consequência não pretendida da analogia: Aponta para um resultado direto da analogia original que é inaceitável para a pessoa que apresenta a analogia.
    - - Generalização Universal : O padrão ocorre para todos os casos
        Generalização Estatística: O padrão ocorre com excessões
      - Amostras e População →
        1- Tamanho da amostra: A amostra é grande o suficiente para representar a população?
        2- Tendência Potencial: A amostra é tendenciosa a algum subconjunto da população?
        3-Aleatoriedade: Cada indivíduo teve a mesma chance de ser selecionado?
      - Teorias da probabilidade →
        1- Teoria de probabilidade A Priori (Clássica)
        2- Teoria de probabilidade de Frequência Relativa
        3- Teoria de probabilidade de Probabilidade Subjetiva
        
        Teoria de probabilidade A Priori →
        Assume que todos os possíveis resultados podem ser determinados e que possuem a mesma chance de acontecer
        
        Teoria de probabilidade de Frequência Relativa
        Probabilidades podem ser computadas pela divisão do número de casos favoráveis pelo número de casos observados:
        
        Teoria da probabilidade Subjetiva
        Apoia-se na habilidade de ponderar os aspectos positivos e negativos com base na experiência
        
        Cálculos de Probabilidades
        
        Métodos de conjunção →
        1- Restrita: 2 ou mais eventos ocorrendo, um independente do outro.
        
        2- Genérica: 2 ou mais eventos ocorrendo juntos, independentes ou não.
        
        Métodos de disjunção →
        1- Restrita: Os eventos ocorrem idependentemente e são mutuamente excludente/exclusivos.
        
        2- Genérica: Os eventos não são mutuamente excludentes.
        r
        
        Método de negação →
        Cálculo do evento não ocorrer.
        
        Teoria Bayesiana →
        Método para calcular probabilidade condicional: a chance de ocorrer um evento se outro já tiver acontecido.
        Aplicada para avaliação de risco, teste de hipótese, probabilidade de falsos positivos no exames de doenças e na habilidade preditiva de medidas(como a nota do ENEM)
    - - Critérios para analisar causalidade →
        1- Deve haver correlação entre a causa(C) e efeito(E).
        2- C deve preceder E.
        3- C deve estar na proximidade de E.
        4- Um conjunto de condições necessárias e suficientes deve existir.
        5- Explicações alternativas devem ser rejeitadas.
        
        Hipóteses, Experimentos e Predições →
        
        Requisitos de um Teste Justo de uma Hipótese Causal:
        1- A predição deve ser verificável.
        2- A predição deve ser não trivial.
        3- A predição deve ter uma conexão lógica com a hipótese.
- - - - Técnicas Dedutivas →
        Conclusões lógicas e válidas a partir de um conjunto de premissas
        
        Prova Direta →
        Prova de uma proposição através de tautologias
        
        Prova Condicional →
        Prova através de prova direta de uma proposição que implica em uma implicação. Entretanto, a prova direta inclui uma premissa provisória, sendo essa a condição suficiente da implicação, implicando na condição necessária:
        (p ˄ q) ˄ r → (q → r)
        (p ˄ q) ˄ r ˄ q → r
        
        Prova por redução ao absurdo →
        Prova através da prova direta de uma proposição, levando essa proposição à uma contradição. É realizada incluindo a negação da conclusão como uma premissa provisória.
        p ˄ q → q
        p ˄ q ˄ ¬q → q
  - - - Proposição →
        Sentença declarativa que assume
        um dos dois valores-verdade:
        Verdadeiro(V)
        Falso(F)
        
        Princípios da Lógica Clássica:
        Identidade →
        Toda proposição é idêntica a si mesma.
        Não Contradição →
        Uma proposição não pode ser verdadeira
        e falsa ao mesmo tempo.
        Terceiro excluído →
        Toda proposição é verdadeira ou falsa, não
        existindo um terceiro valor.
        
        Proposição Composta →
        Duas ou mais proposições simples
        
        Formalização →
        A formalização visa converter um conjunto
        de proposições em uma estrutura composta de
        letras proposicionais, conectivos lógicos
        e símbolos de pontuação.
        
        Conectivos proposicionais →
        • ¬ Negação : Não
        • ∧ Conjunção: E
        • ∨ Disjunção: Ou
        • → Condicional: Se, Então
        • ⇔ Bicondicional: Se e somente se
        Símbolo de pontuação →
        • () Parênteses
        
        Prioridade dos conectivos →
        1º ¬
        2º ∧ e ∨
        3º → e ⇔
        Se houver ambiguidade, usar parênteses
        
        Tabela verdade →
        Número de linhas: 2^n
        Número de colunas: 2 + p
        n = numero de termos
        p = numero de conectivos
        
        Tautologia →
        Uma proposição composta é uma tautologia,
        se e somente se, seu valor lógico é sempre verdadeiro
        
        Implicação Tautológica →
        É uma proposição condicional tautológica
        
        Equivalência Tautológica →
        É uma proposição bicondicional tautológica
        
        Propriedades Tautológicas:
        Reflexivas →
        p → p
        p ⇔ p
        Simétrica →
        (p ⇔ q) → (q ⇔ p)
        Transitiva →
        (p → q) ^ (q → r) → (p → r)
        (p ⇔ q) ^ (q ⇔ r) → (p ⇔ r)
        
        Contadição →
        Uma proposição composta é uma contradição,
        se e somente se, seu valor lógico é sempre falso
        
        Contingência →
        Uma proposição composta é uma contingência quando seu valor lógico pode ser verdadeiro ou falso, dependendo de suas proposições simples