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:BenjmianX.png|Resource Description for BenjmianX.png))
((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) 2024 Yioop - PHP Search Engine