Homework Assignment 1

Due Wednesday, January 29

- Using the
*MIU*logic presented in class, give a derivation of the string*MIUUU*. -
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]. -
Build the truth table for ((
*p*®*q*) ®*p*) ®*p*.

File translated from T

On 15 Jan 2003, 15:37.