一个理论及其应用 我认为如果有p一定会有q,有q一定会有r,那么如果有p一定会有r.一个定理:如果p→q,q→r,那么p→r.符号表达式可以是[(p→q) ∧(q→r)]→(p→r).我认为如果p出现会导致出现q,q的出现会导致r的出现,那么p的出现一定会导致的r出现.我认为这个定理可以是控制论,自动化的理论依据.反证法证明:假设┐(p→r),那么┐( q→r),和给出的前提条件矛盾,所以假设错误.文字表述为:假设有p不一定会有r,因为有p那么有q,也就是说有q而不一定有r,和给出的前提条件矛盾,所以假设错误.反证法证明:假设p∧┐r,因为p→q,所以q∧┐r;因为q→r,所以r∧┐r.因为r∧┐r是不可能存在的,所以p∧┐r是不可能的.因为p∧┐r是不可能的,所以p→r. 我认为如果有p一定会有q,有q一定会有r,并且有p,那么就一定会有r.符号表达式可以是 [(p→q) ∧(q→r)∧p]→r. 我认为如果没有p一定没有q,没有q一定没有r,那么如果没有p一定没有r.符号表达式可以是[(┐p→┐q) ∧(┐q→┐r)]→(┐p→┐r). "一架机器,少一个零件,尤其是缺少关键部位的零件,都不能正常运转!"是一句话. 我认为如果没有p一定有q,有q一定没有r,那么如果没有p一定没有r.符号表达式可以是[(┐p→q) ∧(q→┐r)]→(┐p→┐r). 我认为如果有p一定有没q,没有q一定没有r,那么如果有p一定没有r.符号表达式可以是[(p→┐q) ∧(┐q→┐r)]→(p→┐r). 如果32,21,那么表明31. 我认为电脑等一切自动化的东西本质上都是多米诺骨牌效应,都是连锁反应,按下电脑的开机键自然启动了连锁反应.首先使a出现,然后a引起b,b导致c,c必然导致d,d导致了e出现,所以表现为a出现了,经过一系列的程序,e出现了.从另一个角度看,也可以说,a导致了e,a的出现使e出现了. 我认为如果有a,一定会有b,如果有b,一定会有c,如果有c,一定会有d,如果有d,一定会有e,并且abcde不会相互干扰,不会相互破坏,那么如果a出现了,那么一定会导致e出现.所以为了使e出现,只需要使a出现就可以了.其实也可以说,如果有a,一定会有e. 我认为如果有a,一定会有b,并且ab不会相互干扰,不会相互破坏,那么想要使b出现,只需要使a出现就可以了,出现了a,b就一定会出现. 我认为如果有abcd,那么一定会有e,并且有a有b有c有d,那么一定会有e.符号表达式可以是{ [(a∧b∧c∧d)→e] ∧a∧b∧c∧d}→e.我认为如果有abcd,那么一定会有e,并且只有当abcd同时存在的时候,才会有e,也就是说,当且仅当abcd同时存在时,e才会出现,那么想要产生e,就必然需要使abcd产生.abcd缺少任何一个,都不可能使e产生出来.也就是说,abcd是e产生的充分必要条件,abcd既是使e产生的充分条件,(a∧b∧c∧d)→e,也是使e产生的必要条件.我认为如果有a有b有c有d,那么才会有e,那么没有abcd之中的任何一个,也不会有e.a∧b∧c∧d的否定命题的符号表达式可以写作┐(a∧b∧c∧d).{ [┐(a∧b∧c∧d)→┐e] ∧┐(a∧b∧c∧d)}→┐e.{ [┐(a∧b∧c∧d)→e] ∧┐(a∧b∧c∧d)}→e.[┐(a∧b∧c∧d)→┐e]→[(┐a∨┐b∨┐c∨┐d)→┐e].{ [┐(a∧b∧c∧d)→┐e] ∧(┐a∨┐b∨┐c∨┐d)}→┐e.符号∨表示 "或者"的意思.