ArguMed 2.0 - sample sessionprevious 1 2 3 4 5 6 next 
The statement that Ps are Qs is added as a reason for the step warrant that if c is a P then c is a Q. Since the statement is of the assumption type, it is a justifying reason, making the warrant justified. As a result, the statement that c is a P is again a reason justifying that c is a Q. |