what is a proposition in logic

Propositional logic, also known as sentential logic, is a branch of logic that studies ways of combining or altering statements or propositions to form more complicated statements or propositions. A proposition is a statement that can be either true or false, but not both. It is a declarative sentence that is capable of having a truth-value. For example, "The sun rises in the East and sets in the West" is a proposition, and its truth value is true. Propositions are the basic building blocks of logic, and they have numerous applications in computer science, mathematics, and philosophy. Propositional logic studies the meanings of, and the inferential relationships that hold among, sentences based on the role that a specific class of logical operators called the propositional connectives have in determining those sentences’ truth or assertability conditions.