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