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

orthonegation

Logic

In a deductive system $L$ with conjunction and disjunction connectives $\land$ and $\lor$ , respectively, a unary connective that is both a De Morgan negation (i.e., is involutive and satisfies De Morgan’s laws) and obeys the principle of explosion.
- • $φ, \neg φ ⊢_{L} ψ$
It can be inferred from this that orthonegations also satisfy the law of excluded middle:
- • $ψ ⊢_{L} φ \lor \neg φ$
Orthonegation arises when negation is given truth conditions in terms of incompatibility (or orthogonality) between states, so that $\neg φ$ is true at a state $w$ precisely when for every state $w^{'}$ at which $φ$ is true, $w$ and $w^{'}$ are incompatible, i.e., $w ⊥ w^{'}$ .

单词	orthonegation
释义	orthonegation Logic In a deductive system $L$ with conjunction and disjunction connectives $\land$ and $\lor$ , respectively, a unary connective that is both a De Morgan negation (i.e., is involutive and satisfies De Morgan’s laws) and obeys the principle of explosion. • $φ, \neg φ ⊢_{L} ψ$ It can be inferred from this that orthonegations also satisfy the law of excluded middle: • $ψ ⊢_{L} φ \lor \neg φ$ Orthonegation arises when negation is given truth conditions in terms of incompatibility (or orthogonality) between states, so that $\neg φ$ is true at a state $w$ precisely when for every state $w^{'}$ at which $φ$ is true, $w$ and $w^{'}$ are incompatible, i.e., $w ⊥ w^{'}$ .
随便看	Dellingr Delmontian delocalization Delors Report Delphi Delphinus Del Rio, Andrès Manuel delta Delta Aquariid meteors delta bonding delta-brass Delta Cephei star delta circuit partial eta-squared partial evaluation partial fractions partial fractions expansion partial function partial least squares partial likelihood partial logic partially miscible liquids partially ordered set partially permeable membrane partial melting