Четырехзначная квазиматричная логика предикатов PS+bстатья