Edward Sinos

@equt

Joined on Sep 6, 2020

  • We first define the language to be used later. $$ \forall; \exists; \neg; \lor; \land; \rightarrow; \leftrightarrow; (; ); $$ Also, $a, b, \cdots$ are sets Applying following two rules repeatively would get a well formed sentence
     Like  Bookmark
  • Abstract Algebra
     Like  Bookmark
  • 传播学
     Like  Bookmark