Expressions avec foncteur Foncteur de vérité, connecteur logique qui permet d'établir une proposition complexe à partir de plusieurs propositions simples et indique en même temps la valeur de vérité de la proposition complexe.