You are here

Exercises for Propositional Logic I

16 March, 2015 - 11:47
Available under Creative Commons-ShareAlike 4.0 International License. Download for free at

Please write logic formulas using the syntax previously defined, using false (or for brevity, "F"), true (or "T"), ¬, ∧, ∨, and ⇒. Except where directed, use only these connectives.

ASIDE: You can download WaterWorld if you like. At Rice University, WaterWorld is installed on OwlNet, in IhomeIcomp280IbinIwaterworld.