数理逻辑应用

1