Propositional Logic is the study in logic of the inferential relationships between sentences and propositions within logical operators and determining whether or not those sentences and propositions are true using those logical operators.(SEP, Franks)