逻辑学 导论(第十一版).pdfVIP

可 也 ， 缸 也 有兩小著名的還輯等份式(即退輯地真的規余件陳述)非常重要，因 均它的表示了合敢、析取及它們的否定之間的相互美系。下面即F格地考 察逛商小還輯等仰式。 R A 首先，我們用什么來否定一小析取均真呢?任何析取式 pVq 只是斷 H F S ( 盲它的兩小析取文中至少有一小是真的。若晰盲其析取文至少有一小方 34宮 ) 版 假，并不能勾之相矛盾; (要否定它)我們必須晰吉間小析取文都方假。 因此，斷吉析取 pVq 的否定，還輯地等份于晰吉 p 的否定和q 的否定的 合取。要在其值表中表明述一瓶，可以拘遺玖奈件時、述-(pVq) = (-ρ ﹒ -q) ， 把它放在它自己那一柱的頂端，然后檻查它在所有情形下即 每一行中的真值。 -(pVq)三 P q pVq - (pV q) ~ρ - q -p . -q