English-Wörter für 'a notation used in logic.'
Oben finden Sie Wörter zu "a notation used in logic.". Bewegen Sie den Fokus oder Mauszeiger auf ein Wort, um die Definition anzuzeigen.
Suchergebnisse
noun
- A diagram in the field of logic.
- A graphical representation of a program using formal logic.
- Any schematic display of the logical relationships of project activities.
- Any non-spatial, abstract diagram.
- A flow chart of hardware circuits or program logic.
- a graphical representation of a program using formal logic
noun
- (logic) modus tollens
- Initialism of machine translation.
- Initialism of massage therapist.
- (biochemistry) Acronym of microtubule.
- (military, British) Initialism of mechanical transport.
- (US, engineering) Abbreviation of metric ton.
- Alternative form of M/T.
- a unit of weight equivalent to 1000 kilograms
- the use of computers to translate from one language to another
adj
name
noun
- (computing theory) A terminal symbol in a formal grammar.
- A rate charged on all freight, regardless of distance, and supposed to cover the expenses of station service, as distinct from mileage rate, generally proportionate to the distance and intended to cover movement expenses.
- An electric contact on a battery.
- A storage tank for bulk liquids (such as oil or chemicals) prior to further distribution.
- (computing) A device for entering data into a computer or a communications system and/or displaying data received, especially a device equipped with a keyboard and some sort of textual display.
- A harbour facility where ferries embark and disembark passengers and load and unload vehicles.
- (telecommunications) The apparatus to send and/or receive signals on a line, such as a telephone or network device.
- A building in an airport where passengers transfer from ground transportation to the facilities that allow them to board airplanes.
- A rail station where service begins and ends; the end of the line. For example: Grand Central Terminal in New York City.
- A town lying at the end of a railroad, in which the terminal is located; more properly called a terminus.
- (computing) A computer program that emulates a physical terminal.
- (electricity, electronics) The end of a line (wire, cable, etc) where signals or power are either transmitted or received, or a point along the length of a line where the signals or power are made available to apparatus; the hardware attached to the line in this spot, which allows connections to be fastened.
- (biology) The end ramification (of an axon, etc.) or one of the extremities of a polypeptide.
- electronic equipment consisting of a device providing access to a computer; has a keyboard and display
- station where transport vehicles load or unload passengers or goods
- either extremity of something that has length
- a contact on an electrical device (such as a battery) at which electric current enters or leaves
adj
- Appearing at the end; top or apex of a physical object.
- Occurring at the end of a word, sentence, or period of time, and serves to terminate it
- Fatal; resulting in death.
- causing or ending in or approaching death
- being or situated at an end
- of or relating to or situated at the ends of a delivery route
- relating to or occurring in a term or fixed period of time
- occurring at or forming an end or termination
verb
noun
- a system of symbolic logic devised by George Boole; used in computers
- (algebra, logic, computing) Specifically, an algebra in which all elements can take only one of two values (typically 0 and 1, or "true" and "false") and are subject to operations based on AND, OR and NOT
- (algebra) An algebraic structure (Σ,∨,∧,∼,0,1) where ∨ and ∧ are idempotent binary operators, ∼ is a unary involutory operator (called "complement"), and 0 and 1 are nullary operators (i.e., constants), such that (Σ,∨,0) is a commutative monoid, (Σ,∧,1) is a commutative monoid, ∧ and ∨ distribute with respect to each other, and such that combining two complementary elements through one binary operator yields the identity of the other binary operator. (See Boolean algebra (structure)#Axiomatics.)
- (mathematics) The study of such algebras; Boolean logic, classical logic.
noun
adj
name
noun
- (logic) An axiom.
- A fundamental element; a basic principle.
- A requirement; a prerequisite.
- Something assumed without proof as being self-evident or generally accepted, especially when used as a basis for an argument. Sometimes distinguished from axioms as being relevant to a particular science or context, rather than universally true, and following from other axioms rather than being an absolute assumption.
- (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
adj
verb
- (ambitransitive, Christianity, historical) To appoint or request one's appointment to an ecclesiastical office.
- To assume as a truthful or accurate premise or axiom, especially as a basis of an argument.
- take as a given; assume as a postulate or axiom
- maintain or assert
- require as useful, just, or proper
noun
- (mathematics, logic) A variable (occurring within some expression or well-formed formula) which is not bound by a quantifier or analogous symbol (such as a lambda abstractor, the "differential d" near the end of an integral or differential form, or a summation symbol).
- (programming) A variable that is not bound to a storage location.
noun
- (logic) A syntactic expression of a proposition, built up from quantifiers, logical connectives, variables, relation and operation symbols, and, depending on the type of logic, possibly other operators such as modal, temporal, deontic or epistemic ones.
- (mathematics) Any mathematical rule expressed symbolically.
- (chemistry) A symbolic expression of the structure of a compound.
- (chiefly linguistics) A fixed phrase or set of words intended to be interpreted non-literally, typically used attitudinally or as part of convention; a formulation.
- (especially religion) A formal statement of doctrine.
- A formulation; a prescription; a mixture or solution made in a prescribed manner; the identity and quantities of ingredients of such a mixture.
- A plan or method for dealing with a problem or for achieving a result.
- (countable, uncountable) Ellipsis of infant formula, drink given to babies to substitute for mother's milk.
- a representation of a substance using symbols for its constituent elements
- directions for making something
- (mathematics) a standard procedure for solving a class of mathematical problems
- a conventionalized statement expressing some fundamental principle
- a liquid food for infants
- a group of symbols that make a mathematical statement
- something regarded as a normative example
noun
adj
intj
noun
- (mathematics, logic) A statement (of relation) that is true under specified conditions; a mathematical or logical rule.
- The body of such rules that pertain to a particular topic.
- The control and order brought about by the observance of such rules.
- Litigation; legal action (as a means of maintaining or restoring order, redressing wrongs, etc).
- Jurisprudence, the field of knowledge which encompasses these rules.
- (now uncommon) An allowance of distance or time (a head start) given to a weaker (human or animal) competitor in a race, to make the race more fair.
- The profession that deals with such rules (as lawyers, judges, police officers, etc).
- Any statement of the relation of acts and conditions to their consequences.
- A binding regulation or custom established in a community in this way.
- A statement (in physics, etc) of an (observed, established) order or sequence or relationship of phenomena which is invariable under certain conditions. (Compare theory.)
- (aviation) A mode of operation of the flight controls of a fly-by-wire aircraft.
- Common law, as contrasted with equity.
- (usually with "the") The body of binding rules and regulations, customs, and standards established in a community by its legislative and judicial authorities.
- (informal) A person or group that act(s) with authority to uphold such rules and order (for example, one or more police officers).
- (linguistics) A sound law; a regular change in the pronunciation of a language.
- (cricket) One of the official rules of cricket as codified by the its (former) governing body, the MCC.
- (law, chiefly historical) An oath sworn before a court, especially disclaiming a debt. (Chiefly in the phrases "wager of law", "wage one's law", "perform one's law", "lose one's law".)
- A rule or principle regarding the construction of language or art.
- Any rule that must or should be obeyed, concerning behaviours and their consequences. (Compare mores.)
- (fantasy) One of two metaphysical forces ruling the world in some fantasy settings, also called order, and opposed to chaos.
- a rule or body of rules of conduct inherent in human nature and essential to or binding upon human society
- the collection of rules imposed by authority
- the force of policemen and officers
- legal document setting forth rules governing a particular kind of activity
- the branch of philosophy concerned with the law and the principles that lead courts to make the decisions they do
- a generalization that describes recurring facts or events in nature
- the learned profession that is mastered by graduate study in a law school and that is responsible for the judicial system
verb
noun
- (computing) The notation that is used to indicate the meaning of the elements in an electronic document, or to dictate how text should be displayed.
- The percentage or amount by which a seller hikes up their buy-in price when determining their selling price.
- An increase in price.
- (US politics) The process by which proposed legislation is debated and amended.
- the amount added to the cost to determine the asking price
- detailed stylistic instructions for typesetting something that is to be printed; manual markup is usually written on the copy (e.g. underlining words that are to be set in italics)
noun
- (logic) A formula in the metalanguage of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions.
- An outline or image universally applicable to a general conception, under which it is likely to be presented to the mind (for example, a body schema).
- (Christianity) A monastic habit in the Greek Orthodox Church.
- (markup languages) A formal description of data, data types, and data file structures, such as XML schemas for XML files.
- (databases) A formal description of the structure of a database: the names of the tables, the names of the columns of each table, and the data type and other attributes of each column.
- a schematic or preliminary plan
- an internal representation of the world; an organization of concepts and actions that can be revised by new information about the world
noun
noun
- (arithmetic, logic) A notation for arithmetic (and logical) formulae in which operations (respectively, quantifiers and operands) are written immediately before their operands, used to avoid the need for parentheses; for example, 3 * (4 + 7) is written as * 3 + 4 7 and A AND B is written as AND A B.
- a parenthesis-free notation for forming mathematical expressions in which each operator precedes its operands
noun
- (countable, logic, model theory) An assignment of a truth value to each propositional symbol of a propositional calculus.
- (countable) A sense given by an interpreter; an exposition or explanation given; meaning.
- (uncountable, linguistics, translation studies) The discipline or study of translating one spoken or signed language into another (as opposed to translation, which concerns itself with written language).
- (countable) An act or process of applying general principles or formulae to the explanation of the results obtained in special cases.
- (countable) An act of interpreting or explaining something unclear; a translation; a version.
- (uncountable) The power of explaining.
- (countable, physics) An approximation that allows aspects of a mathematical theory to be discussed in ordinary language.
- Short for heritage interpretation
- (countable) An artist's way of expressing thought or embodying a conception of nature through art.
- a mental representation of the meaning or significance of something
- the act of interpreting something as expressed in an artistic performance
- an explanation of something that is not immediately obvious
- an explanation that results from interpreting something
noun
- (logic) A limitation that is imposed on the variables of a proposition.
- (economics) The expression of an economic activity in monetary units.
- The act of quantifying.
- a limitation imposed on the variables of a proposition (as by the quantifiers ‘some’ or ‘all’ or ‘no’)
- the act of discovering or expressing the quantity of something
adj
- (logic, of a proposition) Lacking logical operators; unable to be made simpler in logical form.
- Unable to be split or made any smaller.
- Employing or relating to nuclear energy or processes.
- (programming, of a commit in a VCS) Containing a single change, as opposed to involving numerous unrelated changes.
- (computing, of an operation) Guaranteed to complete either fully or not at all while waiting in a pause, and running synchronously when called by multiple asynchronous threads.
- (order theory, of a partially ordered set with a least element 0) Such that for every element b>0 there exists an atom a such that b≥a>0.
- Infinitesimally small.
- (colloquial, by extension) Very strong and overpowering.
- (physics, chemistry) Of or relating to atoms; composed of atoms; monatomic.
- (weapons) deriving destructive energy from the release of atomic energy
- of or relating to or comprising atoms
- immeasurably small
noun
noun
- (logic) That of which something is stated.
- By faulty generalisation from a clause's grammatical subject often being coinstantiated with one: an actor or agent; one who takes action.
- A particular area of study.
- A citizen in a monarchy.
- (grammar) The noun, pronoun or noun phrase about whom the statement is made. In active clauses with verbs denoting an action, the subject is the actor. In clauses in the passive voice the subject is the target of the action.
- The main topic of a paper, work of art, discussion, field of study, etc.
- A human, animal, or an inanimate object that is being examined, treated, analysed, etc; especially, one being studied in a scientific experiment, such as a clinical trial.
- (music) The main theme or melody, especially in a fugue.
- A person ruled over by another, especially a monarch or state authority.
- (mathematics) The variable in terms of which an expression is defined.
- (philosophy) A being that has subjective experiences, subjective consciousness, or a relationship with another entity.
- some situation or event that is thought about
- the subject matter of a conversation or discussion
- (logic) the first term of a proposition
- a person who owes allegiance to that nation
- (grammar) one of the two main constituents of a sentence; the grammatical constituent about which something is predicated
- something (a person or object or scene) selected by an artist or photographer for graphic representation
- a branch of knowledge
- a person who is subjected to experimental or other observational procedures; someone who is an object of investigation
adj
- Conditional upon something; used with to.
- Likely to be affected by or to experience something; liable.
- Placed under the power of another; owing allegiance to a particular sovereign or state.
- Placed or situated under; lying below, or in a lower situation.
- likely to be affected by something
- being under the power or sovereignty of another or others
- possibly accepting or permitting
verb
- (transitive, construed with to) To cause (someone or something) to undergo a particular experience, especially one that is unpleasant or unwanted.
- (transitive) To make subordinate or subservient; to subdue or enslave; to subjugate.
- make subservient; force to submit or subdue
- cause to experience or suffer or make liable or vulnerable to
- make accountable for
adj
- (logic) Of a formula or system: such that it evaluates to true regardless of the input values.
- (Christianity, theology) Genuine - as distinguished from efficient or regular - sacrament.
- (logic) Of an argument: whose conclusion is always true whenever its premises are true.
- Acceptable, proper or correct; in accordance with the rules.
- Well-grounded or justifiable, pertinent.
- Related to the current topic, or presented within context, relevant.
- still legally acceptable
- well grounded in logic or truth or having legal force
noun
- (mathematics, logic) The ⊢ symbol used to represent logical entailment (deducibility relation), especially of the syntactic type; i.e., syntactic consequence. (Such symbol can be read as "prove(s)" or "give(s)". )
- A similar device in a footpath to allow people through one at a time while preventing the passage of cattle.
- A rotating mechanical device that controls and counts passage between public areas, especially one that only allows passage after a charge has been paid.
- a gate consisting of a post that acts as a pivot for rotating arms; set in a passageway for controlling the persons entering
noun
adj
- (mathematics, philosophy) Relating to mere manipulation and construction of strings of symbols, without regard to their meaning.
- Relating to the form or structure of something.
- Official.
- Ceremonial or traditional.
- Relating to formation.
- In accordance with established forms.
- Organized; well-structured and planned.
- Proper, according to strict etiquette; not casual.
- (especially sciences, mathematics, linguistics) In accordance with a methodological framework with well-defined rules or laws; rigorous.
- characteristic of or befitting a person in authority
- logically deductive
- represented in simplified or symbolic form
- (of spoken and written language) adhering to traditional standards of correctness and without casual, contracted, and colloquial forms
- refined or imposing in manner or appearance; befitting a royal court
- being in accord with established forms and conventions and requirements (as e.g. of formal dress)
noun
- (logic) The number of logical connectives in a formula.
- (physics) A unit of measurement of temperature on any of several scales, such as Celsius or Fahrenheit.
- (grammar) Any of the stages (like positive, comparative, superlative, elative) in the comparison of an adjective or an adverb.
- (education) A stage of proficiency or qualification in a course of study, now especially an award bestowed by a university/college, as a certification of academic achievement. (In the United States, can include secondary schools.)
- A stage of rank or privilege; social standing.
- An individual step, or stage, in any process or scale of values.
- (genealogy) A ‘step’ in genealogical descent.
- (geography) A unit of measurement of latitude and longitude which together identify a location on the Earth's surface.
- (obsolete outside heraldry) A step on a set of stairs; the rung of a ladder.
- (surveying) The curvature of a circular arc, expressed as the angle subtended by a fixed length of arc or chord.
- (algebra) The sum of the exponents of a term; the order of a polynomial.
- (graph theory) The number of edges that a vertex takes part in; a valency.
- (geometry) A unit of measurement of angle equal to ¹⁄₃₆₀ of a circle's circumference.
- (algebra, field theory) The dimensionality of a field extension.
- The amount that an entity possesses a certain property; relative intensity, extent.
- a specific identifiable position in a continuum or series or especially in a process
- a measure for arcs and angles
- a position on a scale of intensity or amount or quality
- the highest power of a term or variable
- a unit of temperature on a specified scale
- the seriousness of something (e.g., a burn or crime)
- an award conferred by a college or university signifying that the recipient has satisfactorily completed a course of study
noun
- A diagram in the field of logic.
- A graphical representation of a program using formal logic.
- Any schematic display of the logical relationships of project activities.
- Any non-spatial, abstract diagram.
- A flow chart of hardware circuits or program logic.
- a graphical representation of a program using formal logic
noun
- (logic) modus tollens
- Initialism of machine translation.
- Initialism of massage therapist.
- (biochemistry) Acronym of microtubule.
- (military, British) Initialism of mechanical transport.
- (US, engineering) Abbreviation of metric ton.
- Alternative form of M/T.
- a unit of weight equivalent to 1000 kilograms
- the use of computers to translate from one language to another
adj
name
noun
- (computing theory) A terminal symbol in a formal grammar.
- A rate charged on all freight, regardless of distance, and supposed to cover the expenses of station service, as distinct from mileage rate, generally proportionate to the distance and intended to cover movement expenses.
- An electric contact on a battery.
- A storage tank for bulk liquids (such as oil or chemicals) prior to further distribution.
- (computing) A device for entering data into a computer or a communications system and/or displaying data received, especially a device equipped with a keyboard and some sort of textual display.
- A harbour facility where ferries embark and disembark passengers and load and unload vehicles.
- (telecommunications) The apparatus to send and/or receive signals on a line, such as a telephone or network device.
- A building in an airport where passengers transfer from ground transportation to the facilities that allow them to board airplanes.
- A rail station where service begins and ends; the end of the line. For example: Grand Central Terminal in New York City.
- A town lying at the end of a railroad, in which the terminal is located; more properly called a terminus.
- (computing) A computer program that emulates a physical terminal.
- (electricity, electronics) The end of a line (wire, cable, etc) where signals or power are either transmitted or received, or a point along the length of a line where the signals or power are made available to apparatus; the hardware attached to the line in this spot, which allows connections to be fastened.
- (biology) The end ramification (of an axon, etc.) or one of the extremities of a polypeptide.
- electronic equipment consisting of a device providing access to a computer; has a keyboard and display
- station where transport vehicles load or unload passengers or goods
- either extremity of something that has length
- a contact on an electrical device (such as a battery) at which electric current enters or leaves
adj
- Appearing at the end; top or apex of a physical object.
- Occurring at the end of a word, sentence, or period of time, and serves to terminate it
- Fatal; resulting in death.
- causing or ending in or approaching death
- being or situated at an end
- of or relating to or situated at the ends of a delivery route
- relating to or occurring in a term or fixed period of time
- occurring at or forming an end or termination
verb
noun
- a system of symbolic logic devised by George Boole; used in computers
- (algebra, logic, computing) Specifically, an algebra in which all elements can take only one of two values (typically 0 and 1, or "true" and "false") and are subject to operations based on AND, OR and NOT
- (algebra) An algebraic structure (Σ,∨,∧,∼,0,1) where ∨ and ∧ are idempotent binary operators, ∼ is a unary involutory operator (called "complement"), and 0 and 1 are nullary operators (i.e., constants), such that (Σ,∨,0) is a commutative monoid, (Σ,∧,1) is a commutative monoid, ∧ and ∨ distribute with respect to each other, and such that combining two complementary elements through one binary operator yields the identity of the other binary operator. (See Boolean algebra (structure)#Axiomatics.)
- (mathematics) The study of such algebras; Boolean logic, classical logic.
noun
adj
name
noun
- (logic) An axiom.
- A fundamental element; a basic principle.
- A requirement; a prerequisite.
- Something assumed without proof as being self-evident or generally accepted, especially when used as a basis for an argument. Sometimes distinguished from axioms as being relevant to a particular science or context, rather than universally true, and following from other axioms rather than being an absolute assumption.
- (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
adj
verb
- (ambitransitive, Christianity, historical) To appoint or request one's appointment to an ecclesiastical office.
- To assume as a truthful or accurate premise or axiom, especially as a basis of an argument.
- take as a given; assume as a postulate or axiom
- maintain or assert
- require as useful, just, or proper
noun
- (mathematics, logic) A variable (occurring within some expression or well-formed formula) which is not bound by a quantifier or analogous symbol (such as a lambda abstractor, the "differential d" near the end of an integral or differential form, or a summation symbol).
- (programming) A variable that is not bound to a storage location.
noun
- (logic) A syntactic expression of a proposition, built up from quantifiers, logical connectives, variables, relation and operation symbols, and, depending on the type of logic, possibly other operators such as modal, temporal, deontic or epistemic ones.
- (mathematics) Any mathematical rule expressed symbolically.
- (chemistry) A symbolic expression of the structure of a compound.
- (chiefly linguistics) A fixed phrase or set of words intended to be interpreted non-literally, typically used attitudinally or as part of convention; a formulation.
- (especially religion) A formal statement of doctrine.
- A formulation; a prescription; a mixture or solution made in a prescribed manner; the identity and quantities of ingredients of such a mixture.
- A plan or method for dealing with a problem or for achieving a result.
- (countable, uncountable) Ellipsis of infant formula, drink given to babies to substitute for mother's milk.
- a representation of a substance using symbols for its constituent elements
- directions for making something
- (mathematics) a standard procedure for solving a class of mathematical problems
- a conventionalized statement expressing some fundamental principle
- a liquid food for infants
- a group of symbols that make a mathematical statement
- something regarded as a normative example
noun
adj
intj
noun
- (mathematics, logic) A statement (of relation) that is true under specified conditions; a mathematical or logical rule.
- The body of such rules that pertain to a particular topic.
- The control and order brought about by the observance of such rules.
- Litigation; legal action (as a means of maintaining or restoring order, redressing wrongs, etc).
- Jurisprudence, the field of knowledge which encompasses these rules.
- (now uncommon) An allowance of distance or time (a head start) given to a weaker (human or animal) competitor in a race, to make the race more fair.
- The profession that deals with such rules (as lawyers, judges, police officers, etc).
- Any statement of the relation of acts and conditions to their consequences.
- A binding regulation or custom established in a community in this way.
- A statement (in physics, etc) of an (observed, established) order or sequence or relationship of phenomena which is invariable under certain conditions. (Compare theory.)
- (aviation) A mode of operation of the flight controls of a fly-by-wire aircraft.
- Common law, as contrasted with equity.
- (usually with "the") The body of binding rules and regulations, customs, and standards established in a community by its legislative and judicial authorities.
- (informal) A person or group that act(s) with authority to uphold such rules and order (for example, one or more police officers).
- (linguistics) A sound law; a regular change in the pronunciation of a language.
- (cricket) One of the official rules of cricket as codified by the its (former) governing body, the MCC.
- (law, chiefly historical) An oath sworn before a court, especially disclaiming a debt. (Chiefly in the phrases "wager of law", "wage one's law", "perform one's law", "lose one's law".)
- A rule or principle regarding the construction of language or art.
- Any rule that must or should be obeyed, concerning behaviours and their consequences. (Compare mores.)
- (fantasy) One of two metaphysical forces ruling the world in some fantasy settings, also called order, and opposed to chaos.
- a rule or body of rules of conduct inherent in human nature and essential to or binding upon human society
- the collection of rules imposed by authority
- the force of policemen and officers
- legal document setting forth rules governing a particular kind of activity
- the branch of philosophy concerned with the law and the principles that lead courts to make the decisions they do
- a generalization that describes recurring facts or events in nature
- the learned profession that is mastered by graduate study in a law school and that is responsible for the judicial system
verb
noun
- (computing) The notation that is used to indicate the meaning of the elements in an electronic document, or to dictate how text should be displayed.
- The percentage or amount by which a seller hikes up their buy-in price when determining their selling price.
- An increase in price.
- (US politics) The process by which proposed legislation is debated and amended.
- the amount added to the cost to determine the asking price
- detailed stylistic instructions for typesetting something that is to be printed; manual markup is usually written on the copy (e.g. underlining words that are to be set in italics)
noun
- (logic) A formula in the metalanguage of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions.
- An outline or image universally applicable to a general conception, under which it is likely to be presented to the mind (for example, a body schema).
- (Christianity) A monastic habit in the Greek Orthodox Church.
- (markup languages) A formal description of data, data types, and data file structures, such as XML schemas for XML files.
- (databases) A formal description of the structure of a database: the names of the tables, the names of the columns of each table, and the data type and other attributes of each column.
- a schematic or preliminary plan
- an internal representation of the world; an organization of concepts and actions that can be revised by new information about the world
noun
noun
- (arithmetic, logic) A notation for arithmetic (and logical) formulae in which operations (respectively, quantifiers and operands) are written immediately before their operands, used to avoid the need for parentheses; for example, 3 * (4 + 7) is written as * 3 + 4 7 and A AND B is written as AND A B.
- a parenthesis-free notation for forming mathematical expressions in which each operator precedes its operands
noun
- (countable, logic, model theory) An assignment of a truth value to each propositional symbol of a propositional calculus.
- (countable) A sense given by an interpreter; an exposition or explanation given; meaning.
- (uncountable, linguistics, translation studies) The discipline or study of translating one spoken or signed language into another (as opposed to translation, which concerns itself with written language).
- (countable) An act or process of applying general principles or formulae to the explanation of the results obtained in special cases.
- (countable) An act of interpreting or explaining something unclear; a translation; a version.
- (uncountable) The power of explaining.
- (countable, physics) An approximation that allows aspects of a mathematical theory to be discussed in ordinary language.
- Short for heritage interpretation
- (countable) An artist's way of expressing thought or embodying a conception of nature through art.
- a mental representation of the meaning or significance of something
- the act of interpreting something as expressed in an artistic performance
- an explanation of something that is not immediately obvious
- an explanation that results from interpreting something
noun
- (logic) A limitation that is imposed on the variables of a proposition.
- (economics) The expression of an economic activity in monetary units.
- The act of quantifying.
- a limitation imposed on the variables of a proposition (as by the quantifiers ‘some’ or ‘all’ or ‘no’)
- the act of discovering or expressing the quantity of something
noun
- (logic) That of which something is stated.
- By faulty generalisation from a clause's grammatical subject often being coinstantiated with one: an actor or agent; one who takes action.
- A particular area of study.
- A citizen in a monarchy.
- (grammar) The noun, pronoun or noun phrase about whom the statement is made. In active clauses with verbs denoting an action, the subject is the actor. In clauses in the passive voice the subject is the target of the action.
- The main topic of a paper, work of art, discussion, field of study, etc.
- A human, animal, or an inanimate object that is being examined, treated, analysed, etc; especially, one being studied in a scientific experiment, such as a clinical trial.
- (music) The main theme or melody, especially in a fugue.
- A person ruled over by another, especially a monarch or state authority.
- (mathematics) The variable in terms of which an expression is defined.
- (philosophy) A being that has subjective experiences, subjective consciousness, or a relationship with another entity.
- some situation or event that is thought about
- the subject matter of a conversation or discussion
- (logic) the first term of a proposition
- a person who owes allegiance to that nation
- (grammar) one of the two main constituents of a sentence; the grammatical constituent about which something is predicated
- something (a person or object or scene) selected by an artist or photographer for graphic representation
- a branch of knowledge
- a person who is subjected to experimental or other observational procedures; someone who is an object of investigation
adj
- Conditional upon something; used with to.
- Likely to be affected by or to experience something; liable.
- Placed under the power of another; owing allegiance to a particular sovereign or state.
- Placed or situated under; lying below, or in a lower situation.
- likely to be affected by something
- being under the power or sovereignty of another or others
- possibly accepting or permitting
verb
- (transitive, construed with to) To cause (someone or something) to undergo a particular experience, especially one that is unpleasant or unwanted.
- (transitive) To make subordinate or subservient; to subdue or enslave; to subjugate.
- make subservient; force to submit or subdue
- cause to experience or suffer or make liable or vulnerable to
- make accountable for
noun
- (mathematics, logic) The ⊢ symbol used to represent logical entailment (deducibility relation), especially of the syntactic type; i.e., syntactic consequence. (Such symbol can be read as "prove(s)" or "give(s)". )
- A similar device in a footpath to allow people through one at a time while preventing the passage of cattle.
- A rotating mechanical device that controls and counts passage between public areas, especially one that only allows passage after a charge has been paid.
- a gate consisting of a post that acts as a pivot for rotating arms; set in a passageway for controlling the persons entering
noun
adj
- (mathematics, philosophy) Relating to mere manipulation and construction of strings of symbols, without regard to their meaning.
- Relating to the form or structure of something.
- Official.
- Ceremonial or traditional.
- Relating to formation.
- In accordance with established forms.
- Organized; well-structured and planned.
- Proper, according to strict etiquette; not casual.
- (especially sciences, mathematics, linguistics) In accordance with a methodological framework with well-defined rules or laws; rigorous.
- characteristic of or befitting a person in authority
- logically deductive
- represented in simplified or symbolic form
- (of spoken and written language) adhering to traditional standards of correctness and without casual, contracted, and colloquial forms
- refined or imposing in manner or appearance; befitting a royal court
- being in accord with established forms and conventions and requirements (as e.g. of formal dress)
noun
- (logic) The number of logical connectives in a formula.
- (physics) A unit of measurement of temperature on any of several scales, such as Celsius or Fahrenheit.
- (grammar) Any of the stages (like positive, comparative, superlative, elative) in the comparison of an adjective or an adverb.
- (education) A stage of proficiency or qualification in a course of study, now especially an award bestowed by a university/college, as a certification of academic achievement. (In the United States, can include secondary schools.)
- A stage of rank or privilege; social standing.
- An individual step, or stage, in any process or scale of values.
- (genealogy) A ‘step’ in genealogical descent.
- (geography) A unit of measurement of latitude and longitude which together identify a location on the Earth's surface.
- (obsolete outside heraldry) A step on a set of stairs; the rung of a ladder.
- (surveying) The curvature of a circular arc, expressed as the angle subtended by a fixed length of arc or chord.
- (algebra) The sum of the exponents of a term; the order of a polynomial.
- (graph theory) The number of edges that a vertex takes part in; a valency.
- (geometry) A unit of measurement of angle equal to ¹⁄₃₆₀ of a circle's circumference.
- (algebra, field theory) The dimensionality of a field extension.
- The amount that an entity possesses a certain property; relative intensity, extent.
- a specific identifiable position in a continuum or series or especially in a process
- a measure for arcs and angles
- a position on a scale of intensity or amount or quality
- the highest power of a term or variable
- a unit of temperature on a specified scale
- the seriousness of something (e.g., a burn or crime)
- an award conferred by a college or university signifying that the recipient has satisfactorily completed a course of study
adj
- (logic, of a proposition) Lacking logical operators; unable to be made simpler in logical form.
- Unable to be split or made any smaller.
- Employing or relating to nuclear energy or processes.
- (programming, of a commit in a VCS) Containing a single change, as opposed to involving numerous unrelated changes.
- (computing, of an operation) Guaranteed to complete either fully or not at all while waiting in a pause, and running synchronously when called by multiple asynchronous threads.
- (order theory, of a partially ordered set with a least element 0) Such that for every element b>0 there exists an atom a such that b≥a>0.
- Infinitesimally small.
- (colloquial, by extension) Very strong and overpowering.
- (physics, chemistry) Of or relating to atoms; composed of atoms; monatomic.
- (weapons) deriving destructive energy from the release of atomic energy
- of or relating to or comprising atoms
- immeasurably small
noun
adj
- (logic) Of a formula or system: such that it evaluates to true regardless of the input values.
- (Christianity, theology) Genuine - as distinguished from efficient or regular - sacrament.
- (logic) Of an argument: whose conclusion is always true whenever its premises are true.
- Acceptable, proper or correct; in accordance with the rules.
- Well-grounded or justifiable, pertinent.
- Related to the current topic, or presented within context, relevant.
- still legally acceptable
- well grounded in logic or truth or having legal force