General Logic (I)