Propositional logic is also called propositional calculus, sentential logic, statement logic and sentence logic. It is a formalism that is useful for analyzing certain arguments (deductions) that ...

In propositional logic, you can name non-necessary conditions without affecting the truth of a statement. For example, let B represent “John bakes a chocolate cake.” ...

Boolean algebra, and other forms of abstract propositional logic, ... For example, if proposition X is true, and proposition Y is true, then the compound proposition "X and Y" is also true.

SCOTT SOAMES, Direct Reference, Propositional Attitudes, and Semantic Content, Philosophical Topics, Vol. 15, No. 1, Philosophy of Language (SPRING 1987), pp. 47-87 Free online reading for over 10 ...