Table des matières

Logique


Description par l'auteur

Description : La feuille porte sur les quantificateurs, les notions de contraposée, réciproque, négation. Consultez le résumé de cours sur le sujet.

Niveau : U1

Mots-clés : levelU1, reasoning

Domaine : mathematics,logic - Langue : fr

Catégorie : feuille d'exercices - Temps : ??

Auteur(s) : Marie-Claude, David Contact : mcld@math.u-psud.fr

Adresse : module=adm/sheet&+job=read&+sh=fr/U1/1122/sheet2

Copyright Marie-Claude, David

This work is licensed under the GNU GPL: http://www.gnu.org/licences/gpl.html

les commentaires sur le module : Calcul Booléen
les commentaires sur le module : OEF Contraposition
les commentaires sur le module : OEF Quantificateurs logiques
les commentaires sur le module : OEF Si et seulement si
les commentaires sur le module : Traduire/Formaliser

Le source de la feuille

:U1/logic/oefforall.en
exo=quantificateur3&qnum=1&qcmlevel=3&scoredelay=
20
1
Quantificateurs

:U1/logic/oefforall.en
exo=quantificateur5&qnum=1&qcmlevel=3&scoredelay=
20
1
Quantificateurs 2

:U1/logic/oefcontra.fr
exo=contraposelang&qnum=1&qcmlevel=3&scoredelay=
10
1
Contraposée Langage courant

:U1/logic/oefcontra.fr
exo=Contrapose&qnum=1&qcmlevel=3&scoredelay=
20
1
Contraposée

:U1/logic/oefcontra.fr
exo=negation1&qnum=1&qcmlevel=3&scoredelay=
10
1
Négation
d'une phrase en français
:U1/logic/calcbool.fr
listexo=2&nbreexo=1&nbrerep=4&seconde=&correct=1&essai=1&affgoodrep=70
10
1
Négation
et quantificateurs
:U1/logic/oefiff.en
exo=iff&exo=parity&exo=iff2&exo=iff3&exo=iff4&qnum=1&qcmlevel=3&scoredelay=
20
1
Condition nécessaire, suffisante

:U1/logic/tradform.fr
listexo=1&listexo=2&listexo=3&listexo=4&listexo=5&listexo=6&listexo=7&nbreexo=1&nbrerep=7&seconde=&correct=1&essai=1&affgoodrep=70
30
1
Traduire/Formaliser

:U1/logic/calcbool.fr
listexo=14&nbreexo=1&nbrerep=6&seconde=&correct=1&essai=1&affgoodrep=70
20
1
Contraposée, négation, réciproque