Equational Theories
{{Disambiguation ...
Equational may refer to: * Equative, a construction in linguistics * something pertaining to equations, in mathematics * something pertaining to equality, in logic See also * * Equation (other) * Equality (other) Equality may refer to: Society * Political equality, in which all members of a society are of equal standing ** Consociationalism, in which an ethnically, religiously, or linguistically divided state functions by cooperation of each group's elite ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Equative
The term equative (or equational) is used in linguistics to refer to constructions where two entities are equated with each other. For example, the sentence ''Susan Copular verb#English, is our president'', equates two entities "Susan" and "our president". In English, equatives are typically expressed using a Copula (linguistics), copular verb such as "be", although this is not the only use of this verb. Equatives can be contrasted with Predicate (grammar), predicative constructions where one entity is identified as a Set membership, member of a set, such as ''Susan is a president.'' This view has been contrasted by Otto Jespersen in the first part of the XX century and by Giuseppe Longobardi and Andrea Moro in the second. In particular, Andrea Moro in 1988 proved that either demonstrative phrases (DP) must be non referential in the sense of Geach (1962) by exploiting arguments based on binding theory. The idea is that when a DP plays the role of predicate it enlarges its binding dom ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Equation
In mathematics, an equation is a formula that expresses the equality of two expressions, by connecting them with the equals sign . The word ''equation'' and its cognates in other languages may have subtly different meanings; for example, in French an ''équation'' is defined as containing one or more variables, while in English, any well-formed formula consisting of two expressions related with an equals sign is an equation. ''Solving'' an equation containing variables consists of determining which values of the variables make the equality true. The variables for which the equation has to be solved are also called unknowns, and the values of the unknowns that satisfy the equality are called solutions of the equation. There are two kinds of equations: identities and conditional equations. An identity is true for all values of the variables. A conditional equation is only true for particular values of the variables. An equation is written as two expressions, connected by a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Logical Equality
Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It gives the functional value ''true'' if both functional arguments have the same logical value, and '' false'' if they are different. It is customary practice in various applications, if not always technically precise, to indicate the operation of logical equality on the logical operands ''x'' and ''y'' by any of the following forms: :\begin x &\leftrightarrow y & x &\Leftrightarrow y & \mathrm Exy \\ x &\mathrm y & x &= y \end Some logicians, however, draw a firm distinction between a ''functional form'', like those in the left column, which they interpret as an application of a function to a pair of arguments — and thus a mere indication that the value of the compound expression depends on the values of the component expressions — and an ''equational form'', like those in the right column, which they interpret as an as ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Equation (other)
An equation in mathematics is a formula stating that two expressions have the same value. Equation may also refer to: *Chemical equation, a symbolic representation of a chemical reaction *Equation of time, the difference between solar time, as shown by a sundial, and mean time, as shown by a clock that runs at constant speed **Equation clock, a clock that contains a mechanism that embodies the equation of time, so the clock shows solar time *Equation of state, a relationship between physical conditions and the state of a material *Equation (band), an English folk band formed in 1996 *Equation Group, a computer espionage group *"The Equation "The Equation" is the eighth episode of the first season of the American science fiction drama television series ''Fringe''. The episode follows the Fringe team's investigation into the kidnapping of a young musical prodigy ( Charlie Tahan) who ...", a 2008 episode of ''Fringe'' *" quation (Δ''Mi''−1 = −''α''Σ''n''=1''N''''Di'' 'n'' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |