sont logiquement compatibles si, et seulement si, l'union entre eux ℑ ∪ { δ 1 , δ 2 . . . . . δ n } {\displaystyle \Im \cup \{\delta _{1},\delta _{2}.....\delta _{n}\}} est cohérente.
