\title{Formaliser} % Quelques macros utils. \text{implications=\(=>), \(<=>)} % Separer les cas par `;'. et separer les items par `,'. % Pour chaque cas, 5 items. % item 1: contexte. % item 2: Enonce en phrase. % item 3: Nombre de cases à prévoir. % item 4: Formule (separer les blocs par `,', separer les possibilites par % `|'.) Surtout enfermer l'item par une paire de parentheses ! % item 5: mauvais blocs (enfermes par une paire de parenthese). % % Il faut surtout bien fermer toutes les parentheses ! \text{data= Soit \(f: RR -> RR) une application, \(f) est majorée, 4, (\(exists m in RR,),\(forall x in RR,), \(f(x) < m) ), (\(f(x) > m), \(x < m), \(x > m), \implications ) ; Soit \(f: \RR \to \RR) une application, \(f) est strictement croissante,5, (\(\forall x,y \in \RR,),\(x<y),\(=>),\(f(x)<f(y)) | \(\forall x,y \in \RR,),\(x<y),\(<=>),\(f(x)<f(y)) | \(\forall x,y \in \RR,),\(f(x)<f(y)),\(<=>),\(x<y) | \(\forall x,y \in \RR,),\(f(x)\leq f(y)),\(<=>),\(x\leq y) | \(\forall x,y \in \RR,),\(x\leq y),\(<=>),\(f(x)\leq f(y)) ), (\(f(x)\leq f(y)),\(f(x)<f(y)),\(x<y),\(x\leq y),\implications ) ; Soit \(f: [a,b] \to \RR) une application, \(f) est constante,5, (\(\exists m \in \RR,),\(\forall x \in [a,b],),\(f(x)=m) | \(\forall x,y \in [a,b],), \(f(x)=f(y)) ), (\(\exists x \in [a,b]),\(\forall m \in \RR),\implications,\(\forall x \in \RR),\(\forall x,y \in \RR) ) ; } % Ce qui suit n'a pas besoin d'etre modifie. \text{data=wims(singlespace \data)} \text{data=wims(nonempty rows \data)} \text{data=randomrow(\data)} \text{good=wims(declosing \data[4])} \text{bad=wims(declosing \data[5])} \statement{\data[1]. Formalisez l'énoncé : \data[2]. <p><center>\embed{r1,120x30x\data[3]} </center> } \answer{La formule}{\good;\bad}{type=clickfill} |