connecteursLN:Connecteurs boolens
deduction:Dduction logique
implication:Implication en langage naturel
incoherence:Rglement incohrent
negationLN:Ngation en langage naturel
negationMath:Ngation en mathmatiques
tautologie:Tautologies
valeursVerite:Valeurs de vrit
validite:Validit d'une proposition
