Add MCQ in Symbolic Logic