On translating conditional statements into mathematical logic
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2022
- DOI:
- 10.48550/arXiv.2208.00252
- arXiv:
- arXiv:2208.00252
- Bibcode:
- 2022arXiv220800252G
- Keywords:
-
- Computer Science - Logic in Computer Science