Relationship proposition
relations propositions constitute
item relations: a conceptual concrete objects. Lowercase letters.
relationship: a conceptual relationships between objects. Referred to as R
propositional relation general formula: R (a, b ...)
propertiesand symmetry relations are transitive. Categories
Relation Proposition
proposition symmetry relations
Symmetry proposition means to determine whether the relationship between objects symmetrical relationship proposition
means between the object is symmetrical: for two specific objects a, b, when objects having a relation R between the object and b, b between the object and whether the object has a relation R, that is to say for In particular two objects a, b, true when a R b, b R a whether true. Based on this, the symmetry relation can be divided into n symmetrical relationship proposition proposition, the proposition semi-symmetrical relationship and antisymmetric relation proposition.
(1) symmetrical relationship: a relationship between the objects a and R b and also has a relation R
(2) antisymmetric relation between a and b objects: Objects with a having a relation between b and R b between the object must not have a relationship with a R
(3) half-symmetrical relationship: R having the relationship between the object and the object a and b between a and b is not necessarily have a relationship of R
transitive relationship proposition
transitive relationship proposition proposition means to determine whether the relationship between the transfer object. It can transfer means between objects: For three or three (or more) objects a, b, c, when the object between the object b having a relation R, also has the relationship between objects and object b c when R, between a target and whether the object has a relation c R, that is to say for three or three types of objects a, b, c, true when a R b, b R c true, a R c if also true. Based on this, transitive relationship propositions can be classified into positive transfer relationship proposition, the proposition semi-transfer relationship and the relationship between the inverse transfer proposition
(1) Proposition positive transfer relationship: when the object between the object b having a relationship R when, between the object and the object b c also has a relation R, a and c have a certain relationship.
(2) Anti-transfer relationship Proposition: When R have a relationship between objects and object b a, b between the object and the object have a relation R c, a and c do not have this certain relationship.
(3) half-transfer relationship proposition: when R have a relationship between objects and object b a, b between the object and the object have a relation R c, a and c do not necessarily have this relationship.
reflexive relationship proposition
(1) reflexive relation: reflexive relationship is a relationship of things with itself. Such as: He committed suicide.
(2) non-reflexive relationships: itself can not occur. Such as: aggression, oppression. How much
relation to major items
reflexive relations have a primary term relationship, it is a relationship. Symmetry relations There are two main items of the relationship, the relationship is two. Transitive relationship has three main items of both the above relation, is a number of relationships.
Relation Proposition reasoning
relationship is the relationship between propositional reasoning premised proposition, and the introduction of a new relationship proposition for the conclusion of a logical reasoning based on relations feature propositions.
relations proposition reasoning is a simple proposition reasoning.
as: Wang and Zhang classmates.
So Zhang and Wang were classmates. Species
relations proposition reasoning
The number of premise number:
directly related to reasoning: Only one premise of the relationship reasoning.
Indirect Inference: there are two or more preconditions relationship reasoning.
nature of the premise and conclusion:
pure relationship reasoning: the premise and conclusion are all relations proposition
hybrid relational reasoning: In addition to the pure Inference Inference .
Latest: Switzerland Ruixin Bank
Next: Goys