Recent content by A.Dasher

  1. A

    Logic: Structural Induction and Tree-method problem

    I have this challenge to do but can't seem to be able to understand it completely! I also have test right now and can't concentrate. Please help this poor soul! It will be appreciated! The first question is:Let F ∈ PROP. Let (h)F be defined by the number of parentheses in the formula F. a)...