ArguMed 2.0 - sample session

1 2 3 4 5 6 next
screen of sample session
The user has provided the statement that c is a P as a reason for the conclusion that c is a Q. Both statements are justified. The former since it is an assumption, the latter since there is a justifying reason for it.