Logic: Deduction

Usar a dedução para provar a validade de um argumento não é diferente de jogar um dos muitos jogos de tabuleiro. Em damas, por exemplo, há uma mesa e um conjunto de fichas. Você move os tokens no tabuleiro de acordo com um conjunto de regras para atingir um objetivo específico. Em uma prova dedutiva, há um conjunto de premissas e uma conclusão. O objetivo é manipular as premissas com um conjunto de regras de inferência para derivar a conclusão. Nenhum pré-requisito é necessário para usar este aplicativo. Contém ampla documentação para o usuário.

Aproveite o aplicativo.