“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.
随便看	pendent Pendleian pen drive dew point dew-point dew-point hygrometer dextral coiling dextral fault dextran dextrin dextro- form dextrorotatory dextrose Dezhurov, Vladimir Nikolaevich (1962– ) df DFBETA DFB laser DFD DFE D flip-flop DFM DFN d-form DFT D galaxy