hahah

Le vendredi ça vole énormément !

Envoyé spécial dans la sous-terre :)

putain d'sa race de pute de sa mère comment qu'ça envoie du gros staffaire-là !

heheh :P no thanks ! you can keep your skittles away from my nose ;)

oh ok, we're really not into the same field, then... you're into philosophical logic ? ...and I don't know anybody in BC, I thought you were in Montreal.

I'm finishing my PhD in theoretical computer science at ENS Cachan, near Paris (and I spent one year in Université de Montréal before that).

on peut tromper mille personne une fois, mais .... aaaah calisse !

you mean, a gay twisted horn ? :)

hehe I guess it's to find the stubborn and brave ones in the class... this proof is rather... say... cumbersome :P

who's your teacher ? I might know him...

i find more things on demonoid, generally... but sometimes, the pirate bay has more things ; they kinda complement each other, to me.

ah non chuis pas trop d'accord avec vous sur la fin là...

lol


hehe sorry but I guess you'll have to do it by yourself... it's the kind of exercise one can only bear to do once in his life :P
Good luck, though, you will need several trial-and-errors before having found the 10 or 20 steps of this proof.

Here's a little piece of advice : since it's not easy to see the substitutions and keep them in mind, try to write down the actual contents of each substitution each time ; e.g. when you apply MP, write both {A, A->B} |- B and, say, {p, (p->(q->p))} |- (q->p), or at least {p, axiom_1} |- (q->p) ... otherwise you probably won't go anywhere, even with a large brain ;)

yeaaaaah the kind of hardcore only ma tante can mix properly ! :)

i have an account but no invitation to offer... and i can't remember how i got mine... sorry !

because you put "video" tags instead of "img" tags ;)

you don't wanna know what we're discussing here... i tell you :P

In which deduction system are you ? According to the axioms, it looks like you're in Hilbert's propositional calculus... but it doesn't say which inference rules you're allowed to use.

If you only have the modus ponens, then the proof will be very tiresome (and I won't take the time nor the energy to write it... I've never really liked propositional logic)...
Do you also have the deduction theorem ? Or any other inference rule ? It would be much easier with more rules :)

aaaaaaaaaah i still have it !!! :)

Lac Saint-Jean ? ;)

yayyyy ! :)

"Egaler Tous Mots" should be "Inclure tous les mots" or "Chercher tous les mots"

NIIIIIIIIIIICE thanks for the Search Forum button !!! :)

2 questions :
- what do you mean by "Egaler Tous Mots" ?
- what does the "score" mean, for each item ?

BRRRAP BRRRAP !! :) 4:20 indahouse ofdajunglist massive !!

most indeeeeeeeed :)

à lire certains posts, j'ai l'impression que vous êtes au courant de ça : [ www.lemonde.fr ]

heheheh :)

OUCH !!! FÉDÉration internationale de ragga-jungle :)

sérieux les gens, allez-y pour moi ! :) Krak In Dub c'est mon producteur de ragga-jungle préféré :)

I like Wendyyyyyyyyyyy's !!! :)
they make the effin' BACONATOOOOOOOOOOOOOOOOOOOR !!! :)

oui:R1
[ en.wikinews.org ]

[ www.youtube.com ]

last line's the best :)

le climat est normal... c'est juste le mélange de température de l'air, température des voitures/sols/bancs/..., et de la force du vent ! belle conjoncture :)

you should have put your pants back on before offering them a beer !

it hardly ever happens there ; the water freezed instantly, at the contact of such cold materials in a little-less-cold-but-cold-anyways air

as for the cars, you just don't do anything ! even if you poured lukewarm water to melt the ice, you wouldn't be able to drive on the road, event with special tires... and don't even think about scraping your car, you probably wouldn't manage it in less than dozens of hours, and you may break some things on your car ! this reminds me of a day when i was young and fetched my clothes which were drying outside (hung in the garden, as usual) and it had been an unexpectedly freezing night... some clothes were kinda frozen, and one of my socks dropped and broke in half ! :)

the town of Versoix, near Genève (Switzerland), has been frozen by strong winds splattering water from lake Léman, by negative temperature... here are some nice pics :

the grill of steel indahouse ?! :)

le meyer sound system en ville ! ;)

chaque seconde dans la vie de Dee est une nouvelle aventure imprévisible !!! :)

lol this new feature is starting to go nowhere... :P

'sti d'big morning poutine

I said what what, in ___________.

i've already posted it recently, but it's worth it :)

[ www.youtube.com ]


[ www.youtube.com ]

sti qu'est bonne la toune qui joue su'la table du fond (celle de droite... ou serait-ce l'ordi ?) ! :)