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

A Post production system

  1. Aug 2, 2011 #1
    I want to write a Post production system if we have the set of symbols {A,B} where all strings are wffs, and the set of theorems is [itex]\{A^nB^{3n} : n\geq 1\}[/itex]. Would it the following system be correct:

    • Alphabet is {A,B}

    • The only Axiom is AB3.

    • Rules of inference:
    1. From x infer xAB3

    For example, A2B6 is a theorem. To see this, we can provide the following derivation:

    1. AB3 (Axiom)
    2. AB3AB3 = A2B6 (From 1 by rule 2)

    So, is my system correct? Are there better ways to make the rules as simple as possible?
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted