Sentence examples for classes of sentences from inspiring English sources

Thus, we get exactly two equivalence classes of sentences, each being a hypostatized representative of one of two classical truth values.

(Note that when theories are classes of sentences, theory A logically entails theory B just in case B is a subset of A).

Furthermore, he emphasized that the falsifiability referred to here "only has to do with the logical structure of sentences and classes of sentences" (Popper [1989] 1994, 82).

The point here is that such analyses can be exploited as a means of bringing data to bear on whole classes of sentences.

We prove our logics can indeed capture simulation and bisimulation, i.e. the existence of a simulation (or bisimulation) is equivalent to the preservation of (or equivalence with respect to) certain classes of sentences.

Hence, given the unsolvability of the halting problem, it follows that, even for the simple class of sentences in the predicate calculus having the quantifiers ∀ ∃ ∀, the decision problem is unsolvable.

Another difficult class of sentences involves statements of probability.

Des Rivières and Levesque (1988) characterize a class of sentences within which these schemes can safely be instantiated.

Second, we prove that the alternative definition is nonetheless correct for reasoning about a large class of sentences, including some that quantify over situations.

We argue that their solution is incomplete, and extend it by characterizing a more inclusive class of sentences over which the axiom schemes can safely range.

(A state-description is a class of sentences satisfying certain conditions. Each state-description represents a possible state of affairs).