Hyperonyms
(has_hyperonym)
|
06722453-n:
a message that is stated or declared; a communication (oral or written) setting forth particulars or facts etc
|
Hyponyms
(has_hyponym)
|
06751142-n:
(logic) a proposition that asserts something about some (but not all) members of a class
|
Hyponyms
(has_hyponym)
|
06751367-n:
(logic) a proposition that asserts something of all members of a class
|
Hyponyms
(has_hyponym)
|
06751572-n:
(logic) a proposition that is true if and only if another proposition is false
|
Hyponyms
(has_hyponym)
|
06751742-n:
a proposition obtained by conversion
|
Hyponyms
(has_hyponym)
|
06751833-n:
a subsidiary proposition that is assumed to be true in order to prove another proposition
|
Hyponyms
(has_hyponym)
|
06752293-n:
a proposition deducible from basic postulates
|
Hyponyms
(has_hyponym)
|
06753030-n:
the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)
|
Hyponyms
(has_hyponym)
|
06753299-n:
(logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
|
Hyponyms
(has_hyponym)
|
06753550-n:
(logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
|
Hyponyms
(has_hyponym)
|
80000511-n:
|
Meronyms
(has_mero_part)
|
06751974-n:
one of the substantive phrases in a logical proposition
|
Domain
(category)
|
06163751-n:
the branch of philosophy that analyzes inference
|
Glosses
(gloss)
|
00816556-v:
declare untrue; contradict
|
Glosses
(gloss)
|
01011725-v:
say yes to
|
Glosses
(gloss)
|
02460502-a:
consistent with fact or reality; not false
|
Glosses
(gloss)
|
02461723-a:
not in accordance with the fact or reality or actuality
|
Glosses
(gloss)
|
06722453-n:
a message that is stated or declared; a communication (oral or written) setting forth particulars or facts etc
|
Glosses
(rgloss)
|
00110853-a:
of a proposition that is necessarily true independent of fact or experience
|
Glosses
(rgloss)
|
00111129-a:
of a proposition whose truth value is determined by observation or facts
|
Glosses
(rgloss)
|
01017222-v:
make the (grammatical) predicate in a proposition
|
Glosses
(rgloss)
|
02381963-a:
of words or propositions so related that each is the negation of the other
|
Glosses
(rgloss)
|
02382144-a:
of words or propositions so related that both cannot be true and both cannot be false
|
Glosses
(rgloss)
|
02382396-a:
of words or propositions so related that both cannot be true but both may be false
|
Glosses
(rgloss)
|
02461295-a:
of a proposition; necessarily true or logically certain
|
Glosses
(rgloss)
|
02592890-a:
of a term or phrase capable of standing as the subject or (especially) the predicate of a proposition
|
Glosses
(rgloss)
|
02593269-a:
of a term that cannot stand as the subject or (especially) the predicate of a proposition but must be used in conjunction with other terms
|
Glosses
(rgloss)
|
02667741-a:
of or relating to a combinatorial system devised by George Boole that combines propositions with the logical operators AND and OR and IF THEN and EXCEPT and NOT
|
Glosses
(rgloss)
|
04785195-n:
(logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
|
Glosses
(rgloss)
|
04785414-n:
(logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system
|
Glosses
(rgloss)
|
05780563-n:
(logic) an inference that follows directly from the proof of another proposition
|
Glosses
(rgloss)
|
05780718-n:
a line of reasoning that shows how a conclusion follows logically from accepted propositions
|
Glosses
(rgloss)
|
05824985-n:
(reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd; or a proof of a proposition by showing that its negation leads to a contradiction
|
Glosses
(rgloss)
|
05894311-n:
the logical fallacy of using as a true premise a proposition that is yet to be proved
|
Glosses
(rgloss)
|
05974363-n:
(philosophy) the doctrine that the meaning of a proposition consists of the operations involved in proving or applying it
|
Glosses
(rgloss)
|
06165147-n:
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
|
Glosses
(rgloss)
|
06165364-n:
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
|
Glosses
(rgloss)
|
06165623-n:
a limitation imposed on the variables of a proposition (as by the quantifiers `some' or `all' or `no')
|
Glosses
(rgloss)
|
06302542-n:
(logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
|
Glosses
(rgloss)
|
06302755-n:
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
|
Glosses
(rgloss)
|
06302967-n:
a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things
|
Glosses
(rgloss)
|
06310125-n:
(logic) the first term of a proposition
|
Glosses
(rgloss)
|
06316813-n:
(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
|
Glosses
(rgloss)
|
06603242-n:
the first term in a proposition; the term to which other terms relate
|
Glosses
(rgloss)
|
06603366-n:
a term in a proposition that is related to the referent of the proposition
|
Glosses
(rgloss)
|
06648046-n:
proof by a process of argument or a series of proposition proving an asserted conclusion
|
Glosses
(rgloss)
|
06751572-n:
(logic) a proposition that is true if and only if another proposition is false
|
Glosses
(rgloss)
|
06751742-n:
a proposition obtained by conversion
|
Glosses
(rgloss)
|
06751833-n:
a subsidiary proposition that is assumed to be true in order to prove another proposition
|
Glosses
(rgloss)
|
06751974-n:
one of the substantive phrases in a logical proposition
|
Glosses
(rgloss)
|
06752293-n:
a proposition deducible from basic postulates
|
Glosses
(rgloss)
|
06752410-n:
a categorematic expression; a term capable of standing alone as the subject or predicate of a logical proposition
|
Glosses
(rgloss)
|
06752695-n:
a syncategorematic expression; a word that cannot be used alone as a term in a logical proposition
|
Glosses
(rgloss)
|
06753030-n:
the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)
|
Glosses
(rgloss)
|
06753299-n:
(logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
|
Glosses
(rgloss)
|
06753550-n:
(logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
|
Glosses
(rgloss)
|
07102483-n:
interchange of subject and predicate of a proposition
|
Glosses
(rgloss)
|
13783038-n:
a relation between propositions
|
Glosses
(rgloss)
|
13783259-n:
two propositions are contradictories if both cannot be true (or both cannot be false) at the same time
|
Glosses
(rgloss)
|
13783421-n:
a logical relation such that two propositions are contraries if both cannot be true but both can be false
|
Glosses
(rgloss)
|
13802634-n:
a classification of propositions on the basis of whether they claim necessity or possibility or impossibility
|
Glosses
(rgloss)
|
13858045-n:
the relation between propositions that cannot both be true at the same time
|
Glosses
(rgloss)
|
13860281-n:
a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false
|
