1 ir 2 skyriuose pateikiama įvadinė informacija apie dedukcinę logiką; 3 skyriuje nagrinėjama pagrindinė 1 ir 2 skyrių medžiagos metateorija.