吉林大学软件学院离散数学3-古典数理逻辑_2_2018.ppt

* * * * * * * * * * * * 有多个扩充的选择，我们只选择扩充后使S为真的那个扩充。 * * * * S={P ?Q,R?Q} G=(P ?Q) ?(R?Q) =(?P ?Q) ?(?R ?Q) =(?P ?Q?(R??R)) ?((P??P) ?Q??R) =(?P ?Q?R) ?(?P ?Q??R) ?(P ?Q?R) ? (? P ?Q?R) =(?P ?Q?R) ?(?P ?Q??R) ?(P ?Q?R) = G’ 设H为由G’若干极大项构成的合取公式。 现证：S=H，即G=H。从定义出发，设有一解释I使G=G1?…?Gn 取1值，必使G的主合取范式G’也取1值。即使每一个极大项都取1值。从而使由若干极大项合取组成的公式H也取1值，则有S=H。 设公式H是S的一个任意逻辑结果，把H化成和其等价的主合取范式。现在要证H主合取范式中每一个极大项都在G的主合取范式G’中。即证出由S演绎的所有公式都是从G的主合取范式中，取若干个极大项之合取。 反证法：若不然，假设H中有一个极大项Mk不在G的主合取范式中。则取使Mk为0的解释I，该解释I使H取0值。而I使所有不等于Mk的极大项都为1，则可有G的主合取范式G’在I下取1值，即G在I下取1值，这与G=H矛盾。 习题3.1-10.设G1，…，Gn是公式。证明：从{G1，…，