메소드 | 설명 | |
---|---|---|
ConjunctiveProposition ( IProposition left, IProposition right ) : System | ||
holds ( Object>.Map |
||
toString ( ) : String |
public ConjunctiveProposition ( IProposition left, IProposition right ) : System | ||
left | IProposition | |
right | IProposition | |
리턴 | System |