Go backward to
Inversion of Negation
Go up to
Top
Go forward to
Operational Interpretation
Conjunctions
(
A
/\
B
)
Other syntactic forms:
A
,
B
;
A
*
B
;
A
&
B
;
A
&&
B
;
"
A
and
B
", "
A
as well as
B
" ("sowohl
A
als auch
B
");
and(
A
,
B
)
.
Semantics:
A
/\
B
is true, if and only if both
A
and
B
are true.
A
B
A
/\
B
false
false
false
false
true
false
true
false
false
true
true
true
Author:
Wolfgang Schreiner
Last Modification: October 6, 1999