"Tu es PHILOSOPHE ?" "Oui, je ne COMPRENDS PAS ton IMAGE"

Le 21 mai 2021 à 00:15:59 :
les démo de logique cette puge

Ahi, c'est à la fois génial et horrible.

Le 21 mai 2021 à 00:16:19 :
ça sert à prouver que 1+1=2 ?

Oui, en gros.

Ça s'appuie sur le principe de non-contradiction.

Le 21 mai 2021 à 00:17:04 :
C'est de la magie ?

Le 21 mai 2021 à 00:18:52 :
CoQ a été codé en Caml.

CoQ qui valide la preuve ontologique de Gödel de l'existence de Dieu

Le 21 mai 2021 à 00:20:15 :
J'ai été confronté à ce genre d'opération à mon doctorat en maths mais avec des 2+2 et 0 + 1 (le plus difficile)

Tu confirmes la rumeur sur les marocains bons en maths

Le 21 mai 2021 à 00:19:04 :
Il me semble que le schéma démontre que l'auteur est un déchet

Rage davantage le débile.

Le 21 mai 2021 à 00:16:57 :

Le 21 mai 2021 à 00:16:19 :
ça sert à prouver que 1+1=2 ?

Oui, en gros.

Ça s'appuie sur le principe de non-contradiction.

D'ailleurs, à cause de ça je pense que l'argument est circulaire.

Le 21 mai 2021 à 00:22:18 :
Je trouve ça fascinant. Comment on apprends à faire ce genre de démonstration?

En prenant des cours de logique. Ou en lisant un bon livre d'introduction.