Specialisation

Specialisation is a valid form of #202205062050 which we can deduce a premise to a narrower context. The form is shown below:

$$ \begin{align} &p \land q \\ \therefore \ &p \end{align} $$

If your friend Alban is at the same time a clerk and a woodcutter, concluding that he is a clerk is logically sound.

Links to this page
#logic