Fix conjuction/disjunction typo

I believe conjunction and disjunction symbols were confused in the "Manual Proofs" section.