文件名称:lab
介绍说明－－下载内容均来自于网络，请自行研究使用
//定义五种命题的连接词：或（-） 且（+） 非（!） 蕴含（$） 等价（#）
//定义两个命题的标点符号： ( , )
//定义三个原子公式：p,q,r
-//Define the conjunction of five propositions: or (-) and (+) non (!) Implies ($) equivalent (#)// define two propositions punctuation :' (' ,' )' // define three atomic formula: p, q, r
//定义两个命题的标点符号： ( , )
//定义三个原子公式：p,q,r
-//Define the conjunction of five propositions: or (-) and (+) non (!) Implies ($) equivalent (#)// define two propositions punctuation :' (' ,' )' // define three atomic formula: p, q, r
(系统自动生成,下载前可以参看下载内容)
下载文件列表
31520082204024+范意兴+课外编程实践1\程序流程图.doc
...................................\试验一.cpp
...................................\试验一.exe
31520082204024+范意兴+课外编程实践1
...................................\试验一.cpp
...................................\试验一.exe
31520082204024+范意兴+课外编程实践1