تاملي در منطق رياضي (نگرشي تابع ارزشي )

Contemplation upon Truth-functional Version

Material implication is the special relation between components of conditionals, i.e. a conditional is false if its antecedent is true and its consequent is false, otherwise the conditional is true. Therefore every conditional with false antecedent or true consequent is true and no relevance between its components is needed. The paradoxes of material implication raise from this truth-functional version. The essential character of truth-functional view is its violation of impossibility of contradiction. If we replace material implication with the natural one, the problems such as above violation and counter factuals will not occur.