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

constructible falsity

Logic

A property holding of a deductive system $L$ with a negation $\neg$ whenever the following conditions hold for any formulae $φ$ and $ψ$ :
1. 1 if $⊢_{L} \neg (φ \land ψ)$ , then either $⊢_{L} \neg φ$ or $⊢_{L} \neg ψ$
2. 2 if $⊢_{L} \neg \forall x φ (x)$ and $x$ is the only free variable in $φ (x)$ , then there exists a method of constructing a term $t$ such that $⊢_{L} \neg φ (t)$
The feature is dual to the intuitionistic disjunction property and existence property.

单词	constructible falsity
释义	constructible falsity Logic A property holding of a deductive system $L$ with a negation $\neg$ whenever the following conditions hold for any formulae $φ$ and $ψ$ : 1 if $⊢_{L} \neg (φ \land ψ)$ , then either $⊢_{L} \neg φ$ or $⊢_{L} \neg ψ$ 2 if $⊢_{L} \neg \forall x φ (x)$ and $x$ is the only free variable in $φ (x)$ , then there exists a method of constructing a term $t$ such that $⊢_{L} \neg φ (t)$ The feature is dual to the intuitionistic disjunction property and existence property.
随便看	pyrrole pyrrolidine pyruvic acid Pythagoras Pythagoras (500 bc) Pythagoras (b. c.570) Pythagoras’ Theorem Pythagoras’ theorem Pythagorean triple Python python Pyxis PYY p-zone Páez, José Antonio (1790–1873) Péclet number Pérez de Cuéllar, Javier (1920–2020) Pétain, H. O. (1856–1951) Pólya distribution Pólya, György ‘George’ (1887–1985) Pólya's urn model Příbram meteorite Q Q10 Q8