4.4.3 逻辑程序设计是数理逻辑吗？