La Logique ou l'art de raisonner

Cette discipline ancienne, longtemps du ressort des philosophes, a aujourd'hui pris sa place au sein des mathématiques. Depuis les syllogismes des Anciens, qui permettaient de distinguer entre le « vrai » et le « faux », entre le « bon » et le « mauvais » raisonnement, jusqu'à la logique moderne qui s'intéresse à la validité des démonstrations de la géométrie comme aux calculs pratiqués par les ordinateurs, ce livre vous permet de vous familiariser avec les symboles, les règles et les théorèmes qui constituent les fondements universels de cet « art de raisonner ».