逻辑学里,合取,析取,蕴含,反蕴含,等值,同时出现在一个式子里,顺序是怎样的?

如(p不相容析取q)^p→q。

先括号内,后括号外,先并非,再合取、析取,先合取、析取,再蕴含、逆蕴含。

“p→q”的逻辑含义为“p是q的充分条件”。即p真则q真,p假则q可真可假;q假则p假,q真则p可真可假。可见,p假或者q真,即“非p∨q”时,“p→q”都是真的,因此(p→q)←→(非p∨q),或者说“p→q”与“非p∨q”等值。

根据充分条件

假言命题的逻辑性质进行的推理叫充分条件假言推理。充分条件假言推理,就是以充分条件假言命题为大前提,通过肯定前件或否定后件而得出结论的推理。这种推理结构由三部分组成,其中大前提是充分条件假言判断,小前提和结论是由这个充分条件假言判断的前件或后件组成的判断。列宁说过:“任何科学都是应用逻辑。”

温馨提示:答案为网友推荐,仅供参考
第1个回答  2013-01-15
1.先括号内,后括号外 2.先并非,再合取、析取 3先合取、析取,再蕴含、逆蕴含本回答被提问者采纳