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. interactive exercises, online calculators and plotters, mathematical recreation and games, Pôle Formation CFAI-CENTRE
    • Keywords: CFAI,interactive math, server side interactivity, discrete_mathematics, logic,contraposition,negation,implication,math_symbols