Logical Equivalence
Broschiertes Buch

Logical Equivalence

Versandkostenfrei!
Versandfertig in 6-10 Tagen
19,99 €
inkl. MwSt.
PAYBACK Punkte
10 °P sammeln!
In logic, statements p and q are logically equivalent (shown by symbol) if they have the same logical content. Syntactically, p and q are equivalent if each can be proved from the other. Semantically, p and q are equivalent if they have the same truth value in every model. Logical equivalence is often confused with material equivalence. The former is a statement in the metalanguage, claiming something about statements p and q in the object language. But the material equivalence of p and q (often written p leftrightarrow q) is itself another statement in the object language. There is a relation...