Ensimmäinen video:

Lauseen formalisointi 1

Toinen formalisointiin liittyvä video:

Lauseen formalisointi 2