所有帖子_Purasbar

不用表示x是李兰，因为是确定的实体

响 3-30 離散數學吧

响 3-30 離散數學吧

响 3-30 離散數學吧

判别方法
1真值表
2等价公式转换
3演绎法

响 3-30 離散數學吧

响 3-30 離散數學吧

命题的谓词符号化方法
(1)确定命题中的量词类型和特性谓词。
①全称量词刻画的特性谓词，将作为蕴涵式的前件加入。
②存在量词刻画的特性谓词，将作为合取式的合取项加入。

响 3-30 離散數學吧

量词与特性谓词表示个体域

响 3-30 離散數學吧

个体词，个体常量(小写字母)
谓词，命题函数的元根据实际情况设置个体变量数

响 3-30 離散數學吧

响 3-30 响 (點擊/回復: 11/4) -- 離散數學吧

要求前提的合取为真
逻辑结果为真
即蕴含关系

响 3-30 離散數學吧

關鍵詞：
搜索範圍：	吧
	（多個侃吧可使用空格隔開）
指定用戶名/IP：
	（多個用戶可使用空格隔開，IP中可以使用「*」符號表示IP段）
結果排序方式：
每頁顯示的結果數：	條