并非必然（p∧q）等于可能（p∧非q）。