---
tags:
  - sorbonne
  - philosophie
  - logique-notions-formelles
semestre: 3
---
Ce qui définit la forme logique d'un argument sont les mots logiques

Il y a deux types de mots logiques :
- les quantifieurs : "tous", "certains"
- les connecteurs propositionnelles : "si ..., alors ...", "... ou ..."

La logique propositionnelle est celle des connecteurs propositionnelles
La logique du premier ordre (ou des prédicats) est celle des quantifieurs

On formalise la logique propositionnelle pour les analyser
-> permet de dire si les arguments sont valides

Un énoncé atomique ne contient pas de connecteurs propositionnelles
|> il n'est pas possible de le décomposer
Les énoncés complexes sont des compositions d'énoncés atomiques connectés avec des connecteurs propositionnelles

Tout énoncé est soit vrai, soit faux.

**Rattraper le cours d'énoncé vrai / faux du cours 2**

**On doit donner la clé de retranscription**
|> i.e. ce qui permet de passer d'une phrase à l'énoncé logique
|> e.g., $p$: Pierre est content, $q$: Marie est triste