17 relations: Classical logic, Contraposition, Double negation, Equisatisfiability, Europe, Formal system, France, If and only if, Logic, Logical biconditional, Logical consequence, Logical equality, Metalanguage, Non-classical logic, Semantics, Structure (mathematical logic), Truth value.
Classical logic
Classical logic (or standard logic) is an intensively studied and widely used class of formal logics.
New!!: Logical equivalence and Classical logic · See more »
Contraposition
In logic, contraposition is an inference that says that a conditional statement is logically equivalent to its contrapositive.
New!!: Logical equivalence and Contraposition · See more »
Double negation
In propositional logic, double negation is the theorem that states that "If a statement is true, then it is not the case that the statement is not true." This is expressed by saying that a proposition A is logically equivalent to not (not-A), or by the formula A ≡ ~(~A) where the sign ≡ expresses logical equivalence and the sign ~ expresses negation.
New!!: Logical equivalence and Double negation · See more »
Equisatisfiability
In logic, two formulae are equisatisfiable if the first formula is satisfiable whenever the second is and vice versa; in other words, either both formulae are satisfiable or both are not.
New!!: Logical equivalence and Equisatisfiability · See more »
Europe
Europe is a continent located entirely in the Northern Hemisphere and mostly in the Eastern Hemisphere.
New!!: Logical equivalence and Europe · See more »
Formal system
A formal system is the name of a logic system usually defined in the mathematical way.
New!!: Logical equivalence and Formal system · See more »
France
France, officially the French Republic (République française), is a sovereign state whose territory consists of metropolitan France in Western Europe, as well as several overseas regions and territories.
New!!: Logical equivalence and France · See more »
If and only if
In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements.
New!!: Logical equivalence and If and only if · See more »
Logic
Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.
New!!: Logical equivalence and Logic · See more »
Logical biconditional
In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting "P if and only if Q", where P is an antecedent and Q is a consequent.
New!!: Logical equivalence and Logical biconditional · See more »
Logical consequence
Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements.
New!!: Logical equivalence and Logical consequence · See more »
Logical equality
Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus.
New!!: Logical equivalence and Logical equality · See more »
Metalanguage
Broadly, any metalanguage is language or symbols used when language itself is being discussed or examined.
New!!: Logical equivalence and Metalanguage · See more »
Non-classical logic
Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic.
New!!: Logical equivalence and Non-classical logic · See more »
Semantics
Semantics (from σημαντικός sēmantikós, "significant") is the linguistic and philosophical study of meaning, in language, programming languages, formal logics, and semiotics.
New!!: Logical equivalence and Semantics · See more »
Structure (mathematical logic)
In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it.
New!!: Logical equivalence and Structure (mathematical logic) · See more »
Truth value
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.
New!!: Logical equivalence and Truth value · See more »
Redirects here:
Equivalence (logic), Logically equal, Logically equivalent, Logically equivolent.