Nous avons vu les règles de déduction de la logique, et le moyen de déclarer vraie ou fausse une assertion composée, en utilisant les tables de vérité.
— (02/2008), http://ljk.imag.fr/membres/Bernard.Ycart/mel/lm/node20.html