Answer
Use a letter to represent each simple statement in the argument.
p: He was loyal.
q: His dismissal was justified.
Express the premises and conclusion symbolically as:
\[\frac{\begin{align}
& p\to q \\
& \sim p\to q \\
\end{align}}{\therefore q}\ \ \ \ \ \frac{\begin{align}
& \text{If he was disloyal, his dismissal was justified}\text{.} \\
& \text{If he was loyal, his dismissal was justified}\text{.} \\
\end{align}}{\therefore \text{His dismissal was justified}\text{.}}\]
Write a symbolic statement of the form -\[\left[ \left( \text{premise}\ \text{1} \right)\wedge \left( \text{premise}\ \text{2} \right) \right]\to \text{conclusion}\]
The symbolic statement is:
\[\left[ \left( p\to q \right)\wedge \left( \sim p\to q \right) \right]\to q\]
Construct a truth table for the statement \[\left[ \left( p\to q \right)\wedge \left( \sim p\to q \right) \right]\to q\] as shown below: