-- Jan 29 In-Class Exercise
Is my expression correct? There exists x,y,z (x is an element of A /\ y is an element of A /\ x does not equal y /\ x does not equal z => z is not an element of A /\ y is not equal to z => z is not an element of A).
Is my expression correct? There exists x,y,z (x is an element of A /\ y is an element of A /\ x does not equal y /\ x does not equal z => z is not an element of A /\ y is not equal to z => z is not an element of A).