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.

    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. This is the main site of WIMS (WWW Interactive Multipurpose Server): interactive exercises, online calculators and plotters, mathematical recreation and games
    • Keywords: wims, mathematics, mathematical, math, maths, interactive mathematics, interactive math, interactive maths, mathematic, online, calculator, graphing, exercise, exercice, puzzle, calculus, K-12, algebra, mathématique, interactive, interactive mathematics, interactive mathematical, interactive math, interactive maths, mathematical education, enseignement mathématique, mathematics teaching, teaching mathematics, algebra, geometry, calculus, function, curve, surface, graphing, virtual class, virtual classes, virtual classroom, virtual classrooms, interactive documents, interactive document, discrete_mathematics, logic,contraposition,negation,implication,math_symbols