Vocabulary for demonstration
Conditions d'achèvement
- à cet égard / therein
- à partir de rien / ex nihilo from scratch
- c’est-à-dire / in other words, that is, i.e. (latin for "id est")
- comme / as
- contraposée / contraposition
- contre-exemple /counter-example
- corollaire / corollary
- CQFD (ce qu’il fallait démontrer) / QED (quod erat demonstrandum)
- d’où / whence
- d’une part, ..., d’autre part, ... / on one hand, ..., on the other hand, ...
- déduire / to deduce, to infer
- dans l’ensemble, globalement / by and large, on the whole
- dans la mesure où / insofar as, as far as
- démontrer / to demonstrate, to give a demonstration, to show
- démonstration par l’absurde / proof by contradiction
- en plus de / in addition to, over and above, on top of this
- élément de démonstration / proof hint
- étant donné que / given that
- implique / implies
- A statement A implies another statement B (written as A⇒B), if from the truth of the former, it necessarily follows the truth of the latter.
- induit / induced
- finir par, se retrouver avec / to end up with
- lemme / lemma
- par conséquent / consequently, thus, therefore, hence, so
- par récurrence sur ... / by induction on ...
- par exemple / for example, for instance, e.g. (latin for "exempli gratia")
- puisque / since, as, inasmuch as, for
- réciproque / converse
- sans perte de généralité / without loss of generality (abbreviated wlog)
- si, et seulement si (abrégé en ssi) / if, and only if (abbreviated iff)
- soit (le triangle ABC) / let (ABC) be (a triangle)
- supposer / to assume
- supposition /assumption