[ Prev ]
2020-02-03

-- Jan 29 In-Class Exercise
∃x, y (x is in A and y is in A and x != y and A = {x, y})
∃x, y (x is in A and y is in A and x != y and A = {x, y})

-- Jan 29 In-Class Exercise
∃x, y (x ∈ A ^ y ∈ A ^ x ≠ y ^ (∀z, z ∈ A ⇒ z = x ∨z = y))
∃x, y (x ∈ A ^ y ∈ A ^ x ≠ y ^ (∀z, z ∈ A ⇒ z = x ∨z = y))

User Icon
-- Jan 29 In-Class Exercise
Resource Description for Screen Shot 2020-02-03 at 7.29.16 PM.png
((resource:Screen Shot 2020-02-03 at 7.29.16 PM.png|Resource Description for Screen Shot 2020-02-03 at 7.29.16 PM.png))

-- Jan 29 In-Class Exercise
Resource Description for screenshot 01-29.png
((resource:screenshot 01-29.png|Resource Description for screenshot 01-29.png))

-- Jan 29 In-Class Exercise
∃x,y x,y∈A ∀z, z≠x ^ z≠y ^ x≠y
∃x,y x,y∈A ∀z, z≠x ^ z≠y ^ x≠y

-- Jan 29 In-Class Exercise
Resource Description for IMG_1760.JPG
((resource:IMG_1760.JPG|Resource Description for IMG_1760.JPG))
2020-02-05

-- Jan 29 In-Class Exercise
Resource Description for image0.jpeg
((resource:image0.jpeg|Resource Description for image0.jpeg))

-- 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).

-- Jan 29 In-Class Exercise
Resource Description for IMG_20200202_224215.jpg
((resource:IMG_20200202_224215.jpg|Resource Description for IMG_20200202_224215.jpg))

-- Jan 29 In-Class Exercise
Resource Description for ex1_cs154.jpg
((resource:ex1_cs154.jpg|Resource Description for ex1_cs154.jpg))
[ Next ]
X