Mapa Mental - Silogismo Hipotético

Prévia do material em texto

Estrutura Lógica Aplicações em Computação Antecedente representa a condição inicial do Base para construção de algoritmos condicionais e decisões argumento Utilizado em provas formais para Consequente é a conclusão garantir correção lógica derivada da condição verdadeira Facilita raciocínio automático em Validade depende da sistemas computacionais veracidade do antecedente Importante para desenvolvimento de inteligência artificial Forma padrão: Se antecedente, então consequente Silogismo Definição Validação do Silogismo Argumento Hipotético Se antecedente é verdadeiro, condicional que consequente deve ser verdadeiro relaciona condição e Não se pode afirmar O conclusão antecedente apenas pelo Forma lógica básica: consequente 'Se... então... Negar O antecedente não garante para dedução a negação do consequente Usado para construir Conclusões válidas dependem da provas e algoritmos estrutura lógica correta computacionais Fundamento essencial para raciocínio Erros Comuns lógico formal Confundir inverso com contrarrecíproco do silogismo Exemplo Prático Assumir que consequente Implicações Lógicas verdadeiro implica Se Pedro terminar projeto antecedente Silogismo hipotético é uma a tempo, então recebe forma de implicação lógica bônus Negar antecedente e concluir negação do Relação entre proposições Condição verdadeira consequente condicionais e suas implica conclusão consequências Ignorar a necessidade de verdadeira validade formal na Permite deduzir conclusões a Exemplo ilustra aplicação dedução partir de premissas do silogismo hipotético verdadeiras Permite inferir Base para outras regras de consequências a partir de inferência lógica premissas