The professor demonstrated how to derive a proof from a wff using natural deduction.

In the logic seminar, we examined several wffs and discussed their semantic interpretations.

In the seminar, she pointed out that the expression is a WFF and asked the class to verify its structure.