1 results for
logical consequence
algebrica.org > propositional-logic

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