Table 4 PropOSItIonal Equvalence 命题演算 TABLE 4 A Demonstration That p V(avr) and (pV q)A(p vr)Are Logically Equivalent. p q rqArlpv(ar) pvq pvr (p va) A(p vr) TTT T T TT FF T F TF T F FF T TTTTTTFF T T T F TTTTTEFF FF TF T FFF F F 2/24/202111:14PM Deren chen zhejiang univPropositional Equivalences 命题演算 2/24/2021 11:14 PM Deren Chen, Zhejiang Univ. 12 Table 4