Lógica/Introdução: diferenças entre revisões
| [edição não verificada] | [edição verificada] |
Conteúdo apagado Conteúdo adicionado
Etiquetas: Revertida Edição via dispositivo móvel Edição feita através do sítio móvel |
Desfez a edição 475162 de 79.169.22.87 (discussão) Etiqueta: Desfazer |
||
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 é logicamente válido se e somente se, tiver uma forma na qual, qualquer que seja o conteúdo das premissas, se estas forem verdadeiras, a conclusão será necessariamente verdadeira'''''.
===Sobre os raciocínios válidos===
| |||