English-Wörter für 'proof of a logical theorem'
Oben finden Sie Wörter zu "proof of a logical theorem". Bewegen Sie den Fokus oder Mauszeiger auf ein Wort, um die Definition anzuzeigen.
Suchergebnisse
verb
- prove formally; demonstrate by a mathematical, formal proof
- be shown or be found to be
- obtain probate of
- establish the validity of something, as by an example, explanation or experiment
- cause to puff up with a leaven
- provide evidence for
- put to the test, as for its quality, or give experimental use to
- take a trial impression of
- increase in volume
- Alternative form of proof (“allow (dough) to rise; test the activeness of (yeast); pressure-test (a firearm)”).
- (copulative) To turn out to be.
- (homeopathy) To determine by experiment which effects a substance causes when ingested.
- (transitive) To ascertain or establish the genuineness or validity of; to verify.
- (intransitive) To turn out; to manifest.
- simple past of proove
- (transitive) To put to the test, to make trial of.
- (transitive) To demonstrate that something is true or viable; to give proof for; to bear out; to testify.
noun
noun
- (mathematics) Initialism of probabilistically checkable proof.
- (medicine) Abbreviation of pneumocystis pneumonia.
- (finance) Initialism of personal contract purchase.
- (organic chemistry) Abbreviation of pentachlorophenol.
- (biochemistry) Initialism of peptidyl carrier protein.
- (healthcare) Initialism of primary care practitioner (who may be a physician, a physician assistant, or a nurse practitioner).
- (chemistry) Abbreviation of phenylcyclohexylpiperidine, an alternative name for phencyclidine.
- (psychology) Initialism of personal construct psychology.
- (healthcare) Initialism of primary care physician.
- a drug used as an anesthetic by veterinarians; illicitly taken (originally in the form of powder or ‘dust’) for its effects as a hallucinogen
- a person who helps in identifying or preventing or treating illness or disability
name
noun
- a means of proving a theorem by showing that if it is true of any particular case, it is true of the next case in a series, and then showing that it is indeed true in one particular case.
- (mathematics) A method of proof which, in terms of a predicate P, could be stated as: if P(0) is true and if for any natural number n>0, P(n) implies P(n+1), then P(n) is true for any natural number n.
noun
- (mathematics) A method of proof of a theorem by first proving it for a specific case (often an integer; usually 0 or 1) and showing that, if it is true for one case then it must be true for the next.
- An act of inducting.
- (embryology) Given a group of cells that emits or displays a substance, the influence of this substance on the fate of a second group of cells.
- (logic) Derivation of general principles from specific instances.
- (mechanical engineering) The delivery of air to the cylinders of an internal combustion piston engine.
- The process of showing a newcomer around a place where they will work or study.
- (theater) Use of rumors to twist and complicate the plot of a play or to narrate in a way that does not have to state truth nor fact within the play.
- A formal ceremony in which a person is appointed to an office or into military service.
- An act of inducing.
- (physics) Generation of an electric current by a varying magnetic field.
- (medicine) The process of inducing labour for the childbirth process.
- stimulation that calls up (draws forth) a particular class of behaviors
- an electrical phenomenon whereby an electromotive force (EMF) is generated in a closed circuit by a change in the flow of current
- an act that sets in motion some course of events
- a formal entry into an organization or position or office
- reasoning from detailed facts to general principles
- the act of bringing about something (especially at an early time)
noun
- proof by a process of argument or a series of proposition proving an asserted conclusion
- (mathematics, philosophy) A proof.
- a public display of group feelings (usually of a political nature)
- a show of military force or preparedness
- a show or display; the act of presenting something to sight or view
- a visual presentation showing how something works
- A show of military force.
- Expression of one's feelings by outward signs.
- An event at which something will be demonstrated.
- A public display of group opinion, such as a protest march.
- The act of demonstrating; showing or explaining something.
- (prison slang) A prisoner's act of beating up another prisoner.
noun
- proof by a process of argument or a series of proposition proving an asserted conclusion
- (Roman Catholic Church) a vessel (usually of gold or silver) in which the consecrated Host is exposed for adoration
- (Christianity) An ornamental, often precious receptacle, either open or with a transparent cover, in which the sacramental bread (consecrated host) is placed for Eucharistic adoration.
noun
name
phrase
noun
- (countable, logic) Proof by deduction from known truths.
- (countable) Decomposition into components in order to study (a complex thing, concept, theory, etc.).
- (countable, analytical chemistry, physical chemistry) The process of breaking down a substance into its constituent parts, or the result of this process.
- (uncountable, mathematics) A broad field of study in modern mathematics (often mentioned alongside algebra) which developed out of the calculus, concerned with the behavior of functions, sequences, series, limits, metric spaces, measures and more.
- (uncountable, music) The analytical study of melodies, harmonies, sequences, repetitions, variations, quotations, juxtapositions, and surprises.
- (countable) The result of such a process.
- (countable, psychology) Psychoanalysis.
- the abstract separation of a whole into its constituent parts in order to study the parts and their relations
- a branch of mathematics involving calculus and the theory of limits; sequences and series and integration and differentiation
- the use of closed-class words instead of inflections: e.g., ‘the father of the bride’ instead of ‘the bride's father’
- a set of techniques for exploring underlying motives and a method of treating various mental disorders; based on the theories of Sigmund Freud
- a form of literary criticism in which the structure of a piece of writing is analyzed
- an investigation of the component parts of a whole and their relations in making up the whole
noun
- (mathematics) A formal proof: a sequence of statements, each of which is logically entailed by those preceding (with respect to some collection of rules of inference), the initial statements being taken as axioms.
- (grammar) Forming a new word by changing the base of another word or by adding affixes to it.
- A leading or drawing off of water from a stream or source.
- The process of deriving one thing from another, especially in logic; a deduction.
- That which is derived; a derivative; the result of a deduction.
- The act of receiving anything from a source; the act of procuring an effect from a cause, means, or condition, as profits from capital, conclusions or opinions from evidence.
- The state or method of being derived; the relation of origin when established or asserted.
- (mathematics, differential algebra) An algebraic generalization of the derivative operator (from its natural setting in the ring of real-valued functions) to a general associative algebra over a field. Formally, (given an algebra A over a field K) a K-linear endomorphism that satisfies Leibnitz's Law.
- Any of several generalizations of this notion: a Hasse–Schmidt derivation, a graded derivation, etc.
- (medicine, historical) A drawing of humors or fluids from one part of the body to another, to relieve or lessen a morbid process.
- (genealogy, linguistics) The act of tracing origin or descent; an instance thereof (for example, an etymology).
- (mathematics, calculus) The process of application of the derivative operator to a function, yielding another function called the derived function of the first.
- That from which a thing is derived.
- (descriptive linguistics) the process whereby new words are formed from existing words or bases by affixation
- drawing of fluid or inflammation away from a diseased part of the body
- inherited properties shared with others of your bloodline
- a line of reasoning that shows how a conclusion follows logically from accepted propositions
- (historical linguistics) an explanation of the historical origins of a word or phrase
- the source or origin from which something derives (i.e. comes or issues)
- the act of deriving something or obtaining something from a source or origin
- drawing off water from its main channel as for irrigation
noun
- an argument that assumes that which is to be proved
- (logic) A fallacy in which the premise is used to prove a conclusion which is then used to prove the premise.
- one trouble leads to another that aggravates the first
- A situation in which the response to one problem creates a chain of problems, each making it more difficult to solve the original one.
noun
- (logic) an inference that follows directly from the proof of another proposition
- (mathematics, logic) A proposition which follows easily from the statement or proof of another proposition.
- a practical consequence that follows naturally
- An a fortiori occurrence, as a result of another effort without significant additional effort.
- A gift beyond what is actually due; an addition or superfluity.
adj
noun
- (mathematics) A proposition proved or accepted for immediate use in the proof of some other proposition.
- (psycholinguistics) The theoretical abstract conceptual form of a word, representing a specific meaning, before the creation of a specific phonological form as the sounds of a lexeme, which may find representation in a specific written form as a dictionary or lexicographic word.
- (linguistics, lexicography) The canonical form of an inflected word; i.e., the form usually found as the headword in a dictionary, such as the nominative singular of a noun, the bare infinitive of a verb, etc.
- (in phrases, by extension) A proposition originally used for such a purpose, but having later acquired a greater, independent, importance; a fundamental (often pithy) and widely-used result.
- (botany) The outer shell of a fruit or similar body.
- (botany) One of the specialized bracts around the floret in grasses.
- the lower and stouter of the two glumes immediately enclosing the floret in most Gramineae
- the heading that indicates the subject of an annotation or a literary composition or a dictionary entry
- a subsidiary proposition that is assumed to be true in order to prove another proposition
noun
name
noun
- (mathematics, logic) The method of disproving a statement by assuming the statement is true and, with that assumption, arriving at a blatant contradiction.
- (reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd; or a proof of a proposition by showing that its negation leads to a contradiction
noun
- (logic) Of a proposition or theorem consisting of a statement of the form "If A is true, then B is true", the statement "If B is true, then A is true" which need not be equivalent to the first one.
- (graph theory) Synonym of transpose.
- (now literary) Free verbal interchange of thoughts or views; conversation; chat.
- The opposite or reverse.
- (semantics) One of a pair of terms that name or describe a relationship from opposite perspectives; converse antonym; relational antonym.
- a proposition obtained by conversion
adj
verb
noun
- (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
- a saying that is widely accepted on its own merits
- (philosophy) A seemingly self-evident or necessary truth which is based on assumption; a principle or proposition which cannot actually be proved or disproved.
- An established principle in some artistic practice or science that is universally received.
- (logic, mathematics, proof theory) A fundamental assumption that serves as a basis for deduction of theorems; a postulate (sometimes distinguished from postulates as being universally applicable, whereas postulates are particular to a certain science or context).
noun
- (countable, mathematics) An assertion which is provably true, but not important enough to be called a theorem.
- (countable, logic) The content of an assertion that may be taken as being true or false and is considered abstractly without reference to the linguistic sentence that constitutes the assertion; (Aristotelian logic) a predicate of a subject that is denied or affirmed and is connected by a copula.
- (countable) An idea, plan, or suggestion offered.
- (grammar) A complete sentence.
- (uncountable) The act of offering (an idea) for consideration.
- (poetic) The part of a poem in which the author states the subject or matter of it.
- (countable, business settings) The terms of a transaction offered.
- (countable, US, politics) In some states, a proposed statute or constitutional amendment to be voted on by the electorate.
- A statement of religious doctrine; an article of faith; a creed.
- (informal) A suggestion of sexual intercourse (made to someone with whom one is not sexually involved).
- Misspelling of preposition.
- (countable, mathematics, philosophy) An assertion so formulated that it can be considered true or false.
- a task to be dealt with
- an offer for a private bargain (especially a request for sexual favors)
- (logic) a statement that affirms or denies something and is either true or false
- a proposal offered for acceptance or rejection
- the act of making a proposal
verb
adj
- (logic) Of the characteristic feature of a proposition that is necessary (or impossible): perfectly certain (or inconceivable) or incontrovertibly true (or false); self-evident.
- Affording proof; demonstrative.
- of a proposition; necessarily true or logically certain
- Incontrovertible; demonstrably true or certain.
noun
- (logic) a statement that is necessarily true
- useless and pointless repetition
- (uncountable) Redundant use of words, a pleonasm, an unnecessary and tedious repetition.
- (countable, logic, propositional logic) A statement that is true for all truth values of its propositional variables.
- (countable, logic, first-order logic) A statement that is true for all truth values of its Boolean atoms.
- (countable) An expression that features tautology.
noun
- (mathematics) A proof, axiom, problem, or definition that includes another's cases, and also some additional cases; a conclusion reached by inferring from specific cases to more general cases or principles.
- The formulation of general concepts from specific instances by abstracting common properties.
- An oversimplified or exaggerated conception, opinion, or image of the members of a group.
- Inductive reasoning from detailed facts to general principles.
- An act or instance of generalizing; concluding that something true of a subclass is true of the entire class.
- an idea or conclusion having general application
- (psychology) transfer of a response learned to one stimulus to a similar stimulus
- reasoning from detailed facts to general principles
- the process of formulating general concepts by abstracting common properties of instances
adj
- (mathematics, logic, of a proof) Not employing the law of the excluded middle or argument by contradiction.
- In the line of descent; not collateral.
- Proceeding without deviation or interruption.
- Straightforward; sincere.
- Straight; not crooked, oblique, or circuitous; leading by the short or shortest way to a point or end.
- (astronomy) In the direction of the general planetary motion, or from west to east; in the order of the signs; not retrograde; said of the motion of a celestial body.
- (aviation, travel) Having a single flight number.
- (political science) Pertaining to, or effected immediately by, action of the people through their votes instead of through one or more representatives or delegates.
- Immediate; express; plain; unambiguous.
- straightforward in means or manner or behavior or language or action
- in precisely the same words used by a writer or speaker
- being an immediate result or consequence
- in a straight unbroken line of descent from parent to child
- moving from west to east on the celestial sphere; or — for planets — around the sun in the same direction as the Earth
- similar in nature or effect or relation to another quantity
- direct in spatial dimensions; proceeding without deviation or interruption; straight and short
- having no intervening persons, agents, conditions
- lacking compromising or mitigating elements
- (of a current) flowing in one direction only
adv
verb
- To aim (something) at (something else).
- To manage, control, steer.
- To point out to or show (somebody) the right course or way; to guide, as by pointing out the way; to refer.
- To point out to with authority; to instruct as a superior; to order.
- direct the course; determine the direction of travelling
- guide the actors in (plays and films)
- plan and direct (a complex undertaking)
- specifically design a product, event, or activity for a certain public
- take somebody somewhere
- govern or manage
- point or cause to go (blows, weapons, or objects such as photographic equipment) towards
- lead, as in the performance of a composition
- cause to go somewhere
- command with authority
- put an address on (an envelope)
- intend (something) to move towards a certain goal
- give directions to; point somebody into a certain direction
adj
- (mathematics) Self-evident.
- (taxonomy) Relating to or designating the name of a species; specific as opposed to generic.
- Pertaining to the trivium.
- (algebra, of an algebraic structure or ideal thereof) Containing only one element; having an underlying set which is a singleton.
- Commonplace, ordinary.
- (philosophy) Indistinguishable in case of truth or falsity.
- Concerned with or involving trivia.
- (mathematics) Of, relating to, or being the simplest possible case.
- Ignorable; of little significance or value.
- of little substance or significance
- concerned with trivialities
- (informal) small and of little importance
noun
- (logic) The property (of an argument) of not only being valid, but also of having true premises.
- (uncountable) The state or quality of being sound.
- (logic) The property of a logical theory that whenever a wff is a theorem then it must also be valid. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T⊢φ is true, then T⊨φ must also be true, for any wff φ of logic L.
- (countable) The result or product of being sound.
- the muscle tone of healthy tissue
- the quality of being prudent and sensible
- a state or condition free from damage or decay
noun
- (figuratively) A demonstration, an example, a proof.
- (UK) A channel or passage of water between sandbanks, or between a sandbank and a seashore.
- (figuratively) A clump or portion of something.
- A selection of such samples bound together.
- A piece, pattern, or sample, generally of cloth or a similar material.
- a sample piece of cloth
verb
noun
- (logic) a proposition that is true if and only if another proposition is false
- a negative statement; a statement that is a refusal or denial of some other statement
- the speech act of negating
- (logic) The logical operation which obtains such (negated) propositions.
- (logic, countable) A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition/insertion of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".)
- (uncountable) The act of negating something.
- (countable) A denial or contradiction.
noun
- the cognitive process of establishing a valid proof
- the persons (or committees or departments etc.) who make up a body for the purpose of administering something
- the act of forming or establishing something
- (ecology) the process by which a plant or animal becomes established in a new habitat
- any large organization
- an organization founded and united for a specific purpose
- a public or private structure (business or governmental or educational) including buildings and equipment for business or residence
- The number of staff required to run a department or organisation (often used in the context of healthcare and other public services).
- (Christianity) The institution and official status of a church as a state church, especially that of the Church of England and historically of Ireland.
- The ruling class or authority group in a society; especially, an entrenched authority dedicated to preserving the status quo.
- That which is established; as a form of government, a permanent organization, business or force, or the place where one is permanently fixed for residence.
- The act or process of establishing; a ratifying or ordaining; settlement; confirmation.
- The state of being established, founded, etc.; fixed state.
noun
- the cognitive process of establishing a valid proof
- the act of validating; finding or testing the truth of something
- Something, such as a certificate, that validates something; attestation, authentication, confirmation, proof or verification.
- The process whereby others confirm the validity of one's emotions or perspective.
- The act of validating something.
- (US) The process of identifying a new prisoner's gang affiliation.
noun
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice.
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
- (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
- a system of reasoning
- the branch of philosophy that analyzes inference
- the system of operations performed by a computer that underlies the machine's representation of logical operations
- the principles that guide reasoning within a given field or situation
- reasoned and reasonable judgment
adj
verb
noun
adj
- Of or relating to military operations that are smaller or more local than strategic ones.
- Adroit, skilful or ingenious.
- (firearms) Having a military appearance, typically with accessories such as a bipod, adjustable stock, detachable magazine or black coloration.
- Of or relating to tactics.
- of or pertaining to tactic or tactics
noun
- (countable, logic, mathematics) A sequence of statements consisting of axioms, assumptions, statements already demonstrated in another proof, and statements that logically follow from previous statements in the sequence, and which concludes with a statement that is the object of the proof.
- (countable) An effort, process, or operation designed to establish or discover a fact or truth; an act of testing; a test; a trial.
- (uncountable) The degree of evidence which convinces the mind of any truth or fact, and produces belief; a test by facts or arguments which induce, or tend to induce, certainty of the judgment; conclusive evidence; demonstration.
- The quality or state of having been proved or tried; firmness or hardness which resists impression, or does not yield to force; impenetrability of physical bodies.
- (countable, mathematics) A process for testing the accuracy of an operation performed. Compare prove, transitive verb, 5.
- (countable, printing) A proof sheet; a trial impression, as from type, taken for correction or examination.
- (numismatics) A limited-run high-quality strike of a particular coin, originally as a test run, although nowadays mostly for collectors' sets.
- (US) A measure of the alcohol content of liquor. Originally, in Britain, 100 proof was defined as 57.1% by volume (no longer used). In the US, 100 proof means that the alcohol content is 50% of the total volume of the liquid; thus, perfectly pure absolute alcohol would be 200 proof.
- a measure of alcoholic strength expressed as an integer twice the percentage of alcohol present (by volume)
- a formal series of statements showing that if one thing is true something else necessarily follows from it
- (printing) an impression made to check for errors
- the act of validating; finding or testing the truth of something
- a trial photographic print from a negative
- any factual evidence that helps to establish the truth of something
adj
verb
- (transitive, firearms) To test-fire with a load considerably more powerful than the firearm in question's rated maximum chamber pressure, in order to establish the firearm's ability to withstand pressures well in excess of those expected in service without bursting.
- (transitive, intransitive, colloquial) To proofread.
- (transitive, baking) To allow (yeast-containing dough) to rise, especially after it has been shaped
- (transitive) To make resistant, especially to water.
- (transitive, baking) To test the activeness of (yeast).
- knead to reach proper lightness
- make or take a proof of, such as a photographic negative, an etching, or typeset
- make resistant (to harm)
- activate by mixing with water and sometimes sugar or milk
- read for errors
noun
- a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
- (logic) The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set. Verbal equivalents include "there exists" and "there is".
noun
- (logic) Something self-evident that can be assumed as the basis of an argument.
- The act of postulating or something postulated.
- a formal message requesting something that is submitted to an authority
- (logic) a declaration of something self-evident; something that can be assumed as the basis for argument
noun
- A form of logical fallacy in which a proposition that is required to prove another proposition can only be proved by means of assuming the truth of the proposition one is trying to prove; circular reasoning.
- A set of all possible pairs of items from a specified set of items, especially when used for a study of diallel crosses.
adj
adj
- (logic) Of an argument: whose conclusion is always true whenever its premises are true.
- (Christianity, theology) Genuine - as distinguished from efficient or regular - sacrament.
- Acceptable, proper or correct; in accordance with the rules.
- Well-grounded or justifiable, pertinent.
- Related to the current topic, or presented within context, relevant.
- (logic) Of a formula or system: such that it evaluates to true regardless of the input values.
- still legally acceptable
- well grounded in logic or truth or having legal force
verb
- prove false
- make false by mutilation or addition; as of a message or story
- falsify knowingly
- insert words into texts, often falsifying it thereby
- tamper, with the purpose of deception
- To counterfeit; to forge.
- (sciences, otherwise archaic) To prove to be false.
- (accounting) To show (an item of charge inserted in an account) to be wrong.
- To alter so as to make false; especially when done with intent to deceive.
- To misrepresent.
noun
- an argument that is conclusive
- a tool used to clinch nails or bolts or rivets
- a point or fact or remark that settles something conclusively
- That which clinches; that which makes something final or firm; a decisive factor.
- (cycling) A tyre with a bead around the edge to attach to the rim of the wheel when inflated.
noun
- an argument that is conclusive
- a determining or causal element or factor
- one of a limited class of noun modifiers that determine the referents of noun phrases
- Someone or something (especially a sentient agent) that determines; a decider of a disposition.
- A dependent function in a noun phrase that marks it as definite or indefinite. This function is usually filled by words in the determinative class but may be filled by other elements such as a genitive pronoun.
- A member of a class of words functioning in a noun phrase to identify or distinguish a referent without describing or modifying it.
- A factor that defines something, or one among several that define it.
noun
- (mathematics) Initialism of probabilistically checkable proof.
- (medicine) Abbreviation of pneumocystis pneumonia.
- (finance) Initialism of personal contract purchase.
- (organic chemistry) Abbreviation of pentachlorophenol.
- (biochemistry) Initialism of peptidyl carrier protein.
- (healthcare) Initialism of primary care practitioner (who may be a physician, a physician assistant, or a nurse practitioner).
- (chemistry) Abbreviation of phenylcyclohexylpiperidine, an alternative name for phencyclidine.
- (psychology) Initialism of personal construct psychology.
- (healthcare) Initialism of primary care physician.
- a drug used as an anesthetic by veterinarians; illicitly taken (originally in the form of powder or ‘dust’) for its effects as a hallucinogen
- a person who helps in identifying or preventing or treating illness or disability
name
noun
- a means of proving a theorem by showing that if it is true of any particular case, it is true of the next case in a series, and then showing that it is indeed true in one particular case.
- (mathematics) A method of proof which, in terms of a predicate P, could be stated as: if P(0) is true and if for any natural number n>0, P(n) implies P(n+1), then P(n) is true for any natural number n.
noun
- (mathematics) A method of proof of a theorem by first proving it for a specific case (often an integer; usually 0 or 1) and showing that, if it is true for one case then it must be true for the next.
- An act of inducting.
- (embryology) Given a group of cells that emits or displays a substance, the influence of this substance on the fate of a second group of cells.
- (logic) Derivation of general principles from specific instances.
- (mechanical engineering) The delivery of air to the cylinders of an internal combustion piston engine.
- The process of showing a newcomer around a place where they will work or study.
- (theater) Use of rumors to twist and complicate the plot of a play or to narrate in a way that does not have to state truth nor fact within the play.
- A formal ceremony in which a person is appointed to an office or into military service.
- An act of inducing.
- (physics) Generation of an electric current by a varying magnetic field.
- (medicine) The process of inducing labour for the childbirth process.
- stimulation that calls up (draws forth) a particular class of behaviors
- an electrical phenomenon whereby an electromotive force (EMF) is generated in a closed circuit by a change in the flow of current
- an act that sets in motion some course of events
- a formal entry into an organization or position or office
- reasoning from detailed facts to general principles
- the act of bringing about something (especially at an early time)
noun
- proof by a process of argument or a series of proposition proving an asserted conclusion
- (mathematics, philosophy) A proof.
- a public display of group feelings (usually of a political nature)
- a show of military force or preparedness
- a show or display; the act of presenting something to sight or view
- a visual presentation showing how something works
- A show of military force.
- Expression of one's feelings by outward signs.
- An event at which something will be demonstrated.
- A public display of group opinion, such as a protest march.
- The act of demonstrating; showing or explaining something.
- (prison slang) A prisoner's act of beating up another prisoner.
noun
- proof by a process of argument or a series of proposition proving an asserted conclusion
- (Roman Catholic Church) a vessel (usually of gold or silver) in which the consecrated Host is exposed for adoration
- (Christianity) An ornamental, often precious receptacle, either open or with a transparent cover, in which the sacramental bread (consecrated host) is placed for Eucharistic adoration.
noun
name
phrase
noun
- (countable, logic) Proof by deduction from known truths.
- (countable) Decomposition into components in order to study (a complex thing, concept, theory, etc.).
- (countable, analytical chemistry, physical chemistry) The process of breaking down a substance into its constituent parts, or the result of this process.
- (uncountable, mathematics) A broad field of study in modern mathematics (often mentioned alongside algebra) which developed out of the calculus, concerned with the behavior of functions, sequences, series, limits, metric spaces, measures and more.
- (uncountable, music) The analytical study of melodies, harmonies, sequences, repetitions, variations, quotations, juxtapositions, and surprises.
- (countable) The result of such a process.
- (countable, psychology) Psychoanalysis.
- the abstract separation of a whole into its constituent parts in order to study the parts and their relations
- a branch of mathematics involving calculus and the theory of limits; sequences and series and integration and differentiation
- the use of closed-class words instead of inflections: e.g., ‘the father of the bride’ instead of ‘the bride's father’
- a set of techniques for exploring underlying motives and a method of treating various mental disorders; based on the theories of Sigmund Freud
- a form of literary criticism in which the structure of a piece of writing is analyzed
- an investigation of the component parts of a whole and their relations in making up the whole
noun
- (mathematics) A formal proof: a sequence of statements, each of which is logically entailed by those preceding (with respect to some collection of rules of inference), the initial statements being taken as axioms.
- (grammar) Forming a new word by changing the base of another word or by adding affixes to it.
- A leading or drawing off of water from a stream or source.
- The process of deriving one thing from another, especially in logic; a deduction.
- That which is derived; a derivative; the result of a deduction.
- The act of receiving anything from a source; the act of procuring an effect from a cause, means, or condition, as profits from capital, conclusions or opinions from evidence.
- The state or method of being derived; the relation of origin when established or asserted.
- (mathematics, differential algebra) An algebraic generalization of the derivative operator (from its natural setting in the ring of real-valued functions) to a general associative algebra over a field. Formally, (given an algebra A over a field K) a K-linear endomorphism that satisfies Leibnitz's Law.
- Any of several generalizations of this notion: a Hasse–Schmidt derivation, a graded derivation, etc.
- (medicine, historical) A drawing of humors or fluids from one part of the body to another, to relieve or lessen a morbid process.
- (genealogy, linguistics) The act of tracing origin or descent; an instance thereof (for example, an etymology).
- (mathematics, calculus) The process of application of the derivative operator to a function, yielding another function called the derived function of the first.
- That from which a thing is derived.
- (descriptive linguistics) the process whereby new words are formed from existing words or bases by affixation
- drawing of fluid or inflammation away from a diseased part of the body
- inherited properties shared with others of your bloodline
- a line of reasoning that shows how a conclusion follows logically from accepted propositions
- (historical linguistics) an explanation of the historical origins of a word or phrase
- the source or origin from which something derives (i.e. comes or issues)
- the act of deriving something or obtaining something from a source or origin
- drawing off water from its main channel as for irrigation
noun
- an argument that assumes that which is to be proved
- (logic) A fallacy in which the premise is used to prove a conclusion which is then used to prove the premise.
- one trouble leads to another that aggravates the first
- A situation in which the response to one problem creates a chain of problems, each making it more difficult to solve the original one.
noun
- (logic) an inference that follows directly from the proof of another proposition
- (mathematics, logic) A proposition which follows easily from the statement or proof of another proposition.
- a practical consequence that follows naturally
- An a fortiori occurrence, as a result of another effort without significant additional effort.
- A gift beyond what is actually due; an addition or superfluity.
adj
noun
- (mathematics) A proposition proved or accepted for immediate use in the proof of some other proposition.
- (psycholinguistics) The theoretical abstract conceptual form of a word, representing a specific meaning, before the creation of a specific phonological form as the sounds of a lexeme, which may find representation in a specific written form as a dictionary or lexicographic word.
- (linguistics, lexicography) The canonical form of an inflected word; i.e., the form usually found as the headword in a dictionary, such as the nominative singular of a noun, the bare infinitive of a verb, etc.
- (in phrases, by extension) A proposition originally used for such a purpose, but having later acquired a greater, independent, importance; a fundamental (often pithy) and widely-used result.
- (botany) The outer shell of a fruit or similar body.
- (botany) One of the specialized bracts around the floret in grasses.
- the lower and stouter of the two glumes immediately enclosing the floret in most Gramineae
- the heading that indicates the subject of an annotation or a literary composition or a dictionary entry
- a subsidiary proposition that is assumed to be true in order to prove another proposition
noun
name
noun
- (mathematics, logic) The method of disproving a statement by assuming the statement is true and, with that assumption, arriving at a blatant contradiction.
- (reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd; or a proof of a proposition by showing that its negation leads to a contradiction
noun
- (logic) Of a proposition or theorem consisting of a statement of the form "If A is true, then B is true", the statement "If B is true, then A is true" which need not be equivalent to the first one.
- (graph theory) Synonym of transpose.
- (now literary) Free verbal interchange of thoughts or views; conversation; chat.
- The opposite or reverse.
- (semantics) One of a pair of terms that name or describe a relationship from opposite perspectives; converse antonym; relational antonym.
- a proposition obtained by conversion
adj
verb
noun
- (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
- a saying that is widely accepted on its own merits
- (philosophy) A seemingly self-evident or necessary truth which is based on assumption; a principle or proposition which cannot actually be proved or disproved.
- An established principle in some artistic practice or science that is universally received.
- (logic, mathematics, proof theory) A fundamental assumption that serves as a basis for deduction of theorems; a postulate (sometimes distinguished from postulates as being universally applicable, whereas postulates are particular to a certain science or context).
noun
- (countable, mathematics) An assertion which is provably true, but not important enough to be called a theorem.
- (countable, logic) The content of an assertion that may be taken as being true or false and is considered abstractly without reference to the linguistic sentence that constitutes the assertion; (Aristotelian logic) a predicate of a subject that is denied or affirmed and is connected by a copula.
- (countable) An idea, plan, or suggestion offered.
- (grammar) A complete sentence.
- (uncountable) The act of offering (an idea) for consideration.
- (poetic) The part of a poem in which the author states the subject or matter of it.
- (countable, business settings) The terms of a transaction offered.
- (countable, US, politics) In some states, a proposed statute or constitutional amendment to be voted on by the electorate.
- A statement of religious doctrine; an article of faith; a creed.
- (informal) A suggestion of sexual intercourse (made to someone with whom one is not sexually involved).
- Misspelling of preposition.
- (countable, mathematics, philosophy) An assertion so formulated that it can be considered true or false.
- a task to be dealt with
- an offer for a private bargain (especially a request for sexual favors)
- (logic) a statement that affirms or denies something and is either true or false
- a proposal offered for acceptance or rejection
- the act of making a proposal
verb
noun
- (logic) a statement that is necessarily true
- useless and pointless repetition
- (uncountable) Redundant use of words, a pleonasm, an unnecessary and tedious repetition.
- (countable, logic, propositional logic) A statement that is true for all truth values of its propositional variables.
- (countable, logic, first-order logic) A statement that is true for all truth values of its Boolean atoms.
- (countable) An expression that features tautology.
noun
- (mathematics) A proof, axiom, problem, or definition that includes another's cases, and also some additional cases; a conclusion reached by inferring from specific cases to more general cases or principles.
- The formulation of general concepts from specific instances by abstracting common properties.
- An oversimplified or exaggerated conception, opinion, or image of the members of a group.
- Inductive reasoning from detailed facts to general principles.
- An act or instance of generalizing; concluding that something true of a subclass is true of the entire class.
- an idea or conclusion having general application
- (psychology) transfer of a response learned to one stimulus to a similar stimulus
- reasoning from detailed facts to general principles
- the process of formulating general concepts by abstracting common properties of instances
noun
- (logic) The property (of an argument) of not only being valid, but also of having true premises.
- (uncountable) The state or quality of being sound.
- (logic) The property of a logical theory that whenever a wff is a theorem then it must also be valid. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T⊢φ is true, then T⊨φ must also be true, for any wff φ of logic L.
- (countable) The result or product of being sound.
- the muscle tone of healthy tissue
- the quality of being prudent and sensible
- a state or condition free from damage or decay
noun
- (figuratively) A demonstration, an example, a proof.
- (UK) A channel or passage of water between sandbanks, or between a sandbank and a seashore.
- (figuratively) A clump or portion of something.
- A selection of such samples bound together.
- A piece, pattern, or sample, generally of cloth or a similar material.
- a sample piece of cloth
verb
noun
- (logic) a proposition that is true if and only if another proposition is false
- a negative statement; a statement that is a refusal or denial of some other statement
- the speech act of negating
- (logic) The logical operation which obtains such (negated) propositions.
- (logic, countable) A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition/insertion of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".)
- (uncountable) The act of negating something.
- (countable) A denial or contradiction.
noun
- the cognitive process of establishing a valid proof
- the persons (or committees or departments etc.) who make up a body for the purpose of administering something
- the act of forming or establishing something
- (ecology) the process by which a plant or animal becomes established in a new habitat
- any large organization
- an organization founded and united for a specific purpose
- a public or private structure (business or governmental or educational) including buildings and equipment for business or residence
- The number of staff required to run a department or organisation (often used in the context of healthcare and other public services).
- (Christianity) The institution and official status of a church as a state church, especially that of the Church of England and historically of Ireland.
- The ruling class or authority group in a society; especially, an entrenched authority dedicated to preserving the status quo.
- That which is established; as a form of government, a permanent organization, business or force, or the place where one is permanently fixed for residence.
- The act or process of establishing; a ratifying or ordaining; settlement; confirmation.
- The state of being established, founded, etc.; fixed state.
noun
- the cognitive process of establishing a valid proof
- the act of validating; finding or testing the truth of something
- Something, such as a certificate, that validates something; attestation, authentication, confirmation, proof or verification.
- The process whereby others confirm the validity of one's emotions or perspective.
- The act of validating something.
- (US) The process of identifying a new prisoner's gang affiliation.
noun
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice.
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
- (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
- a system of reasoning
- the branch of philosophy that analyzes inference
- the system of operations performed by a computer that underlies the machine's representation of logical operations
- the principles that guide reasoning within a given field or situation
- reasoned and reasonable judgment
adj
verb
noun
adj
- Of or relating to military operations that are smaller or more local than strategic ones.
- Adroit, skilful or ingenious.
- (firearms) Having a military appearance, typically with accessories such as a bipod, adjustable stock, detachable magazine or black coloration.
- Of or relating to tactics.
- of or pertaining to tactic or tactics
noun
- (countable, logic, mathematics) A sequence of statements consisting of axioms, assumptions, statements already demonstrated in another proof, and statements that logically follow from previous statements in the sequence, and which concludes with a statement that is the object of the proof.
- (countable) An effort, process, or operation designed to establish or discover a fact or truth; an act of testing; a test; a trial.
- (uncountable) The degree of evidence which convinces the mind of any truth or fact, and produces belief; a test by facts or arguments which induce, or tend to induce, certainty of the judgment; conclusive evidence; demonstration.
- The quality or state of having been proved or tried; firmness or hardness which resists impression, or does not yield to force; impenetrability of physical bodies.
- (countable, mathematics) A process for testing the accuracy of an operation performed. Compare prove, transitive verb, 5.
- (countable, printing) A proof sheet; a trial impression, as from type, taken for correction or examination.
- (numismatics) A limited-run high-quality strike of a particular coin, originally as a test run, although nowadays mostly for collectors' sets.
- (US) A measure of the alcohol content of liquor. Originally, in Britain, 100 proof was defined as 57.1% by volume (no longer used). In the US, 100 proof means that the alcohol content is 50% of the total volume of the liquid; thus, perfectly pure absolute alcohol would be 200 proof.
- a measure of alcoholic strength expressed as an integer twice the percentage of alcohol present (by volume)
- a formal series of statements showing that if one thing is true something else necessarily follows from it
- (printing) an impression made to check for errors
- the act of validating; finding or testing the truth of something
- a trial photographic print from a negative
- any factual evidence that helps to establish the truth of something
adj
verb
- (transitive, firearms) To test-fire with a load considerably more powerful than the firearm in question's rated maximum chamber pressure, in order to establish the firearm's ability to withstand pressures well in excess of those expected in service without bursting.
- (transitive, intransitive, colloquial) To proofread.
- (transitive, baking) To allow (yeast-containing dough) to rise, especially after it has been shaped
- (transitive) To make resistant, especially to water.
- (transitive, baking) To test the activeness of (yeast).
- knead to reach proper lightness
- make or take a proof of, such as a photographic negative, an etching, or typeset
- make resistant (to harm)
- activate by mixing with water and sometimes sugar or milk
- read for errors
noun
- a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
- (logic) The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set. Verbal equivalents include "there exists" and "there is".
noun
- (logic) Something self-evident that can be assumed as the basis of an argument.
- The act of postulating or something postulated.
- a formal message requesting something that is submitted to an authority
- (logic) a declaration of something self-evident; something that can be assumed as the basis for argument
noun
- A form of logical fallacy in which a proposition that is required to prove another proposition can only be proved by means of assuming the truth of the proposition one is trying to prove; circular reasoning.
- A set of all possible pairs of items from a specified set of items, especially when used for a study of diallel crosses.
adj
noun
- an argument that is conclusive
- a tool used to clinch nails or bolts or rivets
- a point or fact or remark that settles something conclusively
- That which clinches; that which makes something final or firm; a decisive factor.
- (cycling) A tyre with a bead around the edge to attach to the rim of the wheel when inflated.
noun
- an argument that is conclusive
- a determining or causal element or factor
- one of a limited class of noun modifiers that determine the referents of noun phrases
- Someone or something (especially a sentient agent) that determines; a decider of a disposition.
- A dependent function in a noun phrase that marks it as definite or indefinite. This function is usually filled by words in the determinative class but may be filled by other elements such as a genitive pronoun.
- A member of a class of words functioning in a noun phrase to identify or distinguish a referent without describing or modifying it.
- A factor that defines something, or one among several that define it.
verb
- prove formally; demonstrate by a mathematical, formal proof
- be shown or be found to be
- obtain probate of
- establish the validity of something, as by an example, explanation or experiment
- cause to puff up with a leaven
- provide evidence for
- put to the test, as for its quality, or give experimental use to
- take a trial impression of
- increase in volume
- Alternative form of proof (“allow (dough) to rise; test the activeness of (yeast); pressure-test (a firearm)”).
- (copulative) To turn out to be.
- (homeopathy) To determine by experiment which effects a substance causes when ingested.
- (transitive) To ascertain or establish the genuineness or validity of; to verify.
- (intransitive) To turn out; to manifest.
- simple past of proove
- (transitive) To put to the test, to make trial of.
- (transitive) To demonstrate that something is true or viable; to give proof for; to bear out; to testify.
noun
verb
- prove false
- make false by mutilation or addition; as of a message or story
- falsify knowingly
- insert words into texts, often falsifying it thereby
- tamper, with the purpose of deception
- To counterfeit; to forge.
- (sciences, otherwise archaic) To prove to be false.
- (accounting) To show (an item of charge inserted in an account) to be wrong.
- To alter so as to make false; especially when done with intent to deceive.
- To misrepresent.
adj
- (logic) Of the characteristic feature of a proposition that is necessary (or impossible): perfectly certain (or inconceivable) or incontrovertibly true (or false); self-evident.
- Affording proof; demonstrative.
- of a proposition; necessarily true or logically certain
- Incontrovertible; demonstrably true or certain.
adj
- (mathematics, logic, of a proof) Not employing the law of the excluded middle or argument by contradiction.
- In the line of descent; not collateral.
- Proceeding without deviation or interruption.
- Straightforward; sincere.
- Straight; not crooked, oblique, or circuitous; leading by the short or shortest way to a point or end.
- (astronomy) In the direction of the general planetary motion, or from west to east; in the order of the signs; not retrograde; said of the motion of a celestial body.
- (aviation, travel) Having a single flight number.
- (political science) Pertaining to, or effected immediately by, action of the people through their votes instead of through one or more representatives or delegates.
- Immediate; express; plain; unambiguous.
- straightforward in means or manner or behavior or language or action
- in precisely the same words used by a writer or speaker
- being an immediate result or consequence
- in a straight unbroken line of descent from parent to child
- moving from west to east on the celestial sphere; or — for planets — around the sun in the same direction as the Earth
- similar in nature or effect or relation to another quantity
- direct in spatial dimensions; proceeding without deviation or interruption; straight and short
- having no intervening persons, agents, conditions
- lacking compromising or mitigating elements
- (of a current) flowing in one direction only
adv
verb
- To aim (something) at (something else).
- To manage, control, steer.
- To point out to or show (somebody) the right course or way; to guide, as by pointing out the way; to refer.
- To point out to with authority; to instruct as a superior; to order.
- direct the course; determine the direction of travelling
- guide the actors in (plays and films)
- plan and direct (a complex undertaking)
- specifically design a product, event, or activity for a certain public
- take somebody somewhere
- govern or manage
- point or cause to go (blows, weapons, or objects such as photographic equipment) towards
- lead, as in the performance of a composition
- cause to go somewhere
- command with authority
- put an address on (an envelope)
- intend (something) to move towards a certain goal
- give directions to; point somebody into a certain direction
adj
- (mathematics) Self-evident.
- (taxonomy) Relating to or designating the name of a species; specific as opposed to generic.
- Pertaining to the trivium.
- (algebra, of an algebraic structure or ideal thereof) Containing only one element; having an underlying set which is a singleton.
- Commonplace, ordinary.
- (philosophy) Indistinguishable in case of truth or falsity.
- Concerned with or involving trivia.
- (mathematics) Of, relating to, or being the simplest possible case.
- Ignorable; of little significance or value.
- of little substance or significance
- concerned with trivialities
- (informal) small and of little importance
noun
- (logic) an inference that follows directly from the proof of another proposition
- (mathematics, logic) A proposition which follows easily from the statement or proof of another proposition.
- a practical consequence that follows naturally
- An a fortiori occurrence, as a result of another effort without significant additional effort.
- A gift beyond what is actually due; an addition or superfluity.
adj
adj
- (logic) Of an argument: whose conclusion is always true whenever its premises are true.
- (Christianity, theology) Genuine - as distinguished from efficient or regular - sacrament.
- Acceptable, proper or correct; in accordance with the rules.
- Well-grounded or justifiable, pertinent.
- Related to the current topic, or presented within context, relevant.
- (logic) Of a formula or system: such that it evaluates to true regardless of the input values.
- still legally acceptable
- well grounded in logic or truth or having legal force