“self-implication”的概念、定义、翻译、参考文献-科学参考

self-implication

Logic

Where $\to$ is a conditional connective, the axiom scheme:
- • $φ \to φ$
Self-implication is sometimes described as the related notion of the identity axiom.
Although instances of this scheme are theorems of many deductive systems, self-implication is not universally valid. For example, when $\to$ is the material conditional, $φ \to φ$ is equivalent to $φ \lor \neg φ$ , i.e., the principle of excluded middle, which fails in many logics whose semantics have truth value gaps.

单词	self-implication
释义	self-implication Logic Where $\to$ is a conditional connective, the axiom scheme: • $φ \to φ$ Self-implication is sometimes described as the related notion of the identity axiom. Although instances of this scheme are theorems of many deductive systems, self-implication is not universally valid. For example, when $\to$ is the material conditional, $φ \to φ$ is equivalent to $φ \lor \neg φ$ , i.e., the principle of excluded middle, which fails in many logics whose semantics have truth value gaps.
随便看	Tempel–Tuttle Tempel–Tuttle, Comet 55P/ temperament temperate temperate climate temperate glacier temperate zone temperature temperature coefficient temperature coefficient of resistance temperature distribution with depth temperature-entropy diagram temperature gradient temperature-independent paramagnetism temperature inversion temperature log temperature minimum temperature range temperature saturation temperature scales temperature sensitivity temperature–composition diagram tempering TEMPEST TEMPEST-D