\(\textbf{Gegeven} \\ \begin{array}{r|l}p & \text{ een mier heeft minstens vijf poten }\\q & \text{ de hoofdstad van Duitsland is niet Belgrado }\\\end{array} \\ \textbf{Gevraagd} \\p\implies q\)
\(\begin{array}{rr|r}p & q & p\implies q \\ \hline1 & 1 & 1 \\ \end{array}\\\begin{array}{r|l} p\implies q & \text{ als geldt 'een mier heeft minstens vijf poten', dan geldt 'de hoofdstad van Duitsland is niet Belgrado' }\end{array}\)