2020-01-29
Jan 29 In-Class Exercise .
Post your solutions to the Jan 29 In-class Exercise to this thread.
Chris
Post your solutions to the Jan 29 In-class Exercise to this thread.
Chris
2020-02-02
∃x,y ( x∈A ∧ y∈A ∧ x=/=y ∧ A={x,y} )
∃x,y ( x∈A ∧ y∈A ∧ x=/=y ∧ A={x,y} )
∃ x, y x =/= y, A =/= {} A ∪ {x, y} = {x, y} A ∩ {x, y} = {x, y}
∃ x, y
x =/= y, A =/= {}
A ∪ {x, y} = {x, y}
A ∩ {x, y} = {x, y}
((resource:80CC0A11-98BD-4201-96EB-49EDBB903245.jpeg|Resource Description for 80CC0A11-98BD-4201-96EB-49EDBB903245.jpeg))
A={x,y}, x=/=y ∧ A∈{x, y} ∧ {x, y}∈A
A={x,y}, x=/=y ∧ A∈{x, y} ∧ {x, y}∈A
( x ∈ A ) ∧ ( y ∈ A ) ∧ ( x =/= y ) ∧ ( A = {x, y})
( x ∈ A ) ∧ ( y ∈ A ) ∧ ( x =/= y ) ∧ ( A = {x, y})
∃ x,y ( x ∈ A ∧ y ∈ A ∧ x ≠ y ∧ A = {x,y} )
∈ = element of , ∃ = exists , ∧ = And
(Edited: 2020-02-02)∃ x,y ( x ∈ A ∧ y ∈ A ∧ x ≠ y ∧ A = {x,y} )
∈ = element of ,
∃ = exists ,
∧ = And
∃x,y ( x ∈ A ^ y ∈ A ^ x ≠ y ^ A = {x,y} )
∃x,y ( x ∈ A ^ y ∈ A ^ x ≠ y ^ A = {x,y} )
∃ 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)))
(c) 2026 Yioop - PHP Search Engine