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

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