Двузначная семантика логики PContPCompстатья