要用符号表达:如果A参加,则若B参加,C一定参加