previous up next
Go backward to Decomposition of Conjunctions
Go up to Top
Go forward to Indirect Method for Conjunctions
RISC-Linz logo

Example

Proposition: For every x and y, we have

x = y <=> (x subset y /\  y subset x).

Proof: Take arbitrary x and y. We prove x = y <=> (x subset y /\  y subset x).


Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next