ConjunctiveEG Class

ConjunctiveEG Class

Inherits ContainerGraph; corresponds to the logical And of its immediate subgraphs. Since logical Conjunction is implicit in groupings of EG in an area, this Graph can ordinarily be made or deleted as required.

For a list of all members of this type, see ConjunctiveEG Class Members .

Assembly: EGControlLibrary

EGControlLibrary.ContainerGraph

ConjunctiveEG

Public Class ConjunctiveEG

Inherits EGControlLibrary.ContainerGraph

Implements:
	System.ComponentModel.IComponent
	System.IDisposable
	System.Windows.Forms.IOleControl
	System.Windows.Forms.IOleObject
	System.Windows.Forms.IOleInPlaceObject
	System.Windows.Forms.IOleInPlaceActiveObject
	System.Windows.Forms.IOleWindow
	System.Windows.Forms.IViewObject
	System.Windows.Forms.IViewObject2
	System.Windows.Forms.IPersist
	System.Windows.Forms.IPersistStreamInit
	System.Windows.Forms.IPersistPropertyBag
	System.Windows.Forms.IPersistStorage
	System.Windows.Forms.IQuickActivate
	System.ComponentModel.ISynchronizeInvoke
	System.Windows.Forms.IWin32Window
	System.Windows.Forms.IContainerControl
	Order.IPartiallyComparable
	Order.IPartialComparer

Remarks:

ConjunctiveEG is a ContainerGraph which corresponds to the Conjunction of Logic; this would be a Conjunction of any finite number of propositions; the arguments of the Conjunction are all the separate Graphs on the area of the ConjunctiveEG. Many of the operations of EG can take place without use of the ConjunctiveEG, which permits simultaneous manipulation of a set of Graphs; some Beta operations, however, will require such simultaneous operations, and so the use of the ConjunctiveEG. Although Peirce did not have an explicit Graph corresponding to this Object, its existence is implicit in the permission to treat any set of Graphs on an area as a single Graph which is the conjunction of those graphs.