Author Topic: Semantic formatting on the forum [instructions]  (Read 1831 times)

Offline Daniel

  • Administrator
  • Experienced Linguist
  • *****
  • Posts: 1539
  • Country: us
    • English
Semantic formatting on the forum [instructions]
« on: December 21, 2013, 07:10:19 AM »
In addition to using syntactic trees in posts which is useful for semantics as well, you can now easily access special symbols-- click on the [IPA] button above the post, but navigate to [FORMAL NOTATIONS] and use the "Formal Semantics" section-- quantifiers, set theory, logical operators, and lambda. If something is missing, just add a note here so it can be added.

λx[POST(x)](you)
∀x[MEMBER(x)→POST(x)]
{x:MEMBER(x)}⊆{y:POST(y)}
¬(P∧¬Q)↔(P→Q)
((x∈S)∧(S∩R=∅))→x∉R
Welcome to Linguist Forum! If you have any questions, please ask.