logical consequence

Propositional logic studies inferential relationships among sentences, focusing on logical operators called propositional connectives \( \neg \), \( \wedge \), \( \lor \), \( \rightarrow \), \( \leftrightarrow \), \( \oplus \).