sono logicamente compatibili se, e solo se, l'unione tra loro ℑ ∪ { δ 1 , δ 2 . . . . . δ n } {\displaystyle \Im \cup \{\delta _{1},\delta _{2}.....\delta _{n}\}} è coerente
