Go backward to
Operational Interpretation
Go up to
Top
Go forward to
Operational Interpretation
Negations
(~
A
).
Other syntactic forms:
A
, ~
A
, -
A
,
!
A
;
non-
A
, "not
A
", "never
A
", "in no case
A
";
not(
A
)
.
Semantics:
~
A
is true, if and only if
A
is false.
A
~
A
false
true
true
false
Author:
Wolfgang Schreiner
Last Modification: October 6, 1999