Lógica/Introdução: diferenças entre revisões
[edição verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Sem resumo de edição |
|||
Linha 21:
Isto permitiria derivar das premissas “Ontem João bebeu dois copos de cerveja” e “Ontem João também bebeu uma taça de vinho”, uma conclusão como “Anteontem João bebeu uma taça de cerveja”.
A lógica foi desenvolvida para, entre outras coisas, determinar quais raciocínios são ou não válidos, e quais métodos de derivação garantem raciocínios válidos. Mas o que é um raciocínio válido? Bem, vários critérios de validade podem ser estipulados, tais como a relevância da conclusão em relação às premissas, ou a disponibilidade das premissas para a recursão durante a derivação. Existem vários sistemas de lógica que formalizam estes critérios. Primeiramente, e durante boa parte dos nossos estudos, vamos nos ater ao critério mais fundamental: '''''um raciocínio é
===Sobre os raciocínios válidos===
|