This means that [ heads ] is logically equivalent to [ not tails ], and [ tails ] is equivalent to [ not heads ].
22.
Given the remaining axioms in Hilbert's system, it can be shown that Pasch's axiom is logically equivalent to the plane separation axiom.
23.
This axiom by itself is not logically equivalent to the Euclidean parallel postulate since there are geometries in which one is true and the other is not.
24.
The inverse and the converse of a conditional are logically equivalent to each other, just as the conditional and its contrapositive are logically equivalent to each other.
25.
The inverse and the converse of a conditional are logically equivalent to each other, just as the conditional and its contrapositive are logically equivalent to each other.
26.
The relational algebra and the relational calculus are essentially logically equivalent : for any algebraic expression, there is an equivalent expression in the calculus, and vice versa.
27.
All the programs later in the process that make changes to the netlist also, in theory, ensure that these changes are logically equivalent to a previous version.
28.
A logically equivalent "'transistor matrix "'is still used as the control store or microprogram or'decode ROM'in many modern microprocessors.
29.
Thus the first and second expressions in each pair are logically equivalent, and may be substituted for each other in all contexts that pertain solely to their logical values.
30.
He argued that in Berkeley's case the fallacy is not obvious and this is because one premise is ambiguous between one meaning which is logically equivalent to the conclusion.
