Lógica/Introdução: diferenças entre revisões

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 é lógicamentelogicamente 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'''''.