О пропозициональных программных логикахстатья