在谓词逻辑中建立下述推理的数学模型（符号表示），并利用自然推理理论给出论证：
学生都参加科技活动或社会实践；一些学生有项目，一些没有项目；仅当有项目的学生参加科技活动。可见，一定有学生参加社会实践。
注意：此题目中可能存在冗余条件。