| slovo | definícia |
proposition
(mass) | proposition
- tvrdenie, záležitosť |
proposition
(encz) | proposition,nabídka n: Zdeněk Brož |
proposition
(encz) | proposition,nabídnutí n: Zdeněk Brož |
proposition
(encz) | proposition,návrh n: Zdeněk Brož |
proposition
(encz) | proposition,navrhnutí n: Zdeněk Brož |
proposition
(encz) | proposition,nemravný návrh n: Pavel Machek |
proposition
(encz) | proposition,poučka n: Zdeněk Brož |
proposition
(encz) | proposition,tvrzení n: Zdeněk Brož |
proposition
(encz) | proposition,věc n: Zdeněk Brož |
proposition
(encz) | proposition,výrok n: Zdeněk Brož |
proposition
(encz) | proposition,záležitost n: Zdeněk Brož |
Proposition
(gcide) | Proposition \Prop`o*si"tion\, n. [L. propositio: cf. F.
proposition. See Propound.]
1. The act of setting or placing before; the act of offering.
"Oblations for the altar of proposition." --Jer. Taylor.
[1913 Webster]
2. That which is proposed; that which is offered, as for
consideration, acceptance, or adoption; a proposal; as,
the enemy made propositions of peace; his proposition was
not accepted.
[1913 Webster]
3. A statement of religious doctrine; an article of faith;
creed; as, the propositions of Wyclif and Huss.
[1913 Webster]
Some persons . . . change their propositions
according as their temporal necessities or
advantages do turn. --Jer. Taylor.
[1913 Webster]
4. (Gram. & Logic) A complete sentence, or part of a sentence
consisting of a subject and predicate united by a copula;
a thought expressed or propounded in language; a from of
speech in which a predicate is affirmed or denied of a
subject; as, snow is white.
[1913 Webster]
5. (Math.) A statement in terms of a truth to be
demonstrated, or of an operation to be performed.
[1913 Webster]
Note: It is called a theorem when it is something to be
proved, and a problem when it is something to be done.
[1913 Webster]
6. (Rhet.) That which is offered or affirmed as the subject
of the discourse; anything stated or affirmed for
discussion or illustration.
[1913 Webster]
7. (Poetry) The part of a poem in which the author states the
subject or matter of it.
[1913 Webster]
Leaves of proposition (Jewish Antiq.), the showbread.
--Wyclif (Luke vi. 4).
[1913 Webster]
Syn: Proposal; offer; statement; declaration.
Usage: Proposition, Proposal. These words are both from
the Latin verb proponere, to set forth, and as here
compared they mark different forms or stages of a
negotiation. A proposition is something presented for
discussion or consideration; as, propositions of
peace. A proposal is some definite thing offered by
one party to be accepted or rejected by the other. If
the proposition is favorably received, it is usually
followed by proposals which complete the arrangement.
[1913 Webster] |
proposition
(wn) | proposition
n 1: (logic) a statement that affirms or denies something and is
either true or false
2: a proposal offered for acceptance or rejection; "it was a
suggestion we couldn't refuse" [syn: suggestion,
proposition, proffer]
3: an offer for a private bargain (especially a request for
sexual favors)
4: the act of making a proposal; "they listened to her proposal"
[syn: proposal, proposition]
5: a task to be dealt with; "securing adequate funding is a
time-consuming proposition"
v 1: suggest sex to; "She was propositioned by a stranger at the
party" |
proposition
(foldoc) | proposition
A statement in propositional logic which may be
either true or false. Each proposition is typically
represented by a letter in a formula such as "p => q",
meaning proposition p implies proposition q.
(2006-03-14)
|
PROPOSITION
(bouvier) | PROPOSITION. An offer to do something. Until it has been accepted, a
proposition may be withdrawn by the party who makes it; and to be binding,
the acceptance must be in the same terms, without any variation. Vide
Acceptance; Offer; To retract; and 1 L. R. 190; 4 L. R. 80.
|
| | podobné slovo | definícia |
proposition
(mass) | proposition
- tvrdenie, záležitosť |
complete propositional calculus
(encz) | complete propositional calculus,úplný výrokový kalkulus n: [mat.] Ivan
Masár |
proposition
(encz) | proposition,nabídka n: Zdeněk Brožproposition,nabídnutí n: Zdeněk Brožproposition,návrh n: Zdeněk Brožproposition,navrhnutí n: Zdeněk Brožproposition,nemravný návrh n: Pavel Machekproposition,poučka n: Zdeněk Brožproposition,tvrzení n: Zdeněk Brožproposition,věc n: Zdeněk Brožproposition,výrok n: Zdeněk Brožproposition,záležitost n: Zdeněk Brož |
propositional
(encz) | propositional,výrokový adj: Zdeněk Brož |
propositional calculus
(encz) | propositional calculus,výroková logika n: [mat.] Ivan Masárpropositional calculus,výrokový kalkulus n: [mat.] Ivan Masár |
propositional logic
(encz) | propositional logic,výroková logika n: [mat.] Ivan Masárpropositional logic,výrokový kalkulus n: [mat.] Ivan Masár |
propositionally
(encz) | propositionally, |
propositions
(encz) | propositions,návrhy n: pl. Zdeněk Brož |
sound propositional calculus
(encz) | sound propositional calculus,zdravý výrokový kalkulus n: [mat.] Ivan
Masár |
uneconomic proposition
(encz) | uneconomic proposition,nehospodárný návrh [eko.] RNDr. Pavel Piskač |
Discretive proposition
(gcide) | Discretive \Dis*cre"tive\, a. [L. discretivus. See Discrete.]
Marking distinction or separation; disjunctive.
[1913 Webster]
Discretive proposition (Logic & Gram.), one that expresses
distinction, opposition, or variety, by means of
discretive particles, as but, though, yet, etc.; as,
travelers change their climate, but not their temper.
[1913 Webster] |
Disjunctive proposition
(gcide) | Disjunctive \Dis*junc"tive\, a. [L. disjunctivus: cf. F.
disjonctif.]
1. Tending to disjoin; separating; disjoining.
[1913 Webster]
2. (Mus.) Pertaining to disjunct tetrachords. "Disjunctive
notes." --Moore (Encyc. of Music).
[1913 Webster]
Disjunctive conjunction (Gram.), one connecting
grammatically two words or clauses, expressing at the same
time an opposition or separation inherent in the notions
or thoughts; as, either, or, neither, nor, but, although,
except, lest, etc.
Disjunctive proposition, a proposition in which the parts
are connected by disjunctive conjunctions, specifying that
one of two or more propositions may hold, but that no two
propositions may hold at the same time; as it is either
day or night.
Disjunctive syllogism (Logic), one in which the major
proposition is disjunctive; as, the earth moves in a
circle or an ellipse; but in does not move in a circle,
therefore it moves in an ellipse.
[1913 Webster] |
Incident proposition
(gcide) | Incident \In"ci*dent\, a. [L. incidens, -entis, p. pr. & of
incidere to fall into or upon; pref. in- in, on + cadere to
fall: cf. F. incident. See Cadence.]
[1913 Webster]
1. Falling or striking upon, as a ray of light upon a
reflecting surface.
[1913 Webster]
2. Coming or happening accidentally; not in the usual course
of things; not in connection with the main design; not
according to expectation; casual; fortuitous.
[1913 Webster]
As the ordinary course of common affairs is disposed
of by general laws, so likewise men's rarer incident
necessities and utilities should be with special
equity considered. --Hooker.
[1913 Webster]
3. Liable to happen; apt to occur; befalling; hence,
naturally happening or appertaining.
[1913 Webster]
All chances incident to man's frail life. --Milton.
[1913 Webster]
The studies incident to his profession. --Milward.
[1913 Webster]
4. (Law) Dependent upon, or appertaining to, another thing,
called the principal.
[1913 Webster]
Incident proposition (Logic), a proposition subordinate to
another, and introduced by who, which, whose, whom, etc.;
as, Julius, whose surname was C[ae]sar, overcame Pompey.
--I. Watts.
[1913 Webster] |
Indefinite proposition
(gcide) | Indefinite \In*def"i*nite\, a. [L. indefinitus. See In- not,
and Definite.]
[1913 Webster]
1. Not definite; not limited, defined, or specified; not
explicit; not determined or fixed upon; not precise;
uncertain; vague; confused; obscure; as, an indefinite
time, plan, etc.
[1913 Webster]
It were to be wished that . . . men would leave off
that indefinite way of vouching, "the chymists say
this," or "the chymists affirm that." --Boyle.
[1913 Webster]
The time of this last is left indefinite. --Dryden.
[1913 Webster]
2. Having no determined or certain limits; large and
unmeasured, though not infinite; unlimited; as, indefinite
space; the indefinite extension of a straight line.
[1913 Webster]
Though it is not infinite, it may be indefinite;
though it is not boundless in itself, it may be so
to human comprehension. --Spectator.
[1913 Webster]
3. Boundless; infinite. [R.]
[1913 Webster]
Indefinite and omnipresent God,
Inhabiting eternity. --W. Thompson
(1745).
[1913 Webster]
4. (Bot.) Too numerous or variable to make a particular
enumeration important; -- said of the parts of a flower,
and the like. Also, indeterminate.
[1913 Webster]
Indefinite article (Gram.), the word a or an, used with
nouns to denote any one of a common or general class.
Indefinite inflorescence. (Bot.) See {Indeterminate
inflorescence}, under Indeterminate.
Indefinite proposition (Logic), a statement whose subject
is a common term, with nothing to indicate distribution or
nondistribution; as, Man is mortal.
Indefinite term (Logic), a negative term; as, the not-good.
Syn: Inexplicit; vague; uncertain; unsettled; indeterminate;
loose; equivocal; inexact; approximate.
[1913 Webster] |
Leaves of proposition
(gcide) | Proposition \Prop`o*si"tion\, n. [L. propositio: cf. F.
proposition. See Propound.]
1. The act of setting or placing before; the act of offering.
"Oblations for the altar of proposition." --Jer. Taylor.
[1913 Webster]
2. That which is proposed; that which is offered, as for
consideration, acceptance, or adoption; a proposal; as,
the enemy made propositions of peace; his proposition was
not accepted.
[1913 Webster]
3. A statement of religious doctrine; an article of faith;
creed; as, the propositions of Wyclif and Huss.
[1913 Webster]
Some persons . . . change their propositions
according as their temporal necessities or
advantages do turn. --Jer. Taylor.
[1913 Webster]
4. (Gram. & Logic) A complete sentence, or part of a sentence
consisting of a subject and predicate united by a copula;
a thought expressed or propounded in language; a from of
speech in which a predicate is affirmed or denied of a
subject; as, snow is white.
[1913 Webster]
5. (Math.) A statement in terms of a truth to be
demonstrated, or of an operation to be performed.
[1913 Webster]
Note: It is called a theorem when it is something to be
proved, and a problem when it is something to be done.
[1913 Webster]
6. (Rhet.) That which is offered or affirmed as the subject
of the discourse; anything stated or affirmed for
discussion or illustration.
[1913 Webster]
7. (Poetry) The part of a poem in which the author states the
subject or matter of it.
[1913 Webster]
Leaves of proposition (Jewish Antiq.), the showbread.
--Wyclif (Luke vi. 4).
[1913 Webster]
Syn: Proposal; offer; statement; declaration.
Usage: Proposition, Proposal. These words are both from
the Latin verb proponere, to set forth, and as here
compared they mark different forms or stages of a
negotiation. A proposition is something presented for
discussion or consideration; as, propositions of
peace. A proposal is some definite thing offered by
one party to be accepted or rejected by the other. If
the proposition is favorably received, it is usually
followed by proposals which complete the arrangement.
[1913 Webster] |
Propositional
(gcide) | Propositional \Prop`o*si"tion*al\, a.
Pertaining to, or in the nature of, a proposition; considered
as a proposition; as, a propositional sense. --I. Watts.
[1913 Webster] |
Pythagorean proposition
(gcide) | Pythagorean \Pyth`a*go"re*an\, a. [L. Pythagoreus, Gr. ?.]
Of or pertaining to Pythagoras (a Greek philosopher, born
about 582 b. c.), or his philosophy.
[1913 Webster]
The central thought of the Pythagorean philosophy is
the idea of number, the recognition of the numerical
and mathematical relations of things. --Encyc. Brit.
[1913 Webster]
Pythagorean proposition (Geom.), the theorem that the
square described upon the hypothenuse of a plane
right-angled triangle is equal to the sum of the squares
described upon the other two sides.
Pythagorean system (Astron.), the commonly received system
of astronomy, first taught by Pythagoras, and afterward
revived by Copernicus, whence it is also called the
Copernican system.
Pythagorean letter. See Y.
[1913 Webster] |
Singular proposition
(gcide) | Singular \Sin"gu*lar\ (s[i^][ng]"g[-u]*l[~e]r), a. [OE.
singuler, F. singulier, fr. L. singularius, singularis, fr.
singulus single. See Single, a.]
1. Separate or apart from others; single; distinct. [Obs.]
--Bacon.
[1913 Webster]
And God forbid that all a company
Should rue a singular man's folly. --Chaucer.
[1913 Webster]
2. Engaged in by only one on a side; single. [Obs.]
[1913 Webster]
To try the matter thus together in a singular
combat. --Holinshed.
[1913 Webster]
3. (Logic) Existing by itself; single; individual.
[1913 Webster]
The idea which represents one . . . determinate
thing, is called a singular idea, whether simple,
complex, or compound. --I. Watts.
[1913 Webster]
4. (Law) Each; individual; as, to convey several parcels of
land, all and singular.
[1913 Webster]
5. (Gram.) Denoting one person or thing; as, the singular
number; -- opposed to dual and plural.
[1913 Webster]
6. Standing by itself; out of the ordinary course; unusual;
uncommon; strange; as, a singular phenomenon.
[1913 Webster]
So singular a sadness
Must have a cause as strange as the effect.
--Denham.
[1913 Webster]
7. Distinguished as existing in a very high degree; rarely
equaled; eminent; extraordinary; exceptional; as, a man of
singular gravity or attainments.
[1913 Webster]
8. Departing from general usage or expectations; odd;
whimsical; -- often implying disapproval or censure.
[1913 Webster]
His zeal
None seconded, as out of season judged,
Or singular and rash. --Milton.
[1913 Webster]
To be singular in anything that is wise and worthy,
is not a disparagement, but a praise. --Tillotson.
[1913 Webster]
9. Being alone; belonging to, or being, that of which there
is but one; unique.
[1913 Webster]
These busts of the emperors and empresses are all
very scarce, and some of them almost singular in
their kind. --Addison.
[1913 Webster]
Singular point in a curve (Math.), a point at which the
curve possesses some peculiar properties not possessed by
other points of the curve, as a cusp point, or a multiple
point.
Singular proposition (Logic), a proposition having as its
subject a singular term, or a common term limited to an
individual by means of a singular sign. --Whately.
Singular succession (Civil Law), division among individual
successors, as distinguished from universal succession, by
which an estate descended in intestacy to the heirs in
mass.
Singular term (Logic), a term which represents or stands
for a single individual.
[1913 Webster]
Syn: Unexampled; unprecedented; eminent; extraordinary;
remarkable; uncommon; rare; unusual; peculiar; strange;
odd; eccentric; fantastic.
[1913 Webster] |
particular proposition
(wn) | particular proposition
n 1: (logic) a proposition that asserts something about some
(but not all) members of a class [syn: particular,
particular proposition] [ant: universal, {universal
proposition}] |
proposition
(wn) | proposition
n 1: (logic) a statement that affirms or denies something and is
either true or false
2: a proposal offered for acceptance or rejection; "it was a
suggestion we couldn't refuse" [syn: suggestion,
proposition, proffer]
3: an offer for a private bargain (especially a request for
sexual favors)
4: the act of making a proposal; "they listened to her proposal"
[syn: proposal, proposition]
5: a task to be dealt with; "securing adequate funding is a
time-consuming proposition"
v 1: suggest sex to; "She was propositioned by a stranger at the
party" |
propositional calculus
(wn) | propositional calculus
n 1: a branch of symbolic logic dealing with propositions as
units and with their combinations and the connectives that
relate them [syn: propositional logic, {propositional
calculus}] |
propositional logic
(wn) | propositional logic
n 1: a branch of symbolic logic dealing with propositions as
units and with their combinations and the connectives that
relate them [syn: propositional logic, {propositional
calculus}] |
universal proposition
(wn) | universal proposition
n 1: (logic) a proposition that asserts something of all members
of a class [syn: universal, universal proposition]
[ant: particular, particular proposition] |
proposition
(foldoc) | proposition
A statement in propositional logic which may be
either true or false. Each proposition is typically
represented by a letter in a formula such as "p => q",
meaning proposition p implies proposition q.
(2006-03-14)
|
proposition of a language useable for structured specifications
(foldoc) | Proposition of a Language Useable for Structured Specifications
(PLUSS)
An algebraic specification language, built on top of ASL.
["A First Introduction to PLUSS", M.C. Gaudel, TR, U Paris
Sud, Orsay 1984].
(2006-03-14)
|
propositional calculus
(foldoc) | propositional logic
propositional calculus
(or "propositional calculus") A system of {symbolic
logic} using symbols to stand for whole propositions and
logical connectives. Propositional logic only considers
whether a proposition is true or false. In contrast to
predicate logic, it does not consider the internal structure
of propositions.
(2002-05-21)
|
propositional logic
(foldoc) | propositional logic
propositional calculus
(or "propositional calculus") A system of {symbolic
logic} using symbols to stand for whole propositions and
logical connectives. Propositional logic only considers
whether a proposition is true or false. In contrast to
predicate logic, it does not consider the internal structure
of propositions.
(2002-05-21)
|
PROPOSITION
(bouvier) | PROPOSITION. An offer to do something. Until it has been accepted, a
proposition may be withdrawn by the party who makes it; and to be binding,
the acceptance must be in the same terms, without any variation. Vide
Acceptance; Offer; To retract; and 1 L. R. 190; 4 L. R. 80.
|
|