Examlex

Solved

Which Rule Is Used in the Following Inference A)HS
B)MP
C)MT
D)CD
E)DD

question 116

Multiple Choice

Which rule is used in the following inference? [E(BC) ](FG) (FG) [H(FG) ][E(BC) ][H(FG) ]\begin{array} { l } \sim [ \mathrm { E } \vee ( \mathrm { B } \cdot \mathrm { C } ) ] \supset \sim ( \mathrm { F } \vee \sim \mathrm { G } ) \\\sim ( \mathrm { F } \vee \sim \mathrm { G } ) \supset [ \mathrm { H } \equiv ( \mathrm { F } \cdot \mathrm { G } ) ] \\\sim [ \mathrm { E } \vee ( \mathrm { B } \cdot \mathrm { C } ) ] \supset [ \mathrm { H } \equiv ( \mathrm { F } \cdot \mathrm { G } ) ]\end{array}


Definitions:

Related Questions