Processing math: 100%

Informasjon

Frist 14/09/2024 17:00:00
Innleveringsgrense 3 innleveringer

Logg inn

Test de logique (1)

Ceci est un test sur votre sens de la logique et des démonstrations

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

Spørsmål 1: Quantificateurs universel 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 interpretez-vous la proposition suivante

aA,bB:aRb
Rappel
Le symbole se lit "pour tout" et le symbole se lit "il existe"
Spørsmål 2: Quantificateurs universel 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 interpretez-vous la proposition suivante

aA,bB:¬aRb
Rappel
Le symbole se lit "pour tout", le symbole se lit "il existe". Le symbole ¬ est celui de la négation logique, se lit "il n'est pas vrai que", ou encore "non-".
Spørsmål 3: Quantificateurs universel 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 interpretez-vous la proposition suivante

bB,aA:aRb
Rappel
Le symbole se lit "pour tout" et le symbole se lit "il existe"
Spørsmål 4: Définition de continuité sur un intervalle

Soit une fonction f définie sur un intervalle I.

La définition de la continuité d'une fonction en un point s'énonce ainsi : une fonction f est continue en un point x si et seulement si la limite de f en x existe et est égale à f(x).

Pour rappel, la définition de la limite en un point est la suivante : la fonction f admet une limite L en x si et seulement si pour tout réel ϵ positif, il existe un réel δ positif tel que l'implication suivante est vraie : si y est dans I et 0<|yx|<δ alors |f(y)L|<ϵ .

Parmi les transcriptions ci-dessous, laquelle exprime que la fonction f est continue en tout point de l'intervalle I.

Rappel
Le symbole se lit "pour tout" et le symbole se lit "il existe"
Spørsmål 5: Vrai ou faux

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 injective si elle possède un inverse à gauche, c'est-à-dire un g tel que gf soit l'identité
  • xI,yI,f(x)=f(y)x=y
Spørsmål 6: Vrai ou faux

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

  • f possède un inverse à droite, c'est-à-dire un g tel que fg soit l'identité
  • f possède un inverse à gauche, c'est-à-dire un g tel que gf soit l'identité
Spørsmål 7: Méthodes de démonstrations

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

  • n2 est pair n est pair

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

Supposons que n soit impair, alors on a

n2=(2k+1)2=4k2+2k+1=2(2k2+k)+1

Dans ce cas n2 est impair, ce qui conclut la démonstration.

Il s'agit :
Spørsmål 8: Méthodes de démonstration

Considérons la démonstration suivante :

  • Il existe une infinité de nombres premiers

On suppose que cet énoncé est faux, c'est-à-dire qu'il existe un nombre fini de nombre premier. On peut donc faire une liste p1,p2,,pn de tous les nombres premiers. On calcule (p1.p2..pn)+1, c'est un nombre qui n'est pas divisible par p1 car il est de la forme x.p1+1, idem pour p2 et tous les autres nombres premiers. Comme il n'est divisible par aucun autre nombre premier, il doit donc être premier lui aussi, ce qui est une contradiction car on a supposé avoir inclus tous les nombres premiers dans la liste.

Il s'agit :

Spørsmål 9: Méthodes de démonstrations

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

  • 2Q

Laquelle (lesquelles) des démonstrations suivante est (sont) valide(s)