Consider a tuple of logical expressions: $(P_1, \ldots, P_n)$ such that $P_i\Rightarrow P_{i+1}$ for every $i=1,\ldots,n-1$.
An English question: Should I call it implications tuple or tuple of implications?
Consider a tuple of logical expressions: $(P_1, \ldots, P_n)$ such that $P_i\Rightarrow P_{i+1}$ for every $i=1,\ldots,n-1$.
An English question: Should I call it implications tuple or tuple of implications?
Neither term exists, so define it however you like. A google search yields zero results for implications tuple and merely three for tuple of implications.
One of those results is another Math.SE question regarding a chain of implications, which I now see you yourself started.