« Introduction aux mathématiques/Rudiments de logique » : différence entre les versions

* Si ''P'' et « <math>P \Rightarrow Q</math> » sont vraies, alors ''Q'' est vrai. Par contre, en écrivant que « <math>P \Rightarrow Q</math> » est vraie, on ne se prononce pas sur la valeur de vérité de ''P'' ni de ''Q''.

* Si « <math>P \Rightarrow Q</math> » est vraie, on dit que ''P'' est une '''condition suffisante''' de ''Q'' et que ''Q'' est une '''condition nécessaire''' de ''P''.

* On écrit <math>\exists x\in E / P(x)</math> pour signifier qu'il existe au moins un ''x'' élément de ''E'' tel que ''P''(''x'') soit vrai.

* On écrit <math>\exists ! x\in E / P(x)</math> pour signifier qu'il existe un unique ''x'' élément de ''E'' tel que ''P''(''x'') soit vrai.