oskar/cours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
main
cours/ensemble de formules satisfiable.md

196 B
Raw Permalink Blame History

up, tags, aliases
up tags aliases
formule logique
s/maths/logique

[!definition] Définition Soit \mathcal{F} l'ensemble des formules propositionnelles ^definition