Logik, Ktgori et SMCC sig
Description :
Un blog sur ce ke je fé: dé w-ktégori lol et osi de la logik.
Design by lequipe-skyrock Choisir cet habillage
C lé CCC | vazy tu C | Tu C que je C | que C de la bombe | les CCC c trop imba | passk au fon c lambda
Je c'est po se ki é plus bo kun bo diagramme koi, kan je voi ca jme di laisse tombé koi cé tro bo.
La logik Klassik sapu. Le tier Xklu c pour lé n00b. Intuitionnistmen représente.
Big up a tou lé intuionnistmen, laché rien
Big up a tou lé intuionnistmen, laché rien
Je sui le dagger le dagger | le dagger ki plant ton coeur | tu resist po tu me rejoin | kar au fon bébé c toi mon adjoin | jte kiff bébé t magik | c moi ton dagger c ktégorik | tou lé 2 on va révé | jsui ton adjoin té mon identité
Kess vou en pensé ? laché vo com !
Kess vou en pensé ? laché vo com !
moi je pense grave que la logik Klassik c tro le bon sens mé d pot de ché ouam il pense que c la logik intuitionniste lol
en fait le iers exclu tu vois bien que c vré passque un truc c vré ou c fau mé cé po aut chose en fait.
mé si tu dis ken fait c de construire dé preuv ki conte alor c vré ke des truks genre (p => q) v (q => p) bin tu pe pa lé montré passque 1d2 é vré mais on sé pa lkel.
en fait le iers exclu tu vois bien que c vré passque un truc c vré ou c fau mé cé po aut chose en fait.
mé si tu dis ken fait c de construire dé preuv ki conte alor c vré ke des truks genre (p => q) v (q => p) bin tu pe pa lé montré passque 1d2 é vré mais on sé pa lkel.