Roman Catholic Archdiocese of Tunis to close down all the Catholic churches in the country, forced the Holy See to accept an agreement of the type known as a modus vivendi, a term that literally means "a way of living". This particular agreement was unofficially described as instead a "modus non moriendi" ("a way of not dying"). By it, all but 5 of the country's more than 70 churches were handed over to the state, including what had been the cathedral of the archdiocese, while the state, for its part, promised that the buildings would be put only to use of public interest consonant with
Modus tollens saying that formula_2 is TRUE, and the case where formula_49 is an absolute FALSE opinion is equivalent to source formula_52 saying that formula_2 is FALSE. The abduction operator formula_66 of subjective logic produces an absolute FALSE abduced opinion formula_67 when the conditional opinion formula_57 is absolute TRUE and the consequent opinion formula_49 is absolute FALSE. Hence, subjective logic abduction represents a generalization of both "modus tollens" and of the Law of total probability combined with Bayes' theorem . Modus tollens In propositional logic, modus tollens (; MT; also modus tollendo tollens (Latin for "mode that denies by denying") or denying