析取命题与制析命题

Disjunctive Proposition and Possible Enumerate Compatible Disjunction Proposotion

纯真值的析取命题与不相容析取命题的真值取决于其肢命题的真值,是其肢命题的真值的真值函数,都具有第一依赖性,其真值表就是铁证。而非纯真值的制析命题、反制析命题和不制析命题的真值不是其肢命题的真值的真值函数,可由非纯真值的充分条件假言联结(制约)词"若,则"来刻划,因而具有第一独立性,有时具有两个独立性。

Truth of the disjunction of purve value and incompatible disjunctive proposition depend on the truth of sub-proposition.They are truth function of the sub-proposition,have the first dependence.Its truth table is irrefurtable evidence.However,truth of non-pure truth possible enumerate compatible disjunction proposition and are not truth function of the sub-proposition.They could carve stroke with hypothetical join word（entailment）＂if＂.So they have first independence,have two independences sometimes.