Proposition, First order Logic