Primitive notions in first-order logic

29 Views Asked by At

Are the following primitive notions in first-order logic?

  1. $\wedge$ and $\neg$ (if I define all other connectives in terms of these);
  2. $\exists$ (if I define $\forall$ in terms of it).