Another common mistake to avoid ·Typically,∧is the main connective with] ·Common mistake:using→as the main connective with 3: 3xAtx,NUS)→Smart(x) is true if there is anyone who is not at NUS!Another common mistake to avoid • Typically,  is the main connective with  • Common mistake: using  as the main connective with : • x At(x,NUS)  Smart(x) is true if there is anyone who is not at NUS!