1 Dec
2017
1 Dec
'17
3:35 p.m.
If the arrows are taken as implication, as in the predicate calculus, then Jim's question seems to make good sense to me. (But the question can of course be asked in general with other meanings assigned to the arrows.) —Dan -----
Do all the Catalan-many parenthesizations of p_1 --> p_2 --> ... --> p_n yield distinct Boolean functions?
That doesn't quite parse. ... -----