são logicamente compatíveis se, e somente se, a união entre eles ℑ ∪ { δ 1 , δ 2 . . . . . δ n } {\displaystyle \Im \cup \{\delta _{1},\delta _{2}.....\delta _{n}\}} for coerente
