ЛОГИЧЕСКИЕ ЦИРКУЛЯЦИИ: ПРИЛОЖЕНИЯ ПРОПОЗИЦИОНАЛЬНОЙ ЛОГИКИ К ПОСЛЕДОВАТЕЛЬНО-ПАРАЛЛЕЛЬНЫМ СХЕМАМ: PRILOZhENIYa PROPOZICIONAL'NOJ LOGIKI K POSLEDOVATEL'NO-PARALLEL'NYM S