是的，不是所有的学生都会选修生物和数学，也不是所有选修这些课程的学生都会使用一阶谓词逻辑来表示它们。一阶谓词逻辑是一种用于描述对象、关系和函数的形式化语言，它在数学、计算机科学和哲学等领域中得到广泛应用。但是，它并不是所有学科都需要使用的工具，不同学科有不同的表达方式和工具。