Processing math: 100%

Informations

Date limite 27/09/2022 23:59:00
Limite de soumission 3 soumissions

Se connecter

Test de logique (2)

Rappel
Le symbole se lit "pour tout" et le symbole se lit "il existe"

Question 1: Relations symétriques et antisymétriques

Soit E un ensemble et R une relation entre les éléments de E

On dit que R est symétrique si elle vérifie

  • Si x est en relation avec y, alors y est en relation avec x

On dit que R est antisymétrique si elle vérifie

  • Si x est en relation avec y et y est en relation avec x alors x=y

L'affirmation suivante est elle vraie ou fausse?

Si une relation R n'est pas symétrique, elle est antisymétrique.

Question 2: Définition de limite à l'infini

Soit une fonction f définie sur R.

On dit que f tend vers x0 à l'infini si la condition suivante est respectée :

Pour tout ϵ>0, il existe un y tel que pour tout x>y, on a |f(x)x0|<ϵ

Parmi les transcriptions ci-dessous, laquelle exprime que la fonction f tend vers x0 à l'infini

Question 3: fonctions surjectives

Les deux définitions suivantes sont elles équivalentes? f=IR et désigne la composition de fonction (fg)(x)=f(g(x))

  • Une fonction est surjective si elle possède un inverse à droite, c'est-à-dire un g tel que fg soit l'identité
  • xR,yI,f(y)=x
Question 4:

On considère le théorème suivant :

  • tout carré n2 a un nombre impair de diviseurs.

Supposons que le nombre n2 est un carré et possède 2k diviseurs. Enlevons 1, n2 et n. Il reste un nombre impair de diviseurs. Formons parmi ceux-ci les couples z1, z2 de nombres différents tels que n2=z1z2. Cela en fait un nombre pair, il doit donc en rester un. Soit a ce nombre, comme il n'est pas 1, n2 ou n, il doit alors vérifier n2=aa, ce qui est absurde car an.

Il s'agit :
Question 5: Méthodes de démonstrations

On considère le théorème suivant :

  • Pour tout naturel n, le naturel 22n1 est divisible par 3.

Voici une démonstration de ce théorème :

Si n=0 alors 2201=201=11=0 est divisible par 3.

Nous prendrons ensuite l'hypothèse que 22n1 est divisible par 3. Cela nous permet d'écrire 22n1=3k, pour un certain naturel k. Un peu d'arithmétique et il vient 22(n+1)1=422n1=4(3k+1)1=3(4k+1).

Il s'agit :

Question 6: Quantificateurs universels et existentiels

Soit A un ensemble d'élèves, B un ensemble de balles et R la relation "être propriétaire" : aRb si a est propriétaire de la balle b. Il peut éventuellement y avoir plusieurs propriétaires de la même balle.

Comment interprétez-vous la proposition suivante

aA,bB:¬(aRb)
Question 7: Quantificateurs universels et existentiels

Soit A un ensemble d'élèves, B un ensemble de balles et R la relation "être propriétaire" : aRb si a est propriétaire de la balle b. Il peut éventuellement y avoir plusieurs propriétaires de la même balle.

Comment interprétez-vous la proposition suivante

aA,bB:aRb
Question 8: Quantificateurs universels et existentiels

Soit A un ensemble d'élèves, B un ensemble de balles et R la relation "être propriétaire" : aRb si a est propriétaire de la balle b. Il peut éventuellement y avoir plusieurs propriétaires de la même balle.

Comment interprétez-vous la proposition suivante

aA,bB:aRb