“simplification of disjunctive antecedents”的概念、定义、翻译、参考文献-科学参考

simplification of disjunctive antecedents

Logic

In the context of conditional logics with connectives corresponding to a counterfactual conditional $(□ \to)$ and a material conditional $(\to)$ , the thesis
- • $((φ \lor ψ) □ \to ξ) \to ((φ □ \to ξ) \land (ψ □ \to ξ))$
In formal conditional logics, assuming the validity of the simplification of disjunctive antecedents frequently has unattractive consequences. For example, whenever simplification of disjunctive antecedents is valid in a conditional logic $L$ and the substitution of provable equivalents is an admissible inference of $L$ , the inference of antecedent strengthening—an inference that conditional logic is expected to circumvent—is also admissible in $L$ .

单词	simplification of disjunctive antecedents
释义	simplification of disjunctive antecedents Logic In the context of conditional logics with connectives corresponding to a counterfactual conditional $(□ \to)$ and a material conditional $(\to)$ , the thesis • $((φ \lor ψ) □ \to ξ) \to ((φ □ \to ξ) \land (ψ □ \to ξ))$ In formal conditional logics, assuming the validity of the simplification of disjunctive antecedents frequently has unattractive consequences. For example, whenever simplification of disjunctive antecedents is valid in a conditional logic $L$ and the substitution of provable equivalents is an admissible inference of $L$ , the inference of antecedent strengthening—an inference that conditional logic is expected to circumvent—is also admissible in $L$ .
随便看	epistemic relativism epistemics epistemology epitaxial transistor epitaxy epitheca epithelium epithermal epithermal neutron epitope E-plane EPLD EPM epoch epochs epochē epoietin EPOS EPOXI epoxides epoxyethane epoxy resins Epps, Jeanette (1970– ) EPPT EPR