Logic: Deduction

Utiliser la déduction pour prouver la validité d'un argument n'est pas sans rappeler le fait de jouer à l'un des nombreux jeux de société. Dans les dames, par exemple, il y a un tableau et un ensemble de jetons. Vous déplacez les jetons sur le plateau selon un ensemble de règles pour atteindre un objectif spécifique. Dans une preuve déductive, il y a un ensemble de prémisses et une conclusion. L'objectif est de manipuler les prémisses avec un ensemble de règles d'inférence pour en tirer la conclusion. Aucune condition préalable n'est nécessaire pour utiliser cette application. Il contient une documentation abondante pour l'utilisateur.

Profitez de l'application.