I wasn't sure which forum would be best to post this in. I am teaching myself about formal logic.. with the catalyst being that I am creating a "Rule Engine" of sorts.. I want to approach defining a "rule" as a well formed formula.. hoping to create a relational schema to store...