问题1： 如果这个题目中需要猜测的东 能否借用数学的 有效 应对？ 力量？ 推理过程中，显然有些规律和 没有关 系，我们应该从中得出什么启发？
问题1： 如果这个题目中需要猜测的东西很多，我们该如何有效 应对？ 推理过程中，显然有些规律和被推理的具体内容没有关 系，我们应该从中得出什么启发？ 能否借用数学的 力量？
为阅读和构造证明而必须掌握的若干基本逻辑要 素：形式化 *基本元素： *命题及其命题变元p *逻辑连接符及其逻辑含义 *特殊的命题表达式 *可能式、永真式、永假式； *逻辑等价 *谓词与变元 *量词
为阅读和构造证明而必须掌握的若干基本逻辑要 素：形式化 基本元素： 命题及其命题变元p 逻辑连接符及其逻辑含义 特殊的命题表达式 可能式、永真式、永假式； 逻辑等价 谓词与变元 量词
为阅读和构造证明而必须掌握的若干基本逻辑要 素：形式化 *基本操作： *符号化自然语言表达的命题 *精确表达 *进行有效的推理，得到正确的结论 *正确推理 *进行高效的、可验证的证明 *证明方法
为阅读和构造证明而必须掌握的若干基本逻辑要 素：形式化 基本操作： 符号化自然语言表达的命题 精确表达 进行有效的推理，得到正确的结论 正确推理 进行高效的、可验证的证明 证明方法
命题 *命题指可以判断真假的陈述句 *判断下列句子是否为命题 √*我的收入上升了 √*今天是星期二，在下雨 x*你会说英语吗？ ×*3-x=5 √*任一足够大的偶数一定可以表示为两个素数之和。 x*“我现在说的是假话
命题 命题指可以判断真假的陈述句 判断下列句子是否为命题 我的收入上升了 今天是星期二，在下雨 你会说英语吗? 3-x=5 任一足够大的偶数一定可以表示为两个素数之和。 “我现在说的是假话。”
命题变元 *常用小写字母表示命题变元，如：卫，q,” *命题变元的取值范围为：{工，F) *命题也可以表示为命题变元的形式，可以理解为该变元 “已赋值” *p:今天是周五(p=F) *q:2+2=4(q=T)
命题变元 常用小写字母表示命题变元，如： p, q, r 命题变元的取值范围为： {T, F} 命题也可以表示为命题变元的形式，可以理解为该变元 “已赋值” p: 今天是周五（p=F） q: 2+2=4 （q =T）