English words for 'a relation between propositions'
Closest matches for "a relation between propositions" are ranked by semantic fit across dictionary definitions.
Search results
adj
- (logic) Of, or relating to the modality between propositions.
- Of, or relating to a mode or modus.
- (graphical user interface) Requiring immediate user interaction and thus presented so that it cannot be closed or interacted behind until a decision is made.
- (music) Of, relating to, or composed in the musical modi by which an octave is divided, associated with emotional moods in Ancient — and in medieval ecclesiastical — music.
- (computing) Having separate modes in which user input has different effects.
- (metaphysics) Relating to the form of a thing rather to any of its attributes.
- (of music, by extension) In a mode which is not major or minor scale, the standard modes used in the Western musical tradition.
- (statistics) Relating to the statistical mode.
- (grammar) Of, relating to, or describing the mood of a clause.
- relating to or constituting the most frequent value in a distribution
- relating to or expressing the mood of a verb
- of or relating to a musical mode; especially written in an ecclesiastical mode
noun
- (logic) A modal proposition.
- (fabric) A semi-synthetic fabric, a very soft kind of rayon textile made from beech tree pulp and processed with chemicals.
- (grammar) A modal verb.
- (graphical user interface) A modal window, one that cannot be closed until a decision is made.
- (linguistics) A modal form, notably a modal auxiliary.
- an auxiliary verb (such as ‘can’ or ‘will’) that is used to express modality
noun
- the relation between propositions that cannot both be true at the same time
- the quality of being unable to exist or work in congenial combination
- (immunology) the degree to which the body's immune system will try to reject foreign material (as transfused blood or transplanted tissue)
- The quality or state of being incompatible; inconsistency; irreconcilability.
noun
- interchange of subject and predicate of a proposition
- (logic) The act of interchanging the terms of a proposition, as by putting the subject in the place of the predicate, or vice versa.
- (psychiatry) a defense mechanism represses emotional conflicts which are then converted into physical symptoms that have no organic basis
- a change in the units or form of an expression:
- a successful free throw or try for point after a touchdown
- act of exchanging one type of money or security for another
- a change of religion
- the act of changing from one use or function or purpose to another
- a spiritual enlightenment causing a person to lead a new life
- an event that results in a transformation
- (American football) An extra point (or two) scored by kicking a field goal or carrying the ball into the end zone after scoring a touchdown.
- (law) Under the common law, the tort of the taking of someone's personal property with intent to permanently deprive them of it, or damaging property to the extent that the owner is deprived of the utility of that property, thus making the tortfeasor liable for the entire value of the property.
- (mathematics) A change or reduction of the form or value of a proposition.
- (chemistry) A chemical reaction wherein a substrate is transformed into a product.
- (marketing) An online advertising performance metric representing a visitor performing whatever the intended result of an ad is defined to be.
- (rugby) A free kick, after scoring a try, worth two points.
- (linguistics) The process whereby a new word is created without changing the form, often by allowing the word to function as a new part of speech.
- (computing) A software product converted from one platform to another.
- Living space in a part of a building that was previously uninhabitable, or the process of constructing such living space.
- The act of converting something or someone.
- (slang, board games) Changing a miniature figure into another character, usually by mixing different parts, or molding the model's parts, or doing both.
noun
- one of the substantive phrases in a logical proposition
- a limited period of time
- the end of gestation or point at which birth is imminent
- any distinct quantity contained in a polynomial
- a word or expression used for some particular thing
- (usually plural) a statement of what is required as part of an agreement
- (architecture) a statue or a human bust or an animal carved out of the top of a square pillar; originally used as a boundary marker in ancient Rome
- A chronological limitation or restriction, a limited timespan.
- (astrology) An essential dignity in which unequal segments of every astrological sign have internal rulerships which affect the power and integrity of each planet in a natal chart.
- Part of a year, especially one of the divisions of an academic year.
- (mathematics) Any value (variable or constant) or expression separated from another term by a space or an appropriate character, in an overall expression or table.
- Specifically, the conditions in a legal contract that specify the price and also how and when payment must be made.
- A word or phrase (e.g., noun phrase, verb phrase, open compound), especially one from a specialised area of knowledge; a name for a concept.
- (of a patent) The maximum period during which the patent can be maintained into force.
- (logic) The subject or the predicate of a proposition; one of the three component parts of a syllogism, each one of which is used twice.
- Certain days on which rent is paid.
- Any of the binding conditions or promises in a legal contract.
- (computing, informal) A computer program that emulates a physical terminal.
- (nautical) A piece of carved work placed under each end of the taffrail.
- One whose employment has been terminated
- That which limits the extent of anything; limit, extremity, bound, boundary, terminus.
- (art) A statue of the upper body, sometimes without the arms, ending in a pillar or pedestal.
- The time during which legal courts are open.
- With respect to a pregnancy, the usual duration of gestation for the given species (for example, nine months in humans); (metonymic) the end of this duration: the timepoint at which birth usually happens (for example, in humans, approximately 40 weeks from conception), defining the due date.
- Duration of officeholding, or its limit; period in office of fixed length.
- Relations among people.
verb
adj
noun
- (propositional calculus) The hypothesis of an implication
- (electrical engineering) On a Karnaugh map: a set of ones (whose quantity is a power of two) which are related by adjacency (i.e., the set is connected, if the Karnaugh map is considered to be a graph which "wraps around" its edges, like a torus; and all elements of the subgraph induced by the set have the same degree). Equivalently, in terms of Boolean algebra, a product term which, when true, always implies that the given Boolean function is true.
adj
- (logic) Expressing the agreement of the two terms of a proposition.
- (algebra) positive; not negative
- positive
- pertaining to any assertion or active confirmation that favors a particular result
- Dogmatic.
- pertaining to truth; asserting that something is; affirming
- Confirmative; ratifying.
- expecting the best
- affirming or giving assent
- expressing or manifesting praise or approval
intj
noun
noun
- Inference based on reasoning from given propositions.
- The addition of arguments to a model; parameterization.
- An exchange of arguments
- a discussion in which reasons are advanced for and against some proposition or proposal
- a course of reasoning aimed at demonstrating a truth or falsehood; the methodical process of logical reasoning
noun
- a classification of propositions on the basis of whether they claim necessity or possibility or impossibility
- (logic) The classification of propositions on the basis on whether they claim possibility, impossibility, contingency or necessity; mode.
- a method of therapy that involves physical or electrical therapeutic treatment
- verb inflections that express how the action or state is conceived by the speaker
- a particular sense
- (astrology) That whether a zodiac sign is cardinal, fixed or mutable
- (semiotics) A particular way in which the information is to be encoded for presentation to humans, i.e. to the type of sign and to the status of reality ascribed to or claimed by a sign, text or genre.
- (grammar) The inflection of a verb that shows how its action is conceived by the speaker.
- (music) The subject concerning certain diatonic scales known as musical modes.
- The fact of being modal.
- (law) The quality of being limited by a condition.
- (medicine) A method of diagnosis or therapy.
- (sociology) The way in which infrastructure and knowledge of how to use it give rise to a meaningful pattern of interaction (a concept in Anthony Giddens's structuration theory).
- Any of the senses (such as sight or taste)
- (theology) The organization and structure of the church, as distinct from sodality or parachurch organizations.
noun
- a classification of propositions on the basis of whether they claim necessity or possibility or impossibility
- how something is done or how it happens
- the most frequent value of a random variable
- any of various fixed orders of the various diatonic notes within an octave
- verb inflections that express how the action or state is conceived by the speaker
- a particular functioning condition or arrangement
- (philosophy) That which exists only as a quality of substance.
- (electronics) A series of settings on a device used for a specific purpose.
- (music, in particular) One of several ancient Greek scales.
- (textiles) The openwork between the solid parts of a pattern.
- (computing) One of various related sets of rules for processing data; more generally, any state of the system associated with certain behaviours.
- A particular state of being, or frame of mind.
- Style or fashion; popular trend.
- A particular means of accomplishing something.
- (electromagnetism) A wave pattern in the electromagnetic field.
- (statistics) The most frequently occurring value in a distribution.
- (especially engineering) A state related to signals or vibrations.
- (music) One of several common scales in modern Western music, one of which corresponds to the modern major scale and one to the natural minor scale.
- (video games) A variation in gameplay, such as a difficulty level.
- (grammar) A verb form that depends on how its containing clause relates to the speaker’s or writer’s wish, intent, or assertion about reality.
noun
- a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
- (logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.
noun
- (logic) the first term of a proposition
- some situation or event that is thought about
- the subject matter of a conversation or discussion
- 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
- 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.
- (logic) That of which something is stated.
- 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.
adj
- likely to be affected by something
- being under the power or sovereignty of another or others
- possibly accepting or permitting
- 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.
verb
- make subservient; force to submit or subdue
- cause to experience or suffer or make liable or vulnerable to
- make accountable for
- (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.
noun
- (logic) The conditional part of a hypothetical proposition, i.e. p→q, where p is the antecedent, and q is the consequent.
- (mathematics) The first term of a ratio, i.e. the term a in the ratio a:b, the other being the consequent.
- (chiefly in the plural) Previous principles, conduct, history, etc.
- (logic) The first of two subsets of a sequent, consisting of all the sequent's formulae which are valuated as true.
- Any thing that precedes another thing, especially the cause of the second thing.
- (grammar) A word, phrase or clause referred to by a pronoun or other pro-form.
- An ancestor.
- a preceding occurrence or cause or event
- the referent of an anaphor; a phrase or clause that is referred to by an anaphoric pronoun
- someone from whom you are descended (but usually more remote than a grandparent)
- anything that precedes something similar in time
adj
verb
- make the (grammatical) predicate in a proposition
- involve as a necessary condition of consequence; as in logic
- affirm or declare as an attribute or quality of
- (transitive, grammar) To make a term (or expression) the predicate of a statement.
- (transitive, logic) To assert or state as an attribute or quality of something.
- (transitive) To assume or suppose; to infer.
- (transitive, originally US) To base (on); to assert on the grounds of.
- (transitive) To announce, assert, or proclaim publicly.
noun
- (logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula
- one of the two main constituents of a sentence; the predicate contains the verb and its complements
- (programming) An operator, expression, or function that returns either true or false.
- (grammar) The part of the sentence (or clause) which states a property that a subject has or is characterized by.
- (logic) A term of a statement, where the statement may be true or false depending on whether the thing referred to by the values of the statement's variables has the property signified by that (predicative) term.
adj
adj
- of a proposition; necessarily true or logically certain
- Affording proof; demonstrative.
- (logic) Of the characteristic feature of a proposition that is necessary (or impossible): perfectly certain (or inconceivable) or incontrovertibly true (or false); self-evident.
- Incontrovertible; demonstrably true or certain.
adj
- of a proposition; necessarily true or logically certain
- Incontrovertible; demonstrably true or certain.
- (Biblical studies, theology) Absolute and without explanation, as in a command from God like "Thou shalt not kill!"
- Being a style of argument in which a person presents their reasoning as categorically true, even if it is not necessarily so.
noun
adj
- (geometry) Having, or being in, a contrary order; said of a section of an oblique cone having a circular base made by a plane not parallel to the base, but so inclined to the axis that the section is a circle; applied also to two similar triangles when so placed as to have a common angle at the vertex, the opposite sides not being parallel.
- (logic) Denoting the relation of opposition between the particular affirmative and particular negative. Of these both may be true and only one can be false.
noun
- (logic) The proposition resulting from the combination of two or more propositions using the ∧ ( and ) operator.
- (astrology) An aspect in which planets are in close proximity to one another.
- (grammar) A word used to join other words, phrases, or clauses together into sentences. (The specific conjunction used shows how the two joined parts are related semantically.)
- The act of joining, or condition of being joined.
- (astronomy) The alignment of two bodies in the solar system such that they have the same longitude when seen from Earth.
- A place where multiple things meet.
- Cooccurrence; coincidence.
- the state of being joined together
- something that joins or connects
- the grammatical relation between linguistic units (words or phrases or clauses) that are connected by a conjunction
- the temporal property of two things happening at the same time
- an uninflected function word that serves to conjoin words or phrases or clauses or sentences
- (astronomy) apparent meeting or passing of two or more celestial bodies in the same degree of the zodiac
noun
- (logic) A propositional variable, or the negation of a propositional variable. ᵂᵖ
- (epigraphy, typography) A misprint (or occasionally a scribal error) that affects a letter.
- (programming) A value, as opposed to an identifier, written into the source code of a computer program.
- Misspelling of littoral.
- a mistake in printed matter resulting from mechanical failures of some kind
adj
- (theology, specifically) Following the historical-grammatical method of biblical interpretation.
- (proscribed) Used nonliterally as an intensifier. See literally for usage notes.
- Actual, real, physical.
- Exactly as stated; read or understood without interpretation; according to the letter; not figurative or metaphorical; following the letter or exact words; not taking liberties; etymonic rather than idiomatic.
- (uncommon) Consisting of, or expressed by, letters (of an alphabet); using literation.
- (loosely) That which generally assumes that the plainest reading of a given text is correct but which allows for metaphor where context indicates it.
- (of a person) Unimaginative; matter-of-fact; literal-minded.
- Misspelling of littoral.
- being or reflecting the essential or genuine character of something
- avoiding embellishment or exaggeration (used for emphasis)
- without interpretation or embellishment
- limited to the explicit meaning of a word or text
noun
- (logic) The difference of quantity or quality between two propositions having the same subject and predicate.
- The action of opposing or of being in conflict.
- (law) In United States intellectual property law, a proceeding in which an interested party seeks to prevent the registration of a trademark or patent.
- (politics) A political party or movement opposed to the party or government in power.
- An opposite or contrasting position.
- (chess) A position in which the player on the move must yield with his king allowing his opponent to advance with his own king.
- (astronomy) The apparent relative position of two celestial bodies when one is at an angle of 180 degrees from the other as seen from the Earth.
- a direction opposite to another
- a body of people united in opposing something
- the relation between opposed entities
- a contestant that you are matched against
- the act of hostile groups opposing each other
- an armed adversary (especially a member of an opposing military force)
- the action of opposing something that you disapprove or disagree with
noun
- a proposition deducible from basic postulates
- an idea accepted as a demonstrable truth
- (logic) A syntactically correct expression that is deducible from the given axioms of a deductive system.
- (mathematics) A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.
- (mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true.
verb
noun
- a logical relation such that two propositions are contraries if both cannot be true but both can be false
- a relation of direct opposition
- exact opposition
- (logic) One of a pair of propositions that cannot both be simultaneously true, though they may both be false.
- (historical) A type of loaded die.
- The opposite.
adj
- of words or propositions so related that both cannot be true but both may be false
- resistant to guidance or discipline
- very opposed in nature or character or purpose
- in an opposing direction
- Opposed; contradictory; inconsistent.
- Opposite; in an opposite direction; in opposition; adverse.
- Given to opposition; perverse; wayward.
adv
noun
- (logic) One of the propositions making up a syllogism.
- Part of an animal capable of performing a distinct office; an organ; a limb.
- (Australia, law) the judge or adjudicator in a consumer court.
- (object-oriented programming) A function or piece of data associated with each separate instance of a class.
- (mathematics) Either of the two parts of an algebraic equation, connected by the equality sign.
- (set theory) An element of a set.
- (euphemistic) The penis.
- One who belongs to a group.
- A part of a whole.
- A part of a discourse or of a period, sentence, or verse; a clause.
- (computing) A file stored within an archive file.
- the male sex organ
- one of the persons who compose a social group (especially individuals who have joined and participate in a group organization)
- an external body part that projects from the body
- anything that belongs to a set or class
- an organization that is a member of another organization (especially a state that belongs to a group of nations)
noun
adj
- of words or propositions so related that both cannot be true and both cannot be false
- unable for both to exist or be true at the same time
- in disagreement
- that confounds or contradicts or confuses
- That is diametrically opposed to something.
- Tending to contradict or oppose, contrarious.
- Mutually exclusive.
- That contradicts something, such as an argument.
- That is itself a contradiction.
noun
- a logical relation between propositions p and q of the form ‘if p then q’; if p is true then q cannot be false
- (countable, logic) The connective in propositional calculus that, when joining two predicates A and B in that order, has the meaning "if A is true, then B is true".
- a relation implicated by virtue of involvement or close connection (especially an incriminating involvement)
- something that is inferred (deduced or entailed or implied)
- an accusation that brings into intimate and usually incriminating connection
- a meaning that is not expressly stated but can be inferred
- (countable, uncountable) An implying, or that which is implied, but not expressed; an inference, or something which may fairly be understood, though not expressed in words.
- (uncountable) The state of being implicated.
- (uncountable) The act of implicating.
- (countable) A possible, or indirect, effect or result of a decision or action.
- Logical consequence.
adj
- of words or propositions so related that each is the negation of the other
- acting as or providing a complement (something that completes the whole)
- (genetics) Of the specific pairings of the bases in DNA and RNA.
- (physics) Pertaining to pairs of properties in quantum mechanics that are inversely related to each other, such as speed and position, or energy and time. (See also Heisenberg uncertainty principle.)
- Acting as a complement; making up a whole with something else.
noun
noun
adj
noun
- a subsidiary proposition that is assumed to be true in order to prove another proposition
- 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
- (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.
- (mathematics) A proposition proved or accepted for immediate use in the proof of some other proposition.
- (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.
noun
- (logic) The proposition resulting from the combination of two or more propositions using the or operator.
- (biology) During meiosis, the separation of chromosomes (homologous in meiosis I, and sister chromatids in meiosis II).
- (mathematics) A logical operator that results in “true” when any of its operands are true.
- The state of being disjoined, contrasting, or opposing.
- The act of disjoining; disunion, separation.
- the act of breaking a connection
- state of being disconnected
verb
- (of a proposition) seem to be true, probable, or apparent
- appear as a character on stage or appear in a play, etc.
- come into sight or view
- be issued or published
- present oneself formally, as before a (judicial) authority
- come into being or existence, or appear on the scene
- give a certain impression of being something or having a certain aspect
- (transitive) To bring into view
- (intransitive) To come before the public.
- (intransitive) To become visible to the apprehension of the mind; to be known as a subject of observation or comprehension, or as a thing proved; to be obvious or manifest.
- (intransitive) To stand in presence of some authority, tribunal, or superior person, to answer a charge, plead a cause, etc.; to present oneself as a party or advocate before a court, or as a person to be tried.
- (intransitive, copulative) To seem; to have a certain semblance; to look.
- (intransitive) To come or be in sight; to be in view; to become visible.
noun
- a proposition obtained by conversion
- (graph theory) Synonym of transpose.
- (now literary) Free verbal interchange of thoughts or views; conversation; chat.
- (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.
- The opposite or reverse.
- (semantics) One of a pair of terms that name or describe a relationship from opposite perspectives; converse antonym; relational antonym.
adj
verb
adj
noun
- (logic) A subaltern proposition; a proposition implied by a universal proposition.
- A subordinate.
- (British, military) A commissioned officer having a rank below that of captain; a lieutenant or second lieutenant.
- (social sciences, literary theory) A member of a group that is socially, politically and geographically outside of the hegemonic power structure of the colony and of the colonial homeland.
- a British commissioned army officer below the rank of captain
noun
- the relation between propositions that cannot both be true at the same time
- the quality of being unable to exist or work in congenial combination
- (immunology) the degree to which the body's immune system will try to reject foreign material (as transfused blood or transplanted tissue)
- The quality or state of being incompatible; inconsistency; irreconcilability.
noun
- interchange of subject and predicate of a proposition
- (logic) The act of interchanging the terms of a proposition, as by putting the subject in the place of the predicate, or vice versa.
- (psychiatry) a defense mechanism represses emotional conflicts which are then converted into physical symptoms that have no organic basis
- a change in the units or form of an expression:
- a successful free throw or try for point after a touchdown
- act of exchanging one type of money or security for another
- a change of religion
- the act of changing from one use or function or purpose to another
- a spiritual enlightenment causing a person to lead a new life
- an event that results in a transformation
- (American football) An extra point (or two) scored by kicking a field goal or carrying the ball into the end zone after scoring a touchdown.
- (law) Under the common law, the tort of the taking of someone's personal property with intent to permanently deprive them of it, or damaging property to the extent that the owner is deprived of the utility of that property, thus making the tortfeasor liable for the entire value of the property.
- (mathematics) A change or reduction of the form or value of a proposition.
- (chemistry) A chemical reaction wherein a substrate is transformed into a product.
- (marketing) An online advertising performance metric representing a visitor performing whatever the intended result of an ad is defined to be.
- (rugby) A free kick, after scoring a try, worth two points.
- (linguistics) The process whereby a new word is created without changing the form, often by allowing the word to function as a new part of speech.
- (computing) A software product converted from one platform to another.
- Living space in a part of a building that was previously uninhabitable, or the process of constructing such living space.
- The act of converting something or someone.
- (slang, board games) Changing a miniature figure into another character, usually by mixing different parts, or molding the model's parts, or doing both.
noun
- one of the substantive phrases in a logical proposition
- a limited period of time
- the end of gestation or point at which birth is imminent
- any distinct quantity contained in a polynomial
- a word or expression used for some particular thing
- (usually plural) a statement of what is required as part of an agreement
- (architecture) a statue or a human bust or an animal carved out of the top of a square pillar; originally used as a boundary marker in ancient Rome
- A chronological limitation or restriction, a limited timespan.
- (astrology) An essential dignity in which unequal segments of every astrological sign have internal rulerships which affect the power and integrity of each planet in a natal chart.
- Part of a year, especially one of the divisions of an academic year.
- (mathematics) Any value (variable or constant) or expression separated from another term by a space or an appropriate character, in an overall expression or table.
- Specifically, the conditions in a legal contract that specify the price and also how and when payment must be made.
- A word or phrase (e.g., noun phrase, verb phrase, open compound), especially one from a specialised area of knowledge; a name for a concept.
- (of a patent) The maximum period during which the patent can be maintained into force.
- (logic) The subject or the predicate of a proposition; one of the three component parts of a syllogism, each one of which is used twice.
- Certain days on which rent is paid.
- Any of the binding conditions or promises in a legal contract.
- (computing, informal) A computer program that emulates a physical terminal.
- (nautical) A piece of carved work placed under each end of the taffrail.
- One whose employment has been terminated
- That which limits the extent of anything; limit, extremity, bound, boundary, terminus.
- (art) A statue of the upper body, sometimes without the arms, ending in a pillar or pedestal.
- The time during which legal courts are open.
- With respect to a pregnancy, the usual duration of gestation for the given species (for example, nine months in humans); (metonymic) the end of this duration: the timepoint at which birth usually happens (for example, in humans, approximately 40 weeks from conception), defining the due date.
- Duration of officeholding, or its limit; period in office of fixed length.
- Relations among people.
verb
adj
noun
- (propositional calculus) The hypothesis of an implication
- (electrical engineering) On a Karnaugh map: a set of ones (whose quantity is a power of two) which are related by adjacency (i.e., the set is connected, if the Karnaugh map is considered to be a graph which "wraps around" its edges, like a torus; and all elements of the subgraph induced by the set have the same degree). Equivalently, in terms of Boolean algebra, a product term which, when true, always implies that the given Boolean function is true.
noun
- Inference based on reasoning from given propositions.
- The addition of arguments to a model; parameterization.
- An exchange of arguments
- a discussion in which reasons are advanced for and against some proposition or proposal
- a course of reasoning aimed at demonstrating a truth or falsehood; the methodical process of logical reasoning
noun
- a classification of propositions on the basis of whether they claim necessity or possibility or impossibility
- (logic) The classification of propositions on the basis on whether they claim possibility, impossibility, contingency or necessity; mode.
- a method of therapy that involves physical or electrical therapeutic treatment
- verb inflections that express how the action or state is conceived by the speaker
- a particular sense
- (astrology) That whether a zodiac sign is cardinal, fixed or mutable
- (semiotics) A particular way in which the information is to be encoded for presentation to humans, i.e. to the type of sign and to the status of reality ascribed to or claimed by a sign, text or genre.
- (grammar) The inflection of a verb that shows how its action is conceived by the speaker.
- (music) The subject concerning certain diatonic scales known as musical modes.
- The fact of being modal.
- (law) The quality of being limited by a condition.
- (medicine) A method of diagnosis or therapy.
- (sociology) The way in which infrastructure and knowledge of how to use it give rise to a meaningful pattern of interaction (a concept in Anthony Giddens's structuration theory).
- Any of the senses (such as sight or taste)
- (theology) The organization and structure of the church, as distinct from sodality or parachurch organizations.
noun
- a classification of propositions on the basis of whether they claim necessity or possibility or impossibility
- how something is done or how it happens
- the most frequent value of a random variable
- any of various fixed orders of the various diatonic notes within an octave
- verb inflections that express how the action or state is conceived by the speaker
- a particular functioning condition or arrangement
- (philosophy) That which exists only as a quality of substance.
- (electronics) A series of settings on a device used for a specific purpose.
- (music, in particular) One of several ancient Greek scales.
- (textiles) The openwork between the solid parts of a pattern.
- (computing) One of various related sets of rules for processing data; more generally, any state of the system associated with certain behaviours.
- A particular state of being, or frame of mind.
- Style or fashion; popular trend.
- A particular means of accomplishing something.
- (electromagnetism) A wave pattern in the electromagnetic field.
- (statistics) The most frequently occurring value in a distribution.
- (especially engineering) A state related to signals or vibrations.
- (music) One of several common scales in modern Western music, one of which corresponds to the modern major scale and one to the natural minor scale.
- (video games) A variation in gameplay, such as a difficulty level.
- (grammar) A verb form that depends on how its containing clause relates to the speaker’s or writer’s wish, intent, or assertion about reality.
noun
- a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
- (logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.
noun
- (logic) the first term of a proposition
- some situation or event that is thought about
- the subject matter of a conversation or discussion
- 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
- 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.
- (logic) That of which something is stated.
- 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.
adj
- likely to be affected by something
- being under the power or sovereignty of another or others
- possibly accepting or permitting
- 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.
verb
- make subservient; force to submit or subdue
- cause to experience or suffer or make liable or vulnerable to
- make accountable for
- (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.
noun
- (logic) The conditional part of a hypothetical proposition, i.e. p→q, where p is the antecedent, and q is the consequent.
- (mathematics) The first term of a ratio, i.e. the term a in the ratio a:b, the other being the consequent.
- (chiefly in the plural) Previous principles, conduct, history, etc.
- (logic) The first of two subsets of a sequent, consisting of all the sequent's formulae which are valuated as true.
- Any thing that precedes another thing, especially the cause of the second thing.
- (grammar) A word, phrase or clause referred to by a pronoun or other pro-form.
- An ancestor.
- a preceding occurrence or cause or event
- the referent of an anaphor; a phrase or clause that is referred to by an anaphoric pronoun
- someone from whom you are descended (but usually more remote than a grandparent)
- anything that precedes something similar in time
adj
noun
adj
- (geometry) Having, or being in, a contrary order; said of a section of an oblique cone having a circular base made by a plane not parallel to the base, but so inclined to the axis that the section is a circle; applied also to two similar triangles when so placed as to have a common angle at the vertex, the opposite sides not being parallel.
- (logic) Denoting the relation of opposition between the particular affirmative and particular negative. Of these both may be true and only one can be false.
noun
- (logic) The proposition resulting from the combination of two or more propositions using the ∧ ( and ) operator.
- (astrology) An aspect in which planets are in close proximity to one another.
- (grammar) A word used to join other words, phrases, or clauses together into sentences. (The specific conjunction used shows how the two joined parts are related semantically.)
- The act of joining, or condition of being joined.
- (astronomy) The alignment of two bodies in the solar system such that they have the same longitude when seen from Earth.
- A place where multiple things meet.
- Cooccurrence; coincidence.
- the state of being joined together
- something that joins or connects
- the grammatical relation between linguistic units (words or phrases or clauses) that are connected by a conjunction
- the temporal property of two things happening at the same time
- an uninflected function word that serves to conjoin words or phrases or clauses or sentences
- (astronomy) apparent meeting or passing of two or more celestial bodies in the same degree of the zodiac
noun
- (logic) A propositional variable, or the negation of a propositional variable. ᵂᵖ
- (epigraphy, typography) A misprint (or occasionally a scribal error) that affects a letter.
- (programming) A value, as opposed to an identifier, written into the source code of a computer program.
- Misspelling of littoral.
- a mistake in printed matter resulting from mechanical failures of some kind
adj
- (theology, specifically) Following the historical-grammatical method of biblical interpretation.
- (proscribed) Used nonliterally as an intensifier. See literally for usage notes.
- Actual, real, physical.
- Exactly as stated; read or understood without interpretation; according to the letter; not figurative or metaphorical; following the letter or exact words; not taking liberties; etymonic rather than idiomatic.
- (uncommon) Consisting of, or expressed by, letters (of an alphabet); using literation.
- (loosely) That which generally assumes that the plainest reading of a given text is correct but which allows for metaphor where context indicates it.
- (of a person) Unimaginative; matter-of-fact; literal-minded.
- Misspelling of littoral.
- being or reflecting the essential or genuine character of something
- avoiding embellishment or exaggeration (used for emphasis)
- without interpretation or embellishment
- limited to the explicit meaning of a word or text
noun
- (logic) The difference of quantity or quality between two propositions having the same subject and predicate.
- The action of opposing or of being in conflict.
- (law) In United States intellectual property law, a proceeding in which an interested party seeks to prevent the registration of a trademark or patent.
- (politics) A political party or movement opposed to the party or government in power.
- An opposite or contrasting position.
- (chess) A position in which the player on the move must yield with his king allowing his opponent to advance with his own king.
- (astronomy) The apparent relative position of two celestial bodies when one is at an angle of 180 degrees from the other as seen from the Earth.
- a direction opposite to another
- a body of people united in opposing something
- the relation between opposed entities
- a contestant that you are matched against
- the act of hostile groups opposing each other
- an armed adversary (especially a member of an opposing military force)
- the action of opposing something that you disapprove or disagree with
noun
- a proposition deducible from basic postulates
- an idea accepted as a demonstrable truth
- (logic) A syntactically correct expression that is deducible from the given axioms of a deductive system.
- (mathematics) A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.
- (mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true.
verb
noun
- a logical relation such that two propositions are contraries if both cannot be true but both can be false
- a relation of direct opposition
- exact opposition
- (logic) One of a pair of propositions that cannot both be simultaneously true, though they may both be false.
- (historical) A type of loaded die.
- The opposite.
adj
- of words or propositions so related that both cannot be true but both may be false
- resistant to guidance or discipline
- very opposed in nature or character or purpose
- in an opposing direction
- Opposed; contradictory; inconsistent.
- Opposite; in an opposite direction; in opposition; adverse.
- Given to opposition; perverse; wayward.
adv
noun
- (logic) One of the propositions making up a syllogism.
- Part of an animal capable of performing a distinct office; an organ; a limb.
- (Australia, law) the judge or adjudicator in a consumer court.
- (object-oriented programming) A function or piece of data associated with each separate instance of a class.
- (mathematics) Either of the two parts of an algebraic equation, connected by the equality sign.
- (set theory) An element of a set.
- (euphemistic) The penis.
- One who belongs to a group.
- A part of a whole.
- A part of a discourse or of a period, sentence, or verse; a clause.
- (computing) A file stored within an archive file.
- the male sex organ
- one of the persons who compose a social group (especially individuals who have joined and participate in a group organization)
- an external body part that projects from the body
- anything that belongs to a set or class
- an organization that is a member of another organization (especially a state that belongs to a group of nations)
noun
adj
- of words or propositions so related that both cannot be true and both cannot be false
- unable for both to exist or be true at the same time
- in disagreement
- that confounds or contradicts or confuses
- That is diametrically opposed to something.
- Tending to contradict or oppose, contrarious.
- Mutually exclusive.
- That contradicts something, such as an argument.
- That is itself a contradiction.
noun
- a logical relation between propositions p and q of the form ‘if p then q’; if p is true then q cannot be false
- (countable, logic) The connective in propositional calculus that, when joining two predicates A and B in that order, has the meaning "if A is true, then B is true".
- a relation implicated by virtue of involvement or close connection (especially an incriminating involvement)
- something that is inferred (deduced or entailed or implied)
- an accusation that brings into intimate and usually incriminating connection
- a meaning that is not expressly stated but can be inferred
- (countable, uncountable) An implying, or that which is implied, but not expressed; an inference, or something which may fairly be understood, though not expressed in words.
- (uncountable) The state of being implicated.
- (uncountable) The act of implicating.
- (countable) A possible, or indirect, effect or result of a decision or action.
- Logical consequence.
adj
- (logic) Of, or relating to the modality between propositions.
- Of, or relating to a mode or modus.
- (graphical user interface) Requiring immediate user interaction and thus presented so that it cannot be closed or interacted behind until a decision is made.
- (music) Of, relating to, or composed in the musical modi by which an octave is divided, associated with emotional moods in Ancient — and in medieval ecclesiastical — music.
- (computing) Having separate modes in which user input has different effects.
- (metaphysics) Relating to the form of a thing rather to any of its attributes.
- (of music, by extension) In a mode which is not major or minor scale, the standard modes used in the Western musical tradition.
- (statistics) Relating to the statistical mode.
- (grammar) Of, relating to, or describing the mood of a clause.
- relating to or constituting the most frequent value in a distribution
- relating to or expressing the mood of a verb
- of or relating to a musical mode; especially written in an ecclesiastical mode
noun
- (logic) A modal proposition.
- (fabric) A semi-synthetic fabric, a very soft kind of rayon textile made from beech tree pulp and processed with chemicals.
- (grammar) A modal verb.
- (graphical user interface) A modal window, one that cannot be closed until a decision is made.
- (linguistics) A modal form, notably a modal auxiliary.
- an auxiliary verb (such as ‘can’ or ‘will’) that is used to express modality
noun
adj
noun
- a subsidiary proposition that is assumed to be true in order to prove another proposition
- 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
- (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.
- (mathematics) A proposition proved or accepted for immediate use in the proof of some other proposition.
- (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.
verb
- make the (grammatical) predicate in a proposition
- involve as a necessary condition of consequence; as in logic
- affirm or declare as an attribute or quality of
- (transitive, grammar) To make a term (or expression) the predicate of a statement.
- (transitive, logic) To assert or state as an attribute or quality of something.
- (transitive) To assume or suppose; to infer.
- (transitive, originally US) To base (on); to assert on the grounds of.
- (transitive) To announce, assert, or proclaim publicly.
noun
- (logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula
- one of the two main constituents of a sentence; the predicate contains the verb and its complements
- (programming) An operator, expression, or function that returns either true or false.
- (grammar) The part of the sentence (or clause) which states a property that a subject has or is characterized by.
- (logic) A term of a statement, where the statement may be true or false depending on whether the thing referred to by the values of the statement's variables has the property signified by that (predicative) term.
adj
noun
- (logic) The proposition resulting from the combination of two or more propositions using the or operator.
- (biology) During meiosis, the separation of chromosomes (homologous in meiosis I, and sister chromatids in meiosis II).
- (mathematics) A logical operator that results in “true” when any of its operands are true.
- The state of being disjoined, contrasting, or opposing.
- The act of disjoining; disunion, separation.
- the act of breaking a connection
- state of being disconnected
noun
- a proposition obtained by conversion
- (graph theory) Synonym of transpose.
- (now literary) Free verbal interchange of thoughts or views; conversation; chat.
- (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.
- The opposite or reverse.
- (semantics) One of a pair of terms that name or describe a relationship from opposite perspectives; converse antonym; relational antonym.
adj
verb
verb
- make the (grammatical) predicate in a proposition
- involve as a necessary condition of consequence; as in logic
- affirm or declare as an attribute or quality of
- (transitive, grammar) To make a term (or expression) the predicate of a statement.
- (transitive, logic) To assert or state as an attribute or quality of something.
- (transitive) To assume or suppose; to infer.
- (transitive, originally US) To base (on); to assert on the grounds of.
- (transitive) To announce, assert, or proclaim publicly.
noun
- (logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula
- one of the two main constituents of a sentence; the predicate contains the verb and its complements
- (programming) An operator, expression, or function that returns either true or false.
- (grammar) The part of the sentence (or clause) which states a property that a subject has or is characterized by.
- (logic) A term of a statement, where the statement may be true or false depending on whether the thing referred to by the values of the statement's variables has the property signified by that (predicative) term.
adj
verb
- (of a proposition) seem to be true, probable, or apparent
- appear as a character on stage or appear in a play, etc.
- come into sight or view
- be issued or published
- present oneself formally, as before a (judicial) authority
- come into being or existence, or appear on the scene
- give a certain impression of being something or having a certain aspect
- (transitive) To bring into view
- (intransitive) To come before the public.
- (intransitive) To become visible to the apprehension of the mind; to be known as a subject of observation or comprehension, or as a thing proved; to be obvious or manifest.
- (intransitive) To stand in presence of some authority, tribunal, or superior person, to answer a charge, plead a cause, etc.; to present oneself as a party or advocate before a court, or as a person to be tried.
- (intransitive, copulative) To seem; to have a certain semblance; to look.
- (intransitive) To come or be in sight; to be in view; to become visible.
adj
- (logic) Of, or relating to the modality between propositions.
- Of, or relating to a mode or modus.
- (graphical user interface) Requiring immediate user interaction and thus presented so that it cannot be closed or interacted behind until a decision is made.
- (music) Of, relating to, or composed in the musical modi by which an octave is divided, associated with emotional moods in Ancient — and in medieval ecclesiastical — music.
- (computing) Having separate modes in which user input has different effects.
- (metaphysics) Relating to the form of a thing rather to any of its attributes.
- (of music, by extension) In a mode which is not major or minor scale, the standard modes used in the Western musical tradition.
- (statistics) Relating to the statistical mode.
- (grammar) Of, relating to, or describing the mood of a clause.
- relating to or constituting the most frequent value in a distribution
- relating to or expressing the mood of a verb
- of or relating to a musical mode; especially written in an ecclesiastical mode
noun
- (logic) A modal proposition.
- (fabric) A semi-synthetic fabric, a very soft kind of rayon textile made from beech tree pulp and processed with chemicals.
- (grammar) A modal verb.
- (graphical user interface) A modal window, one that cannot be closed until a decision is made.
- (linguistics) A modal form, notably a modal auxiliary.
- an auxiliary verb (such as ‘can’ or ‘will’) that is used to express modality
adj
- (logic) Expressing the agreement of the two terms of a proposition.
- (algebra) positive; not negative
- positive
- pertaining to any assertion or active confirmation that favors a particular result
- Dogmatic.
- pertaining to truth; asserting that something is; affirming
- Confirmative; ratifying.
- expecting the best
- affirming or giving assent
- expressing or manifesting praise or approval
intj
noun
adj
- of a proposition; necessarily true or logically certain
- Affording proof; demonstrative.
- (logic) Of the characteristic feature of a proposition that is necessary (or impossible): perfectly certain (or inconceivable) or incontrovertibly true (or false); self-evident.
- Incontrovertible; demonstrably true or certain.
adj
- of a proposition; necessarily true or logically certain
- Incontrovertible; demonstrably true or certain.
- (Biblical studies, theology) Absolute and without explanation, as in a command from God like "Thou shalt not kill!"
- Being a style of argument in which a person presents their reasoning as categorically true, even if it is not necessarily so.
adj
- of words or propositions so related that each is the negation of the other
- acting as or providing a complement (something that completes the whole)
- (genetics) Of the specific pairings of the bases in DNA and RNA.
- (physics) Pertaining to pairs of properties in quantum mechanics that are inversely related to each other, such as speed and position, or energy and time. (See also Heisenberg uncertainty principle.)
- Acting as a complement; making up a whole with something else.
noun
adj
noun
- (logic) A subaltern proposition; a proposition implied by a universal proposition.
- A subordinate.
- (British, military) A commissioned officer having a rank below that of captain; a lieutenant or second lieutenant.
- (social sciences, literary theory) A member of a group that is socially, politically and geographically outside of the hegemonic power structure of the colony and of the colonial homeland.
- a British commissioned army officer below the rank of captain
noun
- a logical relation such that two propositions are contraries if both cannot be true but both can be false
- a relation of direct opposition
- exact opposition
- (logic) One of a pair of propositions that cannot both be simultaneously true, though they may both be false.
- (historical) A type of loaded die.
- The opposite.
adj
- of words or propositions so related that both cannot be true but both may be false
- resistant to guidance or discipline
- very opposed in nature or character or purpose
- in an opposing direction
- Opposed; contradictory; inconsistent.
- Opposite; in an opposite direction; in opposition; adverse.
- Given to opposition; perverse; wayward.