Argumentation, démonstration, concepts logiques, calcul propositionnel
Connaissances en logique, calcul logique. argumentation