The Toaq Wiki

User:Neuekatze/Shodi: Difference between revisions

← Older editNewer edit →
Neuekatze (talk | contribs)
138 edits
VisualWikitext
Neuekatze (talk | contribs)
138 edits
Neuekatze (talk | contribs)
138 edits
Line 120: Line 120:
|k
|k
|the X
|the X
|'''∃xx ∃x (x∈xx ∧ P(x) ∧ ∀y(y∈xx → y= x ∨ ¬P(y)))'''
|'''∃x ∀y (P(y) → y = x)'''
|-
|-
|g
|g
Retrieved from "https://toaq.me/User:Neuekatze/Shodi"