Symbols: Learn Logic

Apprenez la logique avec Symbols, l'application qui enseigne la déduction naturelle et les règles d'inférence de manière intuitive et accessible. Nos fiches d'étude uniques proposent des pictogrammes visuels et des exercices interactifs étape par étape pour vous permettre de comprendre chaque règle facilement et rapidement. Relevez ensuite le défi avec des activités spécialement conçues pour mettre en pratique ces règles, en développant progressivement vos compétences et en les enregistrant à chaque niveau.

Enfin, les fiches d'étude vous aident à apprendre et à réviser, tandis que les activités vous permettent de vous entraîner et de tester vos compétences de manière ludique.

Pourquoi Symbols ?

Fiches d'étude complètes : Apprenez des règles essentielles comme le modus ponens, le modus tollens, le syllogisme disjonctif et bien d'autres grâce à des explications et des exemples clairs. Parfait pour les étudiants et toute personne souhaitant comprendre la logique formelle.

Activités stimulantes pour la maîtrise des compétences :

Validité : Aiguisez votre esprit critique en évaluant des arguments pré-résolus. Cette activité unique offre les avantages de la répétition sans l'ennui, vous aidant à appliquer, reconnaître et vous familiariser avec les règles de l'inférence.

Justification : Mettez votre compréhension à l'épreuve avec des scénarios de type puzzle où vous déduisez les étapes manquantes d'un argument. Cela approfondit votre compréhension et affine votre application des règles logiques dans des arguments complexes.

Inférence : À ce stade, l'apprentissage est terminé et l'élève doit s'appuyer sur tout ce qu'il a appris jusqu'à présent. Sa tâche consiste à construire mentalement un argument valable à partir de ce qui lui est fourni, ou à reconnaître qu'aucun argument valable ne peut être formulé. Ce qui se ferait normalement lentement sur papier se fait maintenant à la vitesse de la pensée.

Traduction : La traduction aide les élèves à s'entraîner à transformer des énoncés avec des mots et des phrases indicateurs en une forme logique. Ces mots indicateurs, fréquemment utilisés dans les livres et les cours de logique, leur permettent de comprendre comment traduire le langage courant en logique formelle. La traduction décompose ce processus en niveaux, permettant aux élèves de suivre leurs progrès et d'obtenir de nouveaux points à mesure qu'ils progressent.

Téléchargez gratuitement Symbols et commencez votre voyage dans la logique formelle. Votre accès gratuit comprend le premier niveau de chaque activité et la carte d'étude Modus Ponens, indispensable pour débuter. Pour accéder à du contenu et des fonctionnalités plus avancés, utilisez simplement nos achats intégrés et continuez à développer vos compétences logiques.

Commencez dès maintenant à maîtriser les règles de l'inférence !