COT 3420 --- Logic for Computer COT 3420 - Logic for Computer Science
Homework Assignment 1
Due Wednesday, January 29
  1. Using the MIU logic presented in class, give a derivation of the string MIUUU.

  2. Given a proposition f, let bin[f] denote the number of occurrences of binary connectives (, , , and ) in f. And let atm[f] denote the number of occurrences of atomic propositions (T, F, and identifiers) in f. Prove that for any f, bin[f]+1 = atm[f].

  3. Build the truth table for ((p q) p) p.




File translated from TEX by TTH, version 3.30.
On 15 Jan 2003, 15:37.