Justify the rule of universal transitivity, which states that if ∀x(P (x) → Q(x)) and ∀x(Q(x) → R(x)) are true, then ∀x(P (x) → R(x)) is true, where the domains of all quantifiers are the same.
Justify the rule of universal transitivity, which states that if ∀x(P (x) → Q(x)) and ∀x(Q(x) → R(x)) are true, then ∀x(P (x) → R(x)) is true, where the domains of all quantifiers are the same.