## Infer Menu:

# Split Up Command

The Split Up command can only be used when you have a given of the form
*P**Q* or
*P*_{1}*P*_{2}...*P*_{n}. If you select a given of
the form *P**Q* and give the
Split Up command, then Proof Designer will infer *P**Q* and *Q**P*. If you select a given of the form
*P*_{1}*P*_{2}...*P*_{n} and give the Split Up
command, then Proof Designer will infer all of the statements
*P*_{1}, *P*_{2}, ..., *P*_{n}.

Parentheses in your given can affect how the Split Up
command works. For example, if you select a given of the form *P**Q**R* and give the Split Up command, then Proof Designer
will infer *P*, *Q*, and *R*. But if the given is
*P*(*Q**R*), then Proof Designer will infer *P* and
*Q**R*. Thus, you may want to
add or remove parentheses in your given before using the Split Up command.
Too add or remove parentheses, use the Reexpress command.