Examples of Logically Composed Sentences
When a sentence is composed logically, it is unambiguous and its structure is clear.
If an integer k is odd and k3 is positive, then
k is greater than 0.
an integer k is odd and k3 is positive
( ( an integer k is odd ) ∧ ( k3 is positive ) ) →
( k3 is positive )
There is at least one value of an integer variable m such that the equation m3 − 2m + 1 = 0 holds.
∃ m [ m3 − 2m + 1 = 0 ]
For every bit string s,
there exist two bit strings x and y such that s = xy holds.
∀ s [
∃ x [
∃ y [
s = xy ] ] ]