Sentence examples for substitution of truth from inspiring English sources

A CNF is called propagation complete if after any partial substitution of truth values all logically entailed literals can be inferred from the resulting CNF formula by unit propagation.

A clause is empowering for a CNF if it is an implicate and for some partial substitution of truth values it enlarges the set of entailed literals inferable by unit propagation.

The attempt to turn (7) into a generalization produces nonsense along the lines of "For every x, "x" is true iff x", or requires invocation of truth: "Every substitution instance of the schema ""p" is true iff p" is true".

Substitution of equi-designating signs preserves truth.

Peter Davison's Complete Orwell in 1998 finally reversed these changes which meant, for example, restoring the genuine 'New Hope for the Ruptured' instead of Orwell's substitution 'The Truth about Bad Legs'.

This is especially so since Lewis (1946, 129) denied that analytic truth is usefully elucidated as one that is reducible to logical truth with the substitution of definitions.

Perhaps all the truths of arithmetic could be shown to be analytic by Frege's criterion, i.e., by showing that they could all be converted into logical truths by substitution of synonyms for synonyms.

As the title suggests, at its heart it's the tale of the substitution of reality with "reality," of factual truth with interpretive possibility.

But such a pair of sentences could differ in truth-value, since, for any pair of expressions which differ in reference, there is some pair of sentences which differ only by the substitution of those expressions and differ in truth-value.

If the substitution of 'Clark Kent' for 'Superman' in (1) did preserve truth, as it does in (5), then the truth of (1) (and the fact that 'Clark Kent' and 'Superman' are co-designating) would entail (4).

If they don't denote the same object, then there is no reason to think that substitution of one name for another would preserve truth.