Sentence examples for logically equivalent from inspiring English sources

Since '∃x:B x)[S x)]' and '∃x[B x) & S x)]' are logically equivalent, logic provides no reason for preferring the latter regimentation of the English sentence.

Peirce, a founder of modern quantified logic, also invented a graphical system, called Existential Graphs, which is logically equivalent to predicate logic.

These pairs of formulas are not logically equivalent in intuitionistic propositional logic (IPL).

In this respect, Justification Logic goes beyond Cresswell's expectations: logically equivalent sentences display different but constructively controlled epistemic behavior.

The key theses of Williamson's counterfactual theory are: Logical Equivalence: metaphysical possibility and necessity can be proven to be logically equivalent to counterfactual conditionals.

Extensionality guarantees that the logic of contraction is extensional in the sense of allowing logically equivalent sentences to be freely substituted for each other.

Because the obverse of any categorical proposition is logically equivalent to it, obversion is a form of immediate inference.

Hence the transition from one sentence to another logically equivalent one is disregarded for the purposes of meaning concepts.

Where Professor Quine had argued that sentences like No. 2 above were unintelligible, the Barcan formula (together with its converse) renders the first and second sentences logically equivalent.

The proposition "All husbands are married," for example, is logically equivalent to the proposition "If something is married and it is male, then it is married".

Logically equivalent claims have the same rank.