- deducible sentence
- мат. выводимое предложение
Большой англо-русский и русско-английский словарь. 2001.
deducible sentence
Смотреть что такое "deducible sentence" в других словарях:
Unexpected hanging paradox — The unexpected hanging paradox is an alleged paradox about a prisoner s response to an unusual death sentence. It is alternatively known as the hangman paradox, the fire drill paradox, or the unexpected exam (or pop quiz) paradox.Despite… … Wikipedia
Vienna Circle — The Vienna Circle (in German: der Wiener Kreis) was a group of philosophers who gathered around Moritz Schlick when he was called to the Vienna University in 1922, organized in a philosophical association named Verein Ernst Mach (Ernst Mach… … Wikipedia
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
History of logic — Philosophy ( … Wikipedia
Bernard Bolzano — Bernard (Bernhard) Placidus Johann Nepomuk Bolzano (birth date|1781|10|5|mf=y ndash; December 18, 1848) was a Bohemian mathematician, theologian, philosopher, logician and antimilitarist of German mother tongue.FamilyBolzano was the son of two… … Wikipedia
Indian philosophy — Any of the numerous philosophical systems developed on the Indian subcontinent, including both orthodox (astika) systems, namely, the Nyaya, Vaisheshika, Samkhya, Yoga, Mimamsa, and Vedanta schools of philosophy, and unorthodox (nastika) systems … Universalium
Chinese languages — or Sinitic languages Family of languages comprising one of the two branches of Sino Tibetan. They are spoken by about 95% of the inhabitants of China and by many communities of Chinese immigrants elsewhere. Linguists regard the major dialect… … Universalium
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
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … 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
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium
