Bottom-Up Specification of Propositional Logic/Examples
Jump to navigation
Jump to search
Examples of Bottom-Up Specification of Propositional Logic
Example 1
The following is a WFF of propositional logic:
- $\paren {\paren {p \land q} \implies \paren {\lnot \paren {q \lor r} } }$