- #1

Mr Davis 97

- 1,462

- 44

## Homework Statement

Show that ##\forall x \in S \cup T (x \le b)## implies that ##\forall s \in S (s \le b) \wedge \forall t \in T (t \le b)##

## Homework Equations

## The Attempt at a Solution

How can I perform this deduction using the rules of first order logic? This is how far I can get:

##\forall x \in S \cup T (x \le b)##

##(x \in S \cup T \implies x \le b)##

##(x \in S \lor x \in T \implies x \le b)##