302 B
302 B
alias
| alias | ||
|---|---|---|
|
up::logique formelle #s/maths/logique
Approche de la logique formelle Les raisonnements sont étudiés du point de vue de la propagation de la fausseté/vérité entre prémisses et conséquence