Peu importe le nombre de conditions nécéssaires pour réussir la terraformation de Mars.
Pour réussir la terraformation, il faudrait que toutes les conditions soient remplies, sans exception.
Pour que la terraformation s'échoue, il suffit qu'une seule condition ne soit pas remplie.
Donc pour démontrer que la terraformation de Mars est vouée à l'échec, il n'y a pas besoin de rechercher et de démontrer toutes les conditions: une seule suffit. Le débat est terminé aussitôt !
On appelle ça la fonction ET
-----