메소드 | 설명 | |
---|---|---|
ProofStepChainContrapositive ( |
||
getJustification ( ) : String | ||
getPredecessorSteps ( ) : List |
||
getProof ( ) : String |
public ProofStepChainContrapositive ( |
||
contrapositive | ||
contrapositiveOf | ||
리턴 | System |