RISC JKU
Antisymmetry

Prove

(antiRef) [Graphics:indexgr12.gif]

under the assumption(s)

(antiSymm) [Graphics:indexgr13.gif].

We prove (antiRef) by natural deduction.