- Logical equivalent
Logical equivalent may refer to:
*logical equivalence
*exclusive nor , a logic gate
Wikimedia Foundation. 2010.
Logical equivalent
Look at other dictionaries:
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
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 q is a hypothesis (or antecedent) and p is a conclusion (or… … Wikipedia
Logical equivalence — In logic, statements p and q are logically equivalent 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… … Wikipedia
Logical equality — For the corresponding concept in combinational logic, see XNOR gate. XNOR Logic Gate Symbol Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It… … Wikipedia
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
Logical effort — The method of logical effort, a term coined by Ivan Sutherland and Robert Sproull in 1991, is a straightforward technique used to estimate delay in a CMOS circuit. Used properly, it can aid in selection of gates for a given function (including… … Wikipedia
Logical form (linguistics) — In the field of linguistics, specifically in syntax, logical form (abbreviated LF ), refers to a certain level of mental representation of a linguistic expression, derived from surface structure. LF is the semantic equivalent of phonetic form… … Wikipedia
equivalent — adjective Etymology: Middle English, from Middle French or Late Latin; Middle French, from Late Latin aequivalent , aequivalens, present participle of aequivalēre to have equal power, from Latin aequi + valēre to be strong more at wield Date:… … New Collegiate Dictionary
Logical symbols — Reading logical symbolism frightens many people more than it should. The very term symbolic logic sounds terrifying, and the presence of even a small amount of symbolism may deter many readers from otherwise perfectly intelligible texts. The… … Philosophy dictionary
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
