| 释义 |
logical relation
Thesaurus| Noun | 1. | logical relation - a relation between propositionsrelation - an abstraction belonging to or characteristic of two entities or parts togetherlogic - the branch of philosophy that analyzes inferencecontradictory - two propositions are contradictories if both cannot be true (or both cannot be false) at the same timecontrary - a logical relation such that two propositions are contraries if both cannot be true but both can be falsetransitivity - (logic and mathematics) a relation between three elements such that if it holds between the first and second and it also holds between the second and third it must necessarily hold between the first and thirdreflexiveness, reflexivity - (logic and mathematics) a relation such that it holds between an element and itselfmodality, mode - a classification of propositions on the basis of whether they claim necessity or possibility or impossibilityconditional relation, logical implication, implication - a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false |
logical relation
logical relationA relation R satisfying
f R g <=> For all a, b, a R b => f a R g b
This definition, by Plotkin, can be used to extend thedefinition of a relation on the types of a and b to a relationon functions.logical relation
Related to logical relation: logical functionWords related to logical relationnoun a relation between propositionsRelated Words- relation
- logic
- contradictory
- contrary
- transitivity
- reflexiveness
- reflexivity
- modality
- mode
- conditional relation
- logical implication
- implication
|