ArguMed 2.0 - sample sessionprevious 1 2 3 4 5 6 next 
The warrant that if c is a P, then c is a Q, underlying the reason/conclusion step, has been made explicit. Here it is added as an issue. As a result, the warrant is not justified. Therefore, the reason that c is a P is no longer justifying, and the statement that c is a Q is currently not justified. |