“时态逻辑”可以造什么句，时态逻辑造句

在离散数学和基础课程中引入时态逻辑令一些工具能处理并行。