In logic, a relation that holds between two propositions when they are linked as antecedent and consequent of a true conditionalproposition.
在逻辑中,指两个命题被归为真实条件命题的前因与后果时二者之间的关系。
2
From the proposition that humanitarianism is not the value element of the penalty, we can conclude that the abolishment of penalty for advocating the idea of humanitarian is conditional.