Khẳng định (logic)