Propositions can be viewed from different standpoints and classified into different types:

__Composition__*Simple*– A simple proposition has only one subject and one predicate. For example, Love is happiness.*Complex*– When two or more simple propositions are combined into a single statement we get a complex or composite proposition. For example, She is graceful but cannot act.

__Generality__*Singular*– When in a proposition the subject refers to a definite, single object, the proposition is said to be singular proposition. For example, Kapil Dev is a good cricketer.*General*– When in a proposition the subject refers to many objects, the proposition is said to be a general proposition. For example, All hill stations are health resorts.

__Relation__*Categorical*– A proposition that affirms or denies something without any condition is called a categorical proposition. For example, The pillows are soft.*Conditional*– A conditional proposition consists of two categorical propositions that are so related to each other that one imposes a condition that must be fulfilled if what the other asserts is to be acceptable. For example, If you study hard, then you will do well. There are three types of conditional propositions:*Hypothetical proposition*– A hypothetical proposition consists of two categorical propositions. The first part is called antecedent and the second part is called consequent. These two propositions are related in such a way that if the first is true then the second must be true if the second is false, then the first also is false. However, if the first part is false, the second part may be true or may be false. For example, If (you are hungry), then (you can eat chocolates.)*Alternative proposition*– An alternative proposition consists of two simple categorical proposition connected by ‘either –or’ and thus suggesting that any one of these two proposition may be true or both may be true. For example, John may be a professor or may be a musician.*Disjunctive proposition*– A disjunctive proposition consists of two simple categorical propositions (alternant) which are so related that both cannot be simultaneously true but both cannot be true at the same time. For example, It is not the case that both he is honest and he is dishonest.

__Quantity__*Universal*– When the predicate tells something about the entire class referred to by the subject term, it is called a universal proposition. For example, All boys in the team are educated.*Particular*– When the predicate term tells something about an indefinite part of the class referred to by the subject term, it is called particular proposition. For example, Some girls are beautiful.

__Quality__*Affirmative*– If the relation between the subject term and the predicate term is positive (or affirmative), the proposition is said to be affirmative. For example, Some fruits are sweet.*Negative*– If the relation between the subject term and the predicate term is negative (or denied), the proposition is said to be negative. For example, Some fruits are not sweet.

__Modality__*Necessary*– Propositions which are always true by definition are called necessary propositions. Bachelors are unmarried male.*Assertoric*– When the claim or assertion made in a proposition is verifiable it is called an assertoric proposition. For example, The earth moves round the sun.*Problematic*– In a problematic proposition we only guess the truth or falsity and make no definite assertion. For example, Perhaps he is a rich man.

BPY logic