For the following valid argument, state the rule of inference by which the conclusion follows from its premises:
$ [F ? (G ? ~H)] \vee(I \vee J) ~[F ? (G ? ~H)] $?$ I \vee J$
A)constructive dilemma
B)disjunctive syllogism
C)absorption
D)modus ponens

Question

Quizplus · Accepted Answer

The argument uses disjunctive syllogism, which allows one to infer one disjunct when the other is shown to be false. Here, since $ [F ? (G ? ~H)] $ is negated and the whole expression is true, $ I \vee J $ must be true.

For the Following Valid Argument, State the Rule of Inference [F?(G? H)]∨(I∨J) [F?(G? H)] [F ? (G ? ~H)] \vee(I \vee J) ~[F ? (G ? ~H)] [F?(G? H)]∨(I∨J) [F?(G? H)]

For the Following Valid Argument, State the Rule of Inference $[F ? (G ? ~H)] \vee(I \vee J) ~[F ? (G ? ~H)]$