-
1 дедуктивно несовместное множество
Русско-английский научно-технический словарь Масловского > дедуктивно несовместное множество
-
2 дедуктивно несовместное множество
Mathematics: deductively inconsistent set (дедуктивно противоречивое)Универсальный русско-английский словарь > дедуктивно несовместное множество
См. также в других словарях:
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
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
Customary law in South Africa — South African customary law refers to that usually uncodified legal system developed and practiced by the indigenous communities of South Africa. Customary law has been defined as an established system of immemorial rules [...] evolved from the… … Wikipedia
List of fallacies — For specific popular misconceptions, see List of common misconceptions. A fallacy is incorrect argumentation in logic and rhetoric resulting in a lack of validity, or more generally, a lack of soundness. Contents 1 Formal fallacies 1.1… … Wikipedia
Cosmological argument — The cosmological argument is an argument for the existence of a First Cause (or instead, an Uncaused cause) to the universe, and by extension is often used as an argument for the existence of an unconditioned or supreme being, usually then… … Wikipedia
Completeness — In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 … Wikipedia
Actor model — In computer science, the Actor model is a mathematical model of concurrent computation that treats actors as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions … Wikipedia
Pythagoreans and Eleatics — Edward Hussey PYTHAGORAS AND THE EARLY PYTHAGOREANS Pythagoras, a native of Samos, emigrated to southern Italy around 520, and seems to have established himself in the city of Croton. There he founded a society of people sharing his beliefs and… … History of philosophy
Lorentz ether theory — What is now called Lorentz Ether theory ( LET ) has its roots in Hendrik Lorentz s Theory of electrons , which was the final point in the development of the classical aether theories at the end of the 19th and at the beginning of the 20th century … Wikipedia
Aristotle’s logic and metaphysics — Alan Code PART 1: LOGICAL WORKS OVERVIEW OF ARISTOTLE’S LOGIC The Aristotelian logical works are referred to collectively using the Greek term ‘Organon’. This is a reflection of the idea that logic is a tool or instrument of, though not… … History of philosophy