OEF Introduction à la logique --- Introduction ---

Ce module regroupe pour l'instant 10 exercices sur les fondements de la Logique Propositionnelle, pour des élèves du lycée.
Il a été conçu dans le cadre d'un travail interdisciplinaire en Français et en Mathématiques, en classe de Seconde.

Connecteurs booléens

:

Déduction logique

Implication en langage naturel

.
.

?

.
, .

?

Règlement incohérent

:

.

Négation en langage naturel

Négation en mathématiques

?

Réciproque ou Contraposée ?

  • :
    :
    .

    Tautologies

    :

    ?

    ?

    Valeurs de vérité

    , , .

    V F V F V F V F

    j.

    Validité d'une proposition

    :

    , , .

    :

    1.
    2.
    3.
    4.
    The most recent version
    Cette page n'est pas dans son apparence habituelle parce que WIMS n'a pas pu reconnaître votre navigateur web.
    Afin de tester le navigateur que vous utilisez, veuillez taper le mot wims ici : puis appuyez sur ``Entrer''.

    Veuillez noter que les pages WIMS sont générées interactivement; elles ne sont pas des fichiers HTML ordinaires. Elles doivent être utilisées interactivement EN LIGNE. Il est inutile pour vous de les ramasser par un programme robot.

    • Description: éléments de Logique Propositionnelle au Lycée, en français et mathématiques. Plateforme WIMS d'exercices interactifs et gratuits à données aléatoires avec feedback et corrections automatiques de l'enseignement secondaire au supérieur hébergée par le rectorat de l'académie de Versailles
    • Keywords: euler, wims, eulerwims, versailles, mathématiques, mathematics, math, maths, physique, sciences, exercices, exercices à données aléatoires avec correction automatique, exercise, interactif, interactive mathematics, interactive math, interactive maths, en ligne, online, calcul, calculus, géométrie, geometry, courbes, curve, graphing, statistiques, statistics, probabilités, probability, algorithmes, algèbre, analyse, arithmétique, fonctions, qcm, quiz, cours, devoirs, éducation, enseignement, teaching, gratuit, free, open source, communs numériques, plateforme, classe virtuelle, virtual class, virtual classes, virtual classroom, virtual classrooms, interactive documents, interactive document, exercices interactifs, correction, feedback, lexique, glossaire, examen, feuilles d'exercices, ressources, outils, création d'exercices, codage, activités, parcours d'apprentissage, discrete_mathematics, logic,contraposition,negation,implication,math_symbols