数理逻辑怎样用于实际的应用