Copule (logique)