ABSTRACT
A parallel argument, substituting ‘S2’ for ‘S’ to yield (S2), ‘If it is true that S2, then Paris is not the capital of Italy’, lets you prove that Paris is not the capital of Italy, and, if we combine the results of the two arguments, we have a contradiction on the basis of no assumptions.
