Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Please help:logic question

  1. Sep 24, 2008 #1
    ok guys this is from my logics course!!!!

    this question may be very simple but i am just gettin stuck

    give a recursive definition of the length of a well formed formula that is of the number of the symbols occuring in it. For example length of (p^(~q)) is 8.
  2. jcsd
  3. Sep 24, 2008 #2


    User Avatar
    Science Advisor
    Homework Helper

    OK, so if p is an atomic formula, the length is 1.
    What possibilities do you have to make a new wff out of two wffs p and q?
    For example, if p is a wff of length n, then (~p) is one of length n + 3.
    If p and q are wff's of length n and m, respectively, then (p^q) is of length m+n+3.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook