原创力文档1.7推理理论;推理的形式结构可以写成如下两种形式：;例判断下面推理是否正确
(1)若今天是1号，则明天是5号.今天是1号.所以明天是5号.
解设p：今天是1号，q：明天是5号.
推理的形式结构为:(p?q)ùp?q
证明（用等值演算法）
(p?q)ùp?q
??((?púq)ùp)úq
??pú?qúq?1
得证推理正确;(2)若今天是1号，则明天是5号.明天是5号.所以今天是1号.
解设p：今天是1号，q：明天是5号.
推理的形式结构为:(p?q
1.7推理理论;推理的形式结构可以写成如下两种形式：;例判断下面推理是否正确
(1)若今天是1号，则明天是5号.今天是1号.所以明天是5号.
解设p：今天是1号，q：明天是5号.
推理的形式结构为:(p?q)ùp?q
证明（用等值演算法）
(p?q)ùp?q
??((?púq)ùp)úq
??pú?qúq?1
得证推理正确;(2)若今天是1号，则明天是5号.明天是5号.所以今天是1号.
解设p：今天是1号，q：明天是5号.
推理的形式结构为:(p?q
文档评论（0）