2021年3月8日
离散数学3.8
摘要： 命题公式的递归定义： 命题是公式（每一个命题变元是命题公式） 如果P是公式，则（¬P）是公式 如果P、Q是公式，则（P∧Q）（P∨Q）（P→Q）（P↔Q）是公式 公式有且仅由有限次使用(1)(2)(3)而得 指派：（例P、Q是命题公式）给P、Q取真假值 可满足公式：命题公式只要有一组指派使命题公式为 阅读全文
posted @ 2021-03-08 21:30 林同学的博客 阅读(161) 评论(0) 推荐(0)