Following are three relatively simple examples from the DC Proof Tutorial that illustrate many of the features of DC Proof.
Example 1: The Commutativity of the AND-operator: P & Q => Q & P
Example 2: The Transitivity of Equality: x=y & y=z => x=z
Example 3:
Russell's Paradox