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 ponendo tollens Modus ponendo tollens Modus ponendo tollens (MPT; Latin: "mode that denies by affirming") is a valid rule of inference for propositional logic. It is closely related to "modus ponens" and "modus tollens". MPT is usually described as having the form: For example: As E. J. Lemmon describes it:""Modus ponendo tollens" is the principle that, if the negation of a conjunction holds and also one of its conjuncts, then the negation of its other conjunct holds." In logic notation this can be represented as: Based on the Sheffer Stroke (alternative denial), "|", the inference can also be formalized in this way: