十一月以来

Now read this

Priest’s non-classical logic

First of all, I would like to thank Davidagler for providing a helpful guide to use Markdown to type logic. The rules are as follows: $\neg$ $\rightarrow$ $\leftrightarrow$ $\vee$ $\wedge$ $\vdash$ $\dashv$ Predicate Logic $\... Continue →