group
Content-logic.class
diagram
version
namespace
http://www.w3.org/1998/Math/MathML
children
and
or
xor
not
exists
forall
implies
used by
{}:
ContExpr.class
source
<
xsd:group
name
="
Content-logic.class
"
>
<
xsd:choice
>
<
xsd:element
ref
="
and
"
>
<
/
xsd:element
>
<
xsd:element
ref
="
or
"
>
<
/
xsd:element
>
<
xsd:element
ref
="
xor
"
>
<
/
xsd:element
>
<
xsd:element
ref
="
not
"
>
<
/
xsd:element
>
<
xsd:element
ref
="
exists
"
>
<
/
xsd:element
>
<
xsd:element
ref
="
forall
"
>
<
/
xsd:element
>
<
xsd:element
ref
="
implies
"
>
<
/
xsd:element
>
<
/
xsd:choice
>
<
/
xsd:group
>