Proof of logical This analysis process produces the logical requirements knowledge base. This is a progression of knowledge acquisition from the conceptual requirements and strategic plan.