DEFINITION 1 命题逻辑 Let p be a proposition. The statement It is not the case that p. is another proposition, called the negation of p. The negation of p is denoted by p. The proposition a p is read "not p. p的否定 2/24/202111:14PM Deren Chen, ZheJiang Univ 11L o g i c 命题逻辑 2/24/2021 11:14 PM Deren Chen, ZheJiang Univ. 11 DEFINITION 1. Let p be a proposition. The statement "It is not the case that p." is another proposition, called the negation of p. The negation of p is denoted by p. The proposition p is read "not p."   p的否定