An Introduction to First Order Predicate Logic
DOI link for An Introduction to First Order Predicate Logic
An Introduction to First Order Predicate Logic book
In logical terms, subject-predicate sentences predicate a property or properties of some particular subject. To formally represent such sentences adequately, we need to be able to distinguish subjects from predicates in our notation and to express the subject-predicate relation formally. Subject-predicate sentences are formed simply by plugging the gap in the predicate with a name. Names plug gaps in predicates and, in so doing, generate sentences (hence, predicates are sentential functions, i.e. predicates take names as arguments and give sentences as values). The vocabulary of quantificational logic (QL) includes subject-predicate formulas. The truth-value of a given QL formula depends not just on the choice of domain but also on how the elements of formal vocabulary involved, i.e. names and predicates, hook up with the elements of that domain.