- transitivity principle
- мат. принцип транзитивности
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Arrow's impossibility theorem — In social choice theory, Arrow’s impossibility theorem, the General Possibility Theorem, or Arrow’s paradox, states that, when voters have three or more distinct alternatives (options), no voting system can convert the ranked preferences of… … Wikipedia
Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a … Wikipedia
Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… … Wikipedia
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
Existence (Philosophy of) 2 — Philosophy of existence 2 Sartre Thomas R.Flynn Born 21 June 1905, in Thiviers (Dordogne), Jean Paul Sartre was raised in the Parisian home of his widowed mother’s parents. After his mother’s remarriage, he spent several years with her and his… … History of philosophy
Slippery slope — In debate or rhetoric, the slippery slope is one of the classical informal fallacies. It suggests that an action will initiate a chain of events culminating in an undesirable event later without establishing or quantifying the relevant… … Wikipedia
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Algebra of sets — The algebra of sets develops and describes the basic properties and laws of sets, the set theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion. It also provides systematic procedures … Wikipedia
Potentially all pairwise rankings of all possible alternatives — (PAPRIKA) is a method for multi criteria decision making (MCDM) or conjoint analysis based on decision makers’ preferences as expressed using pairwise rankings of alternatives.[1][2] The PAPRIKA method – implemented via a specific type of… … 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
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium