A | PropLogicCore, PropLogic |
allDirectSubfalsifiers | DefaultPropLogic, PropLogic |
allDirectSubvalidators | DefaultPropLogic, PropLogic |
allPairs | FastPropLogic, PropLogic |
allValuators | DefaultPropLogic, PropLogic |
appleBasketDistribution | PropLogicTest, PropLogic |
apply | DefaultPropLogic, PropLogic |
at | PropLogicCore, PropLogic |
atomForm | FastPropLogic, PropLogic |
atoms | PropLogicCore, PropLogic |
atomSize | DefaultPropLogic, PropLogic |
averageLineLength | PropLogicTest, PropLogic |
axiom_criterion_for_equivalence | PropLogicTest, PropLogic |
axiom_reflexivity_of_subvalence | PropLogicTest, PropLogic |
axiom_transitivity_of_subvalence | PropLogicTest, PropLogic |