" $ "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