The picnic theorem

Hello! / Salut !

** Version française en bas **

Definition: "A picnic is a pleasure excursion at which a meal is eaten

outdoors (al fresco or en plein air), ideally taking place in a beautiful

landscape such as a park, beside a lake or with an interesting view" [1].

Theorem: We deserve a picnic next week.

Proof:

(1) \forall day \in next week : rain(day) = \emptyset \implies meal can be

eaten outdoors

(2) lawn next to the university pond [2] \in beautiful landscapes

(1) \land (2) \implies we should picnic :)

Corollary: You should vote in doodle [3] for the day(s) you'd like to

picnic.

References:

[1] http://en.wikipedia.org/wiki/Picnic

[2] http://goo.gl/maps/IL5JD

[3] http://www.doodle.com/uazm7fymeufck9n9

** Version (plus ou moins) française **

Définition : "On appelle habituellement pique-nique un repas champêtre, pris

en plein air" [1].

Théorème : Nous méritons un pique-nique la semaine prochaine.

Preuve :

(1) \forall jour \in semaine prochaine : pluie(jour) = \emptyset \implies on

peut manger en plein air

(2) espace à côté de l'étang de l'université [2] \in plein air

(1) \land (2) \implies on devrait pique-niquer à côté de l'étang de

l'université :)

Corollaire : Veuillez indiquer votre disponibilité sur le doodle [3].

Références :

[1] http://fr.wikipedia.org/wiki/Pique-nique

[2] http://goo.gl/maps/IL5JD

[3] http://www.doodle.com/uazm7fymeufck9n9