" $ "x and $x, relation between "xj rule $xj rule [jÚy]: truth-table [j®y]: truth-table [j«y]: truth-table [jÙy]: truth-table ¬"xj rule ¬$xj rule ¬j: truth-table

"

$

"x and $x, relation between

"xj rule

$xj rule

[jÚy]: truth-table

[j®y]: truth-table

[j«y]: truth-table

[jÙy]: truth-table

¬"xj rule

¬$xj rule

¬j: truth-table

Abstraction (of an equivalence relation)

"All"

Ambiguity

Ambiguity of cross-reference

Ambiguity, lexical

Ambiguity, structural

Applying rules more than once (summary)

Argument

Arrow (in graph of relation)

Arrow (truth-functor)

Asymmetric

At least n

At most n