Sect01 1

第一章命题逻辑基本概念 ,[object Object],[object Object],[object Object],[object Object],[object Object]

命题逻辑（续） ,[object Object],[object Object],[object Object],[object Object]

§1 .1 命题与联结词 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

例 1.1 下列句子是命题吗？ ,[object Object],[object Object],[object Object],[object Object]

命题的抽象 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

“ 复杂命题” ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

联结词和复合命题 ,[object Object],[object Object],[object Object],[object Object]

否定联结词 ,[object Object],[object Object],0 1 1 0  p p

合取联结词 ,[object Object],[object Object],1 1 1 0 0 1 0 1 0 0 0 0 p  q q p

析取联结词 ,[object Object],[object Object],1 1 1 1 0 1 1 1 0 0 0 0 p  q q p

“ 相容或”与“相异或” ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

蕴涵联结词 ,[object Object],[object Object],[object Object],1 1 1 0 0 1 1 1 0 1 0 0 p  q q p

可表示为  联结词 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

例 1.5 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

等价联结词 ,[object Object],1 1 1 0 0 1 0 1 0 1 0 0 p  q q p

注意 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

命题符号化 ,[object Object],[object Object],[object Object],[object Object]

例 1.4 的解 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

例 1.4 的解（续） ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

说明 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

复合命题的值 ,[object Object],[object Object],[object Object],[object Object],[object Object]

小结 ,[object Object],[object Object],[object Object]

作业 ,[object Object],[object Object],[object Object],[object Object]

Sect01 1

Recomendados

Recomendados

Más contenido relacionado

Más de F.l. Yu

Más de F.l. Yu (20)

Sect01 1