Symbols Logic

Déverrouillez la logique : apprenez la déduction naturelle et les règles d'inférence.

Avec les symboles, l'apprentissage de la déduction naturelle et des règles d'inférence peut se faire sur votre appareil mobile. Que vous soyez complètement nouveau dans l'étude de la logique ou que vous souhaitiez un rappel sur les règles d'inférence, nos Studycards vous aident à apprendre et à réviser; et nos activités vous aident à améliorer et à pratiquer vos compétences.

Nos Studycards incluent : Modus Ponens, Modus Tollens, Disjonctive Syllogism, et bien d'autres.

Nos activités incluent :

1. Validité : La validité utilise sournoisement la répétition pour enseigner à l'élève les règles de l'inférence. Avouons-le, la répétition fonctionne efficacement mais cela peut souvent sembler une corvée. La façon dont Validity vous donne l'avantage de la répétition tout en minimisant ses inconvénients est de vous présenter de nouveaux arguments qui ont déjà été « résolus ». Vous devez ensuite déterminer si la solution a appliqué correctement chaque étape. La répétition est au cœur du développement des compétences, mais pour minimiser la sensation de « cirer et cirer » jusqu'à ce que l'élève s'ennuie et soit frustré, le stimulus est nouveau et la partie qui ressemble le plus à du travail est déjà préparée pour vous. Tout ce que vous avez à faire est de déterminer si les étapes ont été appliquées correctement.

2. Justification : la justification masque au moins une partie d'une étape à l'étudiant, obligeant l'utilisateur à déterminer quelle partie ou quelles parties manquent et comment elles s'intègrent dans l'image plus large de ce qui est fourni. Alors que Validity accélère sournoisement votre répétition, Justification attire votre créativité avec ce qui ressemble un peu à un casse-tête. Ceci est destiné non seulement à garder l'étudiant engagé, mais à approfondir sa compréhension des règles, et plus précisément, leur application dans un argument.

3. Inférence : l'inférence ne fournit à l'utilisateur qu'un ensemble de prémisses et une conclusion finale. Au moment où l'étudiant a atteint l'inférence, ses roues d'entraînement sont complètement éteintes et tout ce qu'il a appris précédemment doit être utilisé pour construire mentalement un argument valable avec ce qui est fourni ou pour arriver à la conclusion qu'il ne peut pas être valablement tiré. Ce qui est normalement complété avec un papier et un crayon est complété à la vitesse de la pensée.

4. Traduction : La traduction aide l'étudiant à traduire les déclarations avec des mots et des phrases indicateurs en déclarations logiques. Les mots et expressions indicateurs sont couramment utilisés dans les livres et les cours de logique pour aider l'étudiant à comprendre comment traduire une déclaration dans un langage humain en une déclaration en logique. La traduction les décompose en un ensemble de niveaux et permet à l'utilisateur de définir de nouveaux scores à mesure qu'il atteint de nouveaux niveaux de compétence.