proposit-core
Preparing search index...
lib
TLinkMove
Type Alias TLinkMove
TLinkMove
:
"contradict"
|
"affirm"
|
"undercut"
|
"reinforce"
What a link does to the expression it binds.
contradict
:
NOT(x)
on a statement — the expression is false.
affirm
:
x
on a statement — the expression is true.
undercut
:
NOT(s)
on an inference — the operator's step does not hold.
reinforce
:
s
on an inference — the operator's step holds.
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
proposit-core
Loading...
What a link does to the expression it binds.
contradict:NOT(x)on a statement — the expression is false.affirm:xon a statement — the expression is true.undercut:NOT(s)on an inference — the operator's step does not hold.reinforce:son an inference — the operator's step holds.