Теорія до тесту на логіку - силогізми, діаграми