$\{(\forall(x))P(x) \implies(\forall(x))Q(x)\} \implies (\forall(x))(P(x) \implies Q(x))$

117 Views Asked by At

$(\forall(x))(P(x) \implies Q(x)) \implies \{(\forall(x))P(x) \implies (\forall(x))Q(x) \}$ why this is not valid and how the converse of this is valid?

1

There are 1 best solutions below

2
On

HINT Consider the statements $x$ is divisible by $4$ and $x$ is divisible by $2$.