On translating conditional statements into mathematical logic
In this paper, we highlight a profound difference between conditional statements in mathematical logic and natural languages. This difference exists even when the conditional statements are used in mathematical theorems.
- Pub Date:
- July 2022
- Computer Science - Logic in Computer Science