A Concise Introduction to Logic:
Chapter 4 Categorical Propositions
Categorical Proposition - ANSA proposition that relates two classes (or categories) (pg. 200).
Subject Term - ANSIn a standard-form categorical proposition, the term that comes immediately
after the quantifier (pg. 200).
Predicate Term - ANSIn a standard-form categorical proposition, the term that comes
immediately after the copula (pg. 200).
Standard-Form Categorical Proposition - ANSA proposition that has one of the following forms:
"All S are P" "No S are P" "Some S are P" "Some S are not P" (pg. 201).
Quantifiers - ANSIn standard-form categorical propositions, the words "all," "no," and "some"
(pg. 201).
Copula - ANSIn standard-form categorical propositions, the words "are" and "are not" (pg. 201).
Quality - ANSThe attribute of a categorical proposition by which it is either affirmative or
negative (pg. 204).
Affirmative Propositions (statements) - ANSA proposition/statement that asserts class
membership (pg. 204).
Negative Propositions (statements) - ANSA proposition/statement that denies class membership
(pg. 204).
Quantity - ANSThe attribute of a categorical proposition by which it is either universal or
particular (pg. 204).
Universal Propositions (statements) - ANSA proposition/statement that makes an assertion
about every member of its subject class (pg. 204).
Particular Propositions (statement) - ANSA proposition/statement that makes a claim about one
or more (but not all) members of a class (pg. 204).
A Proposition - ANSA categorical proposition having the form "All S are P" (pg. 204).
E Proposition - ANSA categorical proposition having the form "No S are P" (pg. 204).
Chapter 4 Categorical Propositions
Categorical Proposition - ANSA proposition that relates two classes (or categories) (pg. 200).
Subject Term - ANSIn a standard-form categorical proposition, the term that comes immediately
after the quantifier (pg. 200).
Predicate Term - ANSIn a standard-form categorical proposition, the term that comes
immediately after the copula (pg. 200).
Standard-Form Categorical Proposition - ANSA proposition that has one of the following forms:
"All S are P" "No S are P" "Some S are P" "Some S are not P" (pg. 201).
Quantifiers - ANSIn standard-form categorical propositions, the words "all," "no," and "some"
(pg. 201).
Copula - ANSIn standard-form categorical propositions, the words "are" and "are not" (pg. 201).
Quality - ANSThe attribute of a categorical proposition by which it is either affirmative or
negative (pg. 204).
Affirmative Propositions (statements) - ANSA proposition/statement that asserts class
membership (pg. 204).
Negative Propositions (statements) - ANSA proposition/statement that denies class membership
(pg. 204).
Quantity - ANSThe attribute of a categorical proposition by which it is either universal or
particular (pg. 204).
Universal Propositions (statements) - ANSA proposition/statement that makes an assertion
about every member of its subject class (pg. 204).
Particular Propositions (statement) - ANSA proposition/statement that makes a claim about one
or more (but not all) members of a class (pg. 204).
A Proposition - ANSA categorical proposition having the form "All S are P" (pg. 204).
E Proposition - ANSA categorical proposition having the form "No S are P" (pg. 204).