human
Veuillez expliquer ce qu'est la "logique propositionnelle"
gpt
Le calcul propositionnel est une branche de la logique. On l'appelle aussi logique propositionnelle, logique d'énoncé, calcul des phrases, logique des phrases ou parfois logique d'ordre zéro. Il traite des propositions (qui peuvent être vraies ou fausses) et des relations entre les propositions, y compris la construction d'arguments basés sur celles-ci. Les propositions composées sont formées en reliant des propositions par des connecteurs logiques. Les propositions qui ne contiennent aucun connecteur logique sont appelées propositions atomiques.
Contrairement à la logique du premier ordre, la logique propositionnelle ne traite pas des objets non logiques, des prédicats les concernant ou des quantificateurs. Cependant, toute la machinerie de la logique propositionnelle est incluse dans la logique du premier ordre et les logiques d'ordre supérieur. En ce sens, la logique propositionnelle est le fondement de la logique du premier ordre et de la logique d'ordre supérieur.