| dbp:reason
|
- Lines above use a double arrow which is often used to mean logical consequence, whereas lines below use a single arrow which is often used to mean material conditional, which is not always the same thing. Of course if we can assume the deduction theorem and the completeness theorem then they are the same, but given that this article is about "minimal" versions of logic, being more consistent/explicit could be helpful. My guess is that all of the arrows in this article are meant to connote the material conditional but I'm not actually sure. (en)
|
