public static boolean truePropositionP(Proposition proposition) {
    return ((!proposition.deletedP()) &&
        ((((Boolean)(Logic.$REVERSEPOLARITYp$.get())).booleanValue() ? Proposition.falseP(proposition) : (Proposition.trueP(proposition) ||
        Proposition.functionWithDefinedValueP(proposition)))));
  }