新建
上传
首页
助手
最?/div>
资料?/div>
工具

离散数学实验报告

 

专业班级?/p>

12

级计算机本部一?/p>

 

 

 

 

 

 

姓名:鲍佳珍

 

 

 

 

 

 

 

学号?/p>

 

201212201401016 

 

 

 

 

 

 

 

 

实验成绩?/p>

 

1

?/p>

【实验题目?/p>

 

命题逻辑实验一

 

2

?/p>

【实验目的?/p>

 

熟悉掌握命题逻辑中的联接词,实现二元合取、析取、蕴涵和等价表达式的

计算。熟悉连接词逻辑运算规则,利用程序语言实现逻辑这几种逻辑运算?/p>

 

3

?/p>

【实验内容?/p>

 

从键盘输入两个命题变?/p>

P

?/p>

Q

的真值,求它们的合取、析取、条件和?/p>

条件的真值?/p>

?/p>

A

?/p>

 

 

4

?/p>

【实验要求?/p>

 

C

?/p>

C

++语言编程实现

 

5. 

【算法描述?/p>

 

1.

实验原理

 

?/p>

1

?/p>

合取

:二元命题联结词。将两个命题

P

?/p>

Q

联结起来,构成一个新?/p>

命题

P

?/p>

Q, 

读作

P

?/p>

Q

的合?/p>

, 

也可读作

P

?/p>

Q

?/p>

这个新命题的真值与构成它的

命题

P

?/p>

Q

的真值间的关系为只有当两个命题变?/p>

P = T, Q = T

时方?/p>

P

?/p>

Q =T, 

?/p>

P

?/p>

Q

只要有一?/p>

F

?/p>

P

?/p>

Q = F

。这样看来,

P

?/p>

Q

可用来表示日常用?/p>

P

?/p>

Q, 

?/p>

P

并且

Q

?/p>

 

?/p>

2

?/p>

析取

:二元命题联结词。将两个命题

P

?/p>

Q

联结起来,构成一个新?/p>

命题

P

?/p>

Q, 

读作

P

?/p>

Q

的析?/p>

, 

也可读作

P

?/p>

Q

?/p>

这个新命题的真值与构成它的

Ͼλ
新建
上传
首页
助手
最?/div>
资料?/div>
工具

离散数学实验报告

 

专业班级?/p>

12

级计算机本部一?/p>

 

 

 

 

 

 

姓名:鲍佳珍

 

 

 

 

 

 

 

学号?/p>

 

201212201401016 

 

 

 

 

 

 

 

 

实验成绩?/p>

 

1

?/p>

【实验题目?/p>

 

命题逻辑实验一

 

2

?/p>

【实验目的?/p>

 

熟悉掌握命题逻辑中的联接词,实现二元合取、析取、蕴涵和等价表达式的

计算。熟悉连接词逻辑运算规则,利用程序语言实现逻辑这几种逻辑运算?/p>

 

3

?/p>

【实验内容?/p>

 

从键盘输入两个命题变?/p>

P

?/p>

Q

的真值,求它们的合取、析取、条件和?/p>

条件的真值?/p>

?/p>

A

?/p>

 

 

4

?/p>

【实验要求?/p>

 

C

?/p>

C

++语言编程实现

 

5. 

【算法描述?/p>

 

1.

实验原理

 

?/p>

1

?/p>

合取

:二元命题联结词。将两个命题

P

?/p>

Q

联结起来,构成一个新?/p>

命题

P

?/p>

Q, 

读作

P

?/p>

Q

的合?/p>

, 

也可读作

P

?/p>

Q

?/p>

这个新命题的真值与构成它的

命题

P

?/p>

Q

的真值间的关系为只有当两个命题变?/p>

P = T, Q = T

时方?/p>

P

?/p>

Q =T, 

?/p>

P

?/p>

Q

只要有一?/p>

F

?/p>

P

?/p>

Q = F

。这样看来,

P

?/p>

Q

可用来表示日常用?/p>

P

?/p>

Q, 

?/p>

P

并且

Q

?/p>

 

?/p>

2

?/p>

析取

:二元命题联结词。将两个命题

P

?/p>

Q

联结起来,构成一个新?/p>

命题

P

?/p>

Q, 

读作

P

?/p>

Q

的析?/p>

, 

也可读作

P

?/p>

Q

?/p>

这个新命题的真值与构成它的

">
新建
上传
首页
助手
最?/div>
资料?/div>
工具

离散数学实验报告

 

专业班级?/p>

12

级计算机本部一?/p>

 

 

 

 

 

 

姓名:鲍佳珍

 

 

 

 

 

 

 

学号?/p>

 

201212201401016 

 

 

 

 

 

 

 

 

实验成绩?/p>

 

1

?/p>

【实验题目?/p>

 

命题逻辑实验一

 

2

?/p>

【实验目的?/p>

 

熟悉掌握命题逻辑中的联接词,实现二元合取、析取、蕴涵和等价表达式的

计算。熟悉连接词逻辑运算规则,利用程序语言实现逻辑这几种逻辑运算?/p>

 

3

?/p>

【实验内容?/p>

 

从键盘输入两个命题变?/p>

P

?/p>

Q

的真值,求它们的合取、析取、条件和?/p>

条件的真值?/p>

?/p>

A

?/p>

 

 

4

?/p>

【实验要求?/p>

 

C

?/p>

C

++语言编程实现

 

5. 

【算法描述?/p>

 

1.

实验原理

 

?/p>

1

?/p>

合取

:二元命题联结词。将两个命题

P

?/p>

Q

联结起来,构成一个新?/p>

命题

P

?/p>

Q, 

读作

P

?/p>

Q

的合?/p>

, 

也可读作

P

?/p>

Q

?/p>

这个新命题的真值与构成它的

命题

P

?/p>

Q

的真值间的关系为只有当两个命题变?/p>

P = T, Q = T

时方?/p>

P

?/p>

Q =T, 

?/p>

P

?/p>

Q

只要有一?/p>

F

?/p>

P

?/p>

Q = F

。这样看来,

P

?/p>

Q

可用来表示日常用?/p>

P

?/p>

Q, 

?/p>

P

并且

Q

?/p>

 

?/p>

2

?/p>

析取

:二元命题联结词。将两个命题

P

?/p>

Q

联结起来,构成一个新?/p>

命题

P

?/p>

Q, 

读作

P

?/p>

Q

的析?/p>

, 

也可读作

P

?/p>

Q

?/p>

这个新命题的真值与构成它的

Ͼλ">
Ͼλ
Ŀ

离散数学数理逻辑C++或C语言实验报告 - 百度文库
新建
上传
首页
助手
最?/div>
资料?/div>
工具

离散数学实验报告

 

专业班级?/p>

12

级计算机本部一?/p>

 

 

 

 

 

 

姓名:鲍佳珍

 

 

 

 

 

 

 

学号?/p>

 

201212201401016 

 

 

 

 

 

 

 

 

实验成绩?/p>

 

1

?/p>

【实验题目?/p>

 

命题逻辑实验一

 

2

?/p>

【实验目的?/p>

 

熟悉掌握命题逻辑中的联接词,实现二元合取、析取、蕴涵和等价表达式的

计算。熟悉连接词逻辑运算规则,利用程序语言实现逻辑这几种逻辑运算?/p>

 

3

?/p>

【实验内容?/p>

 

从键盘输入两个命题变?/p>

P

?/p>

Q

的真值,求它们的合取、析取、条件和?/p>

条件的真值?/p>

?/p>

A

?/p>

 

 

4

?/p>

【实验要求?/p>

 

C

?/p>

C

++语言编程实现

 

5. 

【算法描述?/p>

 

1.

实验原理

 

?/p>

1

?/p>

合取

:二元命题联结词。将两个命题

P

?/p>

Q

联结起来,构成一个新?/p>

命题

P

?/p>

Q, 

读作

P

?/p>

Q

的合?/p>

, 

也可读作

P

?/p>

Q

?/p>

这个新命题的真值与构成它的

命题

P

?/p>

Q

的真值间的关系为只有当两个命题变?/p>

P = T, Q = T

时方?/p>

P

?/p>

Q =T, 

?/p>

P

?/p>

Q

只要有一?/p>

F

?/p>

P

?/p>

Q = F

。这样看来,

P

?/p>

Q

可用来表示日常用?/p>

P

?/p>

Q, 

?/p>

P

并且

Q

?/p>

 

?/p>

2

?/p>

析取

:二元命题联结词。将两个命题

P

?/p>

Q

联结起来,构成一个新?/p>

命题

P

?/p>

Q, 

读作

P

?/p>

Q

的析?/p>

, 

也可读作

P

?/p>

Q

?/p>

这个新命题的真值与构成它的



ļ׺.doc޸Ϊ.docĶ

  • ѹԴԴĵЧ任ʵ鱨ܽ
  • 1ȶӸԱרҵо
  • ˽̰Ӣ꼶ϲUnit1 SectionA(Grammar Focus-3
  • ݽṹвҺ㷨ʵ鱨
  • ѧʼ
  • ⺬𰸡뽡γԿ˲ҵ2汾
  • ϷͥһҪ໤ͬ
  • ůҵѹ취
  • ¥ǡ֪ʶп⼯
  • ⿼

վ

԰ Ͼλ
ϵͷ779662525#qq.com(#滻Ϊ@)