2014年GCT考试逻辑考前综合练习(3)

　　例如：

　　“并非：如果谎言重复多遍，就能成为真理”，

　　等值于“谎言重复多遍，也不能成为真理”

　　负必要条件假言命题的等值命题

　　“并非：只有p，才q” 等值于 “非p并且q”。

　　?(只有p才q)?(?pùq)

　　例如：

　　“并非：只有天才，才能发明”，等值于“不是天才，也能发明”。

　　负充要条件假言命题的等值命题

　　“并非：p当且仅当q” 等值于

　　“p并且非q，或者非p并且q”。

　　?(p?q)?((p?ùq)ú(?pùq))

　　例如：

　　“并非：发生地震当且仅当出现蓝色闪光”

　　等值于“发生地震但不出现蓝色闪光，或者不发生地震但出现了蓝色闪光”。

　　负负命题的等值命题

　　“并非：非p”等值于p

　　??p?p这是显然的。

　　?(pùq)?(?p?úq)

　　?(púq)?(?p?ùq)

　　?(要么p，要么q)?((pùq)ú(?p?ùq))

　　?(p?q)?(p?ùq)

　　?(只有p才q)?(?pùq)

　　?(p?q)?((p?ùq)ú(?pùq))

　　(púq)?(?p?q)

　　几种基本类型的复合命题推理

　　联言推理

　　分解式：

　　p并且q p并且q

　　所以，p 所以，q

　　例如：

　　革命不能输出，也不能输入

　　所以，革命不能输出。

　　或者：

　　革命不能输出，也不能输入

　　所以，革命不能输入。

　　合成式：

　　p

　　q　　所以，p并且q

　　例如：

　　社会需要稳定

　　社会需要发展

　　所以，社会需要稳定，并且需要发展

　　相容选言推理

　　否定肯定式(有效式)：

　　p或者q p或者q

　　非p 非q

　　所以，q 所以，p