cours/postulat de la logique formelle.md
oscar.plaisant@icloud.com a2ee0fa5ca from github to this gitea
2023-10-23 23:09:51 +02:00

9 lines
252 B
Markdown

#maths/logique
----
> La validité des raisonnements ne dépend que de leur forme et est indépendante du contenu des propositions qui les composent
Ce postulat est à la base de la logique formelle.
C'est un [[axiome]], il est donc indémontrable.