Specializations > Semantics and Pragmatics

Semantic formatting on the forum [instructions]

(1/1)

Daniel:
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

Navigation

[0] Message Index

Go to full version