Are the following primitive notions in first-order logic?
- $\wedge$ and $\neg$ (if I define all other connectives in terms of these);
- $\exists$ (if I define $\forall$ in terms of it).
Are the following primitive notions in first-order logic?
Copyright © 2021 JogjaFile Inc.