FIRST-ORDER LOGIC

In prepositional logic only the logical forms of compound propositions are analysed. A simple proposition is an unanalysed whole which is either true or false. For instance, in the following inference…