- universal generalization
- мат. универсальное обобщение
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Universal quantification — In predicate logic, universal quantification is an attempt to formalize the notion that something (a logical predicate) is true for everything , or every relevant thing.The resulting statement is a universally quantified statement, and we have… … Wikipedia
Generalization (logic) — Generalization is an inference rule of predicate calculus which states that:: If vdash P(x) is true (valid) then so is vdash forall x , P(x) . Generalization can be abbreviated as GEN. The inference rule can be summarized as the sequent: P(x)… … Wikipedia
Universal algebra — (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ( models ) of algebraic structures.For instance, rather than take particular groups as the object of study, in universal… … Wikipedia
Universal law of generalization — The universal law of generalization is a theory of cognition originally posited by Roger Shepard. According to it, the probability that a response to one stimulus will be generalized to another will be a function of the distance between the two… … Wikipedia
SQ universal group — In mathematics, in the realm of group theory, a countable group is said to be SQ universal if every countable group can be embedded in one of its quotient groups. SQ universality can be thought of as a measure of largeness or complexity of a… … Wikipedia
Basis (universal algebra) — Definitions The basis (or reference frame) of a (universal) algebra is a function b that takes some algebra elements as values b(i) and satisfies either one of the following two equivalent conditions. Here, the set of all b(i) is called basis set … Wikipedia
Newton's law of universal gravitation — Classical mechanics Newton s Second Law History of classical mechanics … Wikipedia
List of rules of inference — This is a list of rules of inference, logical laws that relate to mathematical formulae.IntroductionRules of inference are syntactical transformation rules which one can use to infer a conclusion from a premise to create an argument. A set of… … Wikipedia
List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… … Wikipedia
Conjunction introduction — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Disjunctive syllogism — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia