Osa III: Logiikkaa