complexType  Logic.type  
diagram
version  
namespace http://www.w3.org/1998/Math/MathML
used by
element     {http://www.w3.org/1998/Math/MathML}:exists {http://www.w3.org/1998/Math/MathML}:forall {http://www.w3.org/1998/Math/MathML}:implies {http://www.w3.org/1998/Math/MathML}:not {http://www.w3.org/1998/Math/MathML}:or {http://www.w3.org/1998/Math/MathML}:xor 
attributes
Name   Type   Use   Default   Fixed   annotation
encoding    xsd:string                
definitionURL    xsd:anyURI                
class    xsd:NMTOKENS                
style    xsd:string                
xref    xsd:IDREF                
id    xsd:ID                
xlink:href    xsd:anyURI                
source <xsd:complexType  name="Logic.type">
<xsd:attributeGroup  ref="Definition.attrib">
</xsd:attributeGroup> <xsd:attributeGroup  ref="Common.attrib">
</xsd:attributeGroup>
</xsd:complexType>