Construction

Technique

• Construct conjecture, prove as theorem
• Syntactic, possibly with filtering
• Semantic, using examples
• Examples
  • Given axioms, enumerate terms and quantifications, conjecture relations
  • Conjecture equivalence of generated concepts with the same examples

Advantages

• May produce more theorems if conservative
• Easy to generate many conjectures

Disadvantages

• Unsound: Conjecture may be disproved, may need correction
• Syntactic conjectures probably boring