User talk:Pterodaktilis
IMHO the original translation (as of 2020-04-05 10:37:51 UTC) for the formula:
p⊃q:q⊃r.⊃.p⊃r
as
((p⊃q) ∧ (q⊃r))⊃(p⊃r)
was incorrect.
The rule, as stated in PM vol. I (2nd ed., 1963, https://ia800602.us.archive.org/35/items/PrincipiaMathematicaVolumeI/WhiteheadRussell-PrincipiaMathematicaVolumeI_text.pdf [viewed 2020-04-04]) reads:
"The scope of the bracket indicated by any collection of dots extends backwards or forwards beyond any smaller number of dots, or any equal number from a group of less force, until we reach either the end of the asserted proposition or a greater number of dots or an equal number belonging to a group of equal or superior force." (p. 9)
Thus, the scope of ":", even though if is in group III which has lower priority as group I single dots in the formula, still extends to the end of the formula over the smaller number of dots (single dots round the '⊃' symbol).
Also, the example on page 10 of PM is very thorough:
"“p⊃q:q⊃r.⊃.p⊃r“ will mean “if p implies q; and if q implies r then p implies r.“ (This is not true in general). Here the two dots indicate a logical product; since two dots do not occur anywhere else, _the scope of these two dots_ extends backwards to the beginning of the proposition, and _forwards to the end_." (emphasis mine)
I've fixed the formula. The text should probably also be amended, "having the same priority" -> "having higher priority".
Please double-check.