Sentence examples for identity substitution from inspiring English sources

But then, by identity substitution, εP ∈ #Q.

But Frege, in effect, noticed the following counterexample to the Principle of Identity Substitution.

So the Principle of Identity Substitution appears to break down in the context of propositional attitude reports.

This explains why the Principle of Identity Substitution fails for terms following the propositional attitude verbs in propositional attitude reports.

The identity substitution is denoted by ({ id}.)(Ssigma ) represents the capture-free operation of substituting (S alpha )) for each free occurrence of type variable (alpha ) in (sigma. Stheta ) and sets of types and constraints are defined analogously.

Moving in the other direction, McGee (1996) shows that every permutation-invariant operation can be defined in terms of operations with an intuitively logical character (identity, substitution of variables, finite or infinite disjunction, negation, and finite or infinite existential quantification).

On the other hand, the identity of substitution did not seem to be critical in other cases (e.g., most mutations affecting the helical linker connecting the DH and PH domain), indicating a crucial role for the amino acid residue being replaced.

For any two proteins P1 and P2, the similarity score between them was defined as: Sim (P1,P2) = (number of identities or substitutions / total aligned length including gaps).

Although the method used here is computationally simple (the ratio of identities or substitutions to global alignment length) it effectively models the sharing of homologous exons between isoforms as these align with each other.

What is left in the underlying language, with identity excised, are substitution rules (Tractatus 6.23).

Redundancy is assessed at full-sequence identity (maximum one substitution per sequence) over the entire sequence (+/− leading Met residue).