e = mc2
e = energie en joules (j)
m = masse en grammes (g)
C = Vitesse de la lumière en metres par seconde (300.000.000 m / s)




Vitesse de la lumière = 300 000 km par seconde
Rien ne peut aller plus vite que la lumière.







OK    classification periodique des elements    





Corps en chute libre
x = 1/2 gt2)
x = distance parcourue par le corps en mètres (m)
g = acceleration du champs de pesanteur terrestre  = 9.81 m.s-2 
t = temps en secondes




OK les planetes du systeme solaire
OK  et les lunes



les dieux grecs







\big(A \rightarrow \; A) 	identité
A \lor \lnot A 	tiers exclu
A \rightarrow \lnot\lnot A 	double négation
\lnot\lnot A \rightarrow A 	double négation classique
\big(\big(A \to B\big) \to A\big) \to A 	loi de Peirce
\lnot(A \land \lnot A) 	non contradiction
\lnot(A \land B) \leftrightarrow (\lnot A \lor \lnot B) 	lois de De Morgan
\lnot(A \lor B) \leftrightarrow (\lnot A \land \lnot B)
(A \to B) \to(\lnot B \to \lnot A) 	contraposition
\big( (A \to B) \land A)\to B 	modus ponens (propositionnel)
((A \to B) \land \lnot B) \to \lnot A 	modus tollens (propositionnel)
\big( (A \to B) \land (B \to C)) \to (A \to C) 	modus barbara (propositionnel)
(A \to B) \to \big((B \to C) \to (A \to C)\big) 	modus barbara (implicatif)
\big(A \land (B \lor C)) \leftrightarrow ((A \land B) \lor (A \land C)) 	distributivité
\big(A \lor (B \land C)) \leftrightarrow ((A \lor B) \land (A \lor C))