Logique des propositions et logique des prédicats - Mines Saint-Étienne Access content directly
Book Sections Year : 2023

Propositional Logic and Predicate Logic

Logique des propositions et logique des prédicats

Abstract

This article, the second in a series of three, deals with the classical logics which will give rise to mathematical logic at the end of the 19th century. The logic of propositions is first presented, which is the one introduced by Aristotle and which reigned for two thousand years. Next, the logic of predicates is exposed, which imposed itself at the turn of the 19th and 20th centuries, because it admitted greater expressive power. Many didactic and application examples illustrate many points. In the appendix are listed the properties of logical connectives and the logical forms used as axioms or rules of inference, as well as a list of notations.
Cet article, le deuxième d’une série de trois, traite des logiques classiques qui donneront naissance à la logique mathématique à la fin du XIXe siècle. La logique des propositions est d’abord présentée. Ensuite, est exposée la logique des prédicats qui s’est imposée au tournant du XIXe et du XXe siècle, car admettant un plus grand pouvoir expressif. De nombreux exemples didactiques et applicatifs illustrent les propos. En annexe, sont listées les propriétés des connecteurs logiques et les formes logiques utilisées comme axiomes ou règles d’inférences, ainsi qu’une liste de notations.
No file

Dates and versions

emse-04571255 , version 1 (07-05-2024)

Identifiers

Cite

Jean-Charles Pinoli. Logique des propositions et logique des prédicats. Techniques de l'Ingénieur, Sciences fondamentales | Mathématiques |Mathématiques fondamentales |algèbres (AF89 v1), Editions T.I., 2023, ⟨10.51257/a-v1-af89⟩. ⟨emse-04571255⟩
11 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More