The Problem of Monotonicity and the Skeleton

Abstract

The premise p of a reasoning is usually a complex statement reflecting the information of departure and consisting in the conjunction of other statements, p = p1 · (p2 · (…(pn). Such p can be written without parenthesis provided conjunction is associative, and then with the possibility of placing the sub-indexes in any ordering if it is commutative; on the contrary neither parenthesis, nor ordering can be avoided.