The implication of the mathematical logic is not the scientific abstract of sufficient conditionalrelation, thus an implication paradox appears.
数理逻辑中的实质蕴涵不是充分条件关系的科学抽象，从而产生蕴涵怪论。
2
"But for" rule is adopted to judge conditionalrelation, but there are various rules to judge correspond such as subjective theory, objective theory etc.
The thesis holds the view that conditional conjunction words can express conditionalrelation logically and are grammar part which are of linking function.