Talk:Disjunctive and Hypothetical Syllogisms/@comment-192.41.125.254-20181129153025/@comment-216.155.125.158-20181129180741

Yes, you are correct. The example has been changed to match the form.