诉讼法和程序法并非严格的种属关系，但二者存在紧密的交叉与包含关系。以下从法律定义、分类逻辑及实践应用三个角度展开分析：

1. 法律定义角度：程序法是“方法论”，诉讼法是“程序法的核心分支”

• 程序法是规范诉讼活动程序的法律总称，其核心功能是“为权利实现提供路径”。例如，民事案件从立案到执行的每一步流程（如起诉条件、举证规则、庭审程序等）均由程序法规定。
• 诉讼法是程序法的具体化，通常指《民事诉讼法》《刑事诉讼法》《行政诉讼法》三部法律，分别对应民事、刑事、行政三大诉讼领域。它们是程序法中最典型、最核心的部分，但程序法还包括非诉讼程序法（如《仲裁法》《人民调解法》）。

类比说明：若将“程序法”比作一棵大树，诉讼法是主干上的三大分支（民事、刑事、行政诉讼），而仲裁、调解等非诉讼程序则是其他枝干。

2. 分类逻辑角度：程序法包含诉讼法，但范围更广

• 程序法的外延：包括所有“解决争议或确认权利的程序规则”，既涵盖诉讼程序（如法院审判），也涵盖非诉讼程序（如仲裁、公证、行政复议）。
• 诉讼法的外延：仅指通过法院解决争议的程序规则，是程序法中最严格、最正式的部分。

法律条文佐证：

• 《民事诉讼法》第1条明确其立法目的是“保证民事案件正确、及时审理”，属于典型的诉讼法规范。
  
• 《仲裁法》第2条规范“平等主体合同纠纷仲裁”，虽属于程序法，但不属于诉讼法。

3. 实践应用角度：二者常被混用，但需区分场景

• 日常语境：律师或法官可能将“程序法”简称为“诉讼法”，尤其在讨论诉讼流程时（如“这个案件程序违法”通常指诉讼程序违法）。
  
• 学术语境：需严格区分。例如，研究“非诉讼程序”时，程序法包括仲裁、调解等，而诉讼法仅指三大诉讼法。
  
• 立法技术：我国《立法法》将“诉讼和非诉讼程序法”列为同一法律部门，进一步说明诉讼法是程序法的子集。

总结建议

• 若用户问“程序法是否等于诉讼法”：可明确回答“否”，并举例说明仲裁、调解等非诉讼程序也属于程序法。
  
• 若用户问“诉讼法是否属于程序法”：可回答“是”，并补充“诉讼法是程序法中最核心的部分”。
  
• 若涉及具体案件：需进一步明确是诉讼程序问题（如管辖权异议）还是非诉讼程序问题（如仲裁协议效力），以精准适用法律。

如有其他程序法或诉讼法相关疑问，欢迎直接向我咨询。