- semantic implication
- мат. семантическая импликация
Большой англо-русский и русско-английский словарь. 2001.
semantic implication
Смотреть что такое "semantic implication" в других словарях:
Semantic Web Rule Language — SWRL (Semantic Web Rule Language) is a proposal for a Semantic Web rules language, combining sublanguages of the OWL Web Ontology Language (OWL DL and Lite) with those of the Rule Markup Language (Unary/Binary Datalog).The specification was… … Wikipedia
implication — Synonyms and related words: absorption, accusal, accusation, accusing, affective meaning, allegation, allegement, allegory, allusion, arcane meaning, arraignability, arraignableness, arraignment, assault, association, assumption, attack, bearing … Moby Thesaurus
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
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Akal — literally timeless, immortal, non temporal, is a term integral to Sikh tradition and philosophy. It is extensively used in the Dasam Granth hymns by Guru Gobind Singh, who titled one of his poetic compositions Akal Ustat , i.e. In Praise (ustati) … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia
Twelfth century (The) — The twelfth century John Marenbon INTRODUCTION The twelfth century began and ended with events which mark it off, at least symbolically, as a discrete period in the history of Western philosophy. It was in about 1100 that Abelard the most wide… … History of philosophy
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Linguistic universal — A linguistic universal is a statement that is true for all natural languages. For example, All languages have nouns and verbs, or All spoken languages have consonants and vowels. Research in this area of linguistics is closely tied to linguistic… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
