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 Modus tollens In propositional logic, modus tollens (; MT; also modus tollendo tollens (Latin for "mode that denies by denying") or denying the consequent) is a valid argument form and a rule of inference. It is an application of the general truth that if a statement is true, then so is its contra-positive. The inference rule "modus tollens" validates the inference from formula_1 implies formula_2 and the contradictory of formula_2 to the contradictory of formula_1. The "modus tollens" rule can be stated formally as: where formula_6 stands for the statement "P implies Q". formula_7 stands for "it is not the