/semestre 3/logique et notions formelles/
../
1- Introduction.md
2- Le langage de la logique propositionnelle.md
3- Logique des prédicats.md
4- Interpréter les formules.md
5- Conséquence logique.md
td