Characteristics of the rightness relation for straightforward propositions

Traditional logic's general term for true-false relations between straightforward propositions. Let S and P represent the extents of the main and predicate terms of a straightforward proposition, and there are and only five relations between the two classes of S and P.

①SAP and SEP are different from true and can be the same as false,this kind of true-false relation is called opposition relation.

②SAP and SOP, SEP and SIP are different from true, different from false, this is a contradictory relationship.

3 SAP and SIP, SEP and SOP can be the same true, can be the same false, and the former is true when the latter is true, the latter is true when the former does not have to be true, this is a differential relationship.

4 SIP and SOP can be the same true, different false, this is the lower opposition relationship.

Extension:

< p>Measurement items: the circumference of the situation is different, so it is called "quantity".

The quantifier, also known as the quantifier of a straightforward proposition, is a lexical item that expresses the number of extents of the main item. There are two kinds of quantifiers: allometric quantifiers and idiosyncratic quantifiers. Generally use the word "all", "any", "every", "all" and so on; special quantitative items Generally, "some", "some", "exist", "at least one" and so on.

Definition of circumscription: in the proposition of nature, the assertion of the number of extensions of the main and predicate terms. That is, the circumscription is for the "term".

Baidu Encyclopedia - Straight Propositions