Logique élémentaire - Le Barbuki 0

L’art de la preuve est délicat : pour ma part je m’imagine systématiquement devant un parterre de sceptiques que je dois à tout prix convaincre par mes raisonnements. À travers cet ouvrage, j’ai essayé de retranscrire au mieux tout ce qui est nécessaire de savoir pour s’attaquer proprement au premier tome de la série. Bien évidemment, cela ne remplace pas de véritables cours, ça n’en a pas la vocation, ni l’expérience acquises avec les années à force d’être confronté à des démonstrations mathématiques toujours plus nombreuses et élaborées. Durant les études de mathématiques il est enseigné toute une grammaire, un vocabulaire et une façon de raisonner qu'il peut être difficile à acquérir autrement. Dans ce manuel d'utilisation, vous retrouverez exposés la notion d'assertion, c'est-à-dire les phrases vraies ou fausses, la façon de les lier pour mener des raisonnements logiques, la notion de quantificateurs, pour parler de tout un ensemble de sujets à la fois et un petit exposé d'histoire et de philosophie des mathématiques sur la logique.