Coggle requires JavaScript to display documents.
"x is even"
Let x be [an element of the domain], and suppose P(x).
Let x be [an element of the domain], and suppose ¬Q(x).
Suppose, to the contrary, that ¬A.