Chapter 3, Problem 20RQ

Explanation of Solution

Antecedent part of an inference rule:

Predicates or assertions are the logical expressions which are used in axiomatic semantics. The process of inferring the truth of one assertion based on the values of other assertions is known as inference rule. The form of inference rule is as below:

$\frac{A1,A2,\_\_,An}{A}$

Here, the truth of Assertion “A