- logical implication
- мат. логическая импликация
Большой англо-русский и русско-английский словарь. 2001.
logical implication
Смотреть что такое "logical implication" в других словарях:
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 implication — noun a logical relation between propositions p and q of the form if p then q ; if p is true then q cannot be false • Syn: ↑implication, ↑conditional relation • Derivationally related forms: ↑implicational (for: ↑implication), ↑imply … Useful english dictionary
logical implication — See entailment, logic, proof … Philosophy dictionary
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
Implication — can refer to:* Logic: ** Logical implication as regarded in mathematical logic. ** Material conditional as regarded in philosophical logic.:* Entailment (pragmatics):Also, in linguistics, there are different specialized related notions::*… … Wikipedia
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 relation — noun a relation between propositions • Topics: ↑logic • Hypernyms: ↑relation • Hyponyms: ↑contradictory, ↑contrary, ↑transitivity, ↑reflexivity … Useful english dictionary
logical entailment — noun see logical implication … Useful english dictionary
Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B … 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
