0%

17-letter words containing c, o, r, e, d, u

  • multi-directional — extending or operating in several directions at the same time; functioning or going in more than one direction: a multidirectional stereo speaker system.
  • muscle dysmorphia — a mental disorder primarily affecting males, characterized by obsessions about a perceived lack of muscularity, leading to compulsive exercising, use of anabolic steroids, etc. Compare body dysmorphic disorder.
  • natural deduction — (logic)   A set of rules expressing how valid proofs may be constructed in predicate logic. In the traditional notation, a horizontal line separates premises (above) from conclusions (below). Vertical ellipsis (dots) stand for a series of applications of the rules. "T" is the constant "true" and "F" is the constant "false" (sometimes written with a LaTeX \perp). "^" is the AND (conjunction) operator, "v" is the inclusive OR (disjunction) operator and "/" is NOT (negation or complement, normally written with a LaTeX \neg). P, Q, P1, P2, etc. stand for propositions such as "Socrates was a man". P[x] is a proposition possibly containing instances of the variable x, e.g. "x can fly". A proof (a sequence of applications of the rules) may be enclosed in a box. A boxed proof produces conclusions that are only valid given the assumptions made inside the box, however, the proof demonstrates certain relationships which are valid outside the box. For example, the box below labelled "Implication introduction" starts by assuming P, which need not be a true proposition so long as it can be used to derive Q. Truth introduction: - T (Truth is free). Binary AND introduction: ----------- | . | . | | . | . | | Q1 | Q2 | ----------- Q1 ^ Q2 (If we can derive both Q1 and Q2 then Q1^Q2 is true). N-ary AND introduction: ---------------- | . | .. | . | | . | .. | . | | Q1 | .. | Qn | ---------------- Q1^..^Qi^..^Qn Other n-ary rules follow the binary versions similarly. Quantified AND introduction: --------- | x . | | . | | Q[x] | --------- For all x . Q[x] (If we can prove Q for arbitrary x then Q is true for all x). Falsity elimination: F - Q (Falsity opens the floodgates). OR elimination: P1 v P2 ----------- | P1 | P2 | | . | . | | . | . | | Q | Q | ----------- Q (Given P1 v P2, if Q follows from both then Q is true). Exists elimination: Exists x . P[x] ----------- | x P[x] | | . | | . | | Q | ----------- Q (If Q follows from P[x] for arbitrary x and such an x exists then Q is true). OR introduction 1: P1 ------- P1 v P2 (If P1 is true then P1 OR anything is true). OR introduction 2: P2 ------- P1 v P2 (If P2 is true then anything OR P2 is true). Similar symmetries apply to ^ rules. Exists introduction: P[a] ------------- Exists x.P[x] (If P is true for "a" then it is true for all x). AND elimination 1: P1 ^ P2 ------- P1 (If P1 and P2 are true then P1 is true). For all elimination: For all x . P[x] ---------------- P[a] (If P is true for all x then it is true for "a"). For all implication introduction: ----------- | x P[x] | | . | | . | | Q[x] | ----------- For all x . P[x] -> Q[x] (If Q follows from P for arbitrary x then Q follows from P for all x). Implication introduction: ----- | P | | . | | . | | Q | ----- P -> Q (If Q follows from P then P implies Q). NOT introduction: ----- | P | | . | | . | | F | ----- / P (If falsity follows from P then P is false). NOT-NOT: //P --- P (If it is not the case that P is not true then P is true). For all implies exists: P[a] For all x . P[x] -> Q[x] ------------------------------- Q[a] (If P is true for given "a" and P implies Q for all x then Q is true for a). Implication elimination, modus ponens: P P -> Q ---------- Q (If P and P implies Q then Q). NOT elimination, contradiction: P /P ------ F (If P is true and P is not true then false is true).
  • nonproductiveness — The quality of being nonproductive.
  • nuclear radiation — Physics. radiation in the form of elementary particles emitted by an atomic nucleus, as alpha rays or gamma rays, produced by decay of radioactive substances or by nuclear fission.
  • nuclear threshold — the point in war at which a combatant brings nuclear weapons into use
  • nursery education — education provided at a school for young children, usually from three to five years old
  • orfeo ed euridice — an opera (1762), with music by Christoph Willibald von Gluck.
  • outside broadcast — An outside broadcast is a radio or television programme that is not recorded or filmed in a studio, but in another building or in the open air.
  • performance drugs — the drugs that are taken illegally by athletes to enhance their sporting performance
  • periodic function — a function of a real or complex variable that is periodic.
  • police procedural — a mystery novel, film, or television drama that deals realistically with police work.
  • prescription drug — medication available only on doctor's instruction
  • primary education — junior, elementary schooling
  • private education — education provided by a private individual or organization, rather than by the state or a public body
  • product placement — Product placement is a form of advertising in which a company has its product placed where it can be clearly seen during a film or television programme.
  • production number — a specialty number or routine, usually performed by the entire cast consisting of musicians, singers, dancers, stars, etc., of a musical comedy, vaudeville show, or the like.
  • production system — (programming)   A production system consists of a collection of productions (rules), a working memory of facts and an algorithm, known as forward chaining, for producing new facts from old. A rule becomes eligible to "fire" when its conditions match some set of elements currently in working memory. A conflict resolution strategy determines which of several eligible rules (the conflict set) fires next. A condition is a list of symbols which represent constants, which must be matched exactly; variables which bind to the thing they match and "<> symbol" which matches a field not equal to symbol. Example production systems are OPS5, CLIPS, flex.
  • production values — the quality of a media production (such as a film) in regards to elements such as colours, quality, style, etc
  • pseudo-democratic — pertaining to or of the nature of democracy or a democracy.
  • pseudo-historical — of, pertaining to, treating, or characteristic of history or past events: historical records; historical research.
  • pseudo-moralistic — a person who teaches or inculcates morality.
  • pyroligneous acid — a yellowish, acidic, water-soluble liquid, containing about 10 percent acetic acid, obtained by the destructive distillation of wood: used for smoking meats.
  • quattuordecillion — a cardinal number represented in the U.S. by 1 followed by 45 zeros, and in Great Britain by 1 followed by 84 zeros.
  • quick on the draw — having fast reflexes
  • radioluminescence — luminescence induced by nuclear radiation.
  • recreation ground — an open space for public recreation, esp one in a town, with swings and slides, etc, for children
  • recreational drug — drug taken for pleasure
  • reduce to silence — If someone or something reduces you to silence, they make you feel so upset or confused that you cannot speak.
  • reduction formula — a formula, such as sin (90° ± A) = cos A, expressing the values of a trigonometric function of any angle greater than 90° in terms of a function of an acute angle
  • refuse destructor — someone responsible for or something that destructs or destroys rubbish and waste
  • reproductive cell — gamete.
  • rheumatoid factor — an antibody that is found in the blood of many persons afflicted with rheumatoid arthritis and that reacts against globulins in the blood.
  • road-fund licence — a licence showing that the tax payable in respect of a motor vehicle has been paid
  • round-trip ticket — a ticket entitling a passenger to travel to his or her destination and back again
  • sb could do worse — If you tell someone that they could do worse than do a particular thing, you are advising them that it would be quite a good thing to do.
  • secondary product — a product that is not the main product of an industry; a by-product
  • secondary quality — one of the qualities attributed by the mind to an object perceived, such as color, temperature, or taste.
  • self-introduction — the act of introducing or the state of being introduced.
  • self-reproduction — the act or process of reproducing.
  • sodium bichromate — a red or orange crystalline, water-soluble solid, Na 2 Cr 2 O 7 ⋅2H 2 O, used as an oxidizing agent in the manufacture of dyes and inks, as a corrosion inhibitor, a mordant, a laboratory reagent, in the tanning of leather, and in electroplating.
  • sodium dichromate — a red or orange crystalline, water-soluble solid, Na 2 Cr 2 O 7 ⋅2H 2 O, used as an oxidizing agent in the manufacture of dyes and inks, as a corrosion inhibitor, a mordant, a laboratory reagent, in the tanning of leather, and in electroplating.
  • sound spectrogram — a graphic representation, produced by a sound spectrograph, of the frequency, intensity, duration, and variation with time of the resonance of a sound or series of sounds.
  • spectrum disorder — any of a group of disorders each having symptoms that occur on a continuum and certain features that are shared along its spectrum but that manifest in markedly different forms and degrees. See also autism spectrum disorder.
  • stannous chloride — a white, crystalline, water-soluble solid, SnCl 2 ⋅2H 2 O, used chiefly as a reducing and tinning agent, and as a mordant in dyeing with cochineal.
  • stockbroker tudor — a modern style of architecture popular in affluent suburban areas that is imitative of Tudor architecture
  • sulfonyl chloride — a colorless liquid, SO 2 Cl 2 , having a very pungent odor and corrosive to the skin and mucous membranes: used as a chlorinating or sulfonating agent.
  • sunday observance — the fact of keeping Sunday as a special day when people go to church
  • superaerodynamics — the branch of aerodynamics that deals with gases at very low densities.
  • superconductivity — the phenomenon of almost perfect conductivity shown by certain substances at temperatures approaching absolute zero. The recent discovery of materials that are superconductive at temperatures hundreds of degrees above absolute zero raises the possibility of revolutionary developments in the production and transmission of electrical energy.
Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?