- existential generalization
- мат. экзистенциальное обобщение
Большой англо-русский и русско-английский словарь. 2001.
existential generalization
Смотреть что такое "existential generalization" в других словарях:
List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… … Wikipedia
Czeslaw Lejewski — (1913 2001) was a polish philosopher and logician, and a member of the Lwow Warsaw School of Logic. He studied under Jan Łukasiewicz, Karl Popper in the London School of Economics, and W.V.O. Quine. [Czeslaw Lejewski, Logic and Existence British… … Wikipedia
Czesław Lejewski — ( 1913–2001 ) was a Polish philosopher and logician, and a member of the Lwow Warsaw School of Logic. He studied under Jan Łukasiewicz and Karl Popper in the London School of Economics, and W.V.O. Quine.[1][2][3] Logic and Existence (1954–5) In… … 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
David Kaplan (philosopher) — For other people of the same name, see David Kaplan (disambiguation). David Benjamin Kaplan (born 1933) is an American philosopher and logician teaching at UCLA. His philosophical work focuses on logic, philosophical logic, modality, philosophy… … Wikipedia
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … 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
Disjunction introduction — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Disjunction elimination — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Modus ponens — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
