Bottom-Up Specification of Propositional Logic/Examples

From ProofWiki
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} } }$