La logique ou l'art de raisonner

Yannis Delmas-Rigoutsos (1) , René Lalement

1 Techné [Poitiers] - Technologies numériques pour l'éducation [EA 6316]

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".

Domaines: Logique [math.LO]

Yannis Delmas-Rigoutsos, René Lalement. La logique ou l'art de raisonner. Le Pommier, 2000, coll. Quatre à quatre. ⟨hal-02499597⟩