Quantificateur

par **overlord321321321213** » 15 Oct 2015, 10:33

Pouvez-vous m'aider à écrire la proposition suivante en utilisant les quantificateurs : Il existe un et un seul rationnel non nul,y égal à son carré

par **Sylviel** » 15 Oct 2015, 11:40

Bonjour,

déjà traduis la condition "y égal à son carré".
Ensuite il faut traduire "il existe un et un seul" (il y a un quantificateur exprès pour)
en précisant "y rationnel non nul"

par **overlord321321321213** » 15 Oct 2015, 19:32

Sylviel a écrit:Bonjour,

déjà traduis la condition "y égal à son carré".
Ensuite il faut traduire "il existe un et un seul" (il y a un quantificateur exprès pour)
en précisant "y rationnel non nul"

Pour y égal à son carré c'est x^2=y

par **overlord321321321213** » 15 Oct 2015, 19:34

Pour l'autre je sais

par **overlord321321321213** » 15 Oct 2015, 19:54

Il existe un et un seul x appartenant à l'ensemble Q*,x²=y

par **Sylviel** » 16 Oct 2015, 09:01

Qui est y dans ton expression ?

Là tu me dis "il existe un et un seul x rationnel non nul tel que son carré est égal à y".

Quantificateur

quantificateur

Qui est en ligne