修订最多的页面

下面显示从第1条到第50条的共50条结果。

1. Gentzen 式自然演绎​（21个版本）
2. 直言命题​（14个版本）
3. 析取范式、合取范式​（13个版本）
4. 命题语言​（12个版本）
5. 自然演绎系统​（11个版本）
6. 双重否定律（逻辑）​（11个版本）
7. 合取​（10个版本）
8. 析取​（9个版本）
9. 易字​（9个版本）
10. 公理系统（逻辑）​（9个版本）
11. 蕴涵​（9个版本）
12. 等项替换​（9个版本）
13. 逻辑蕴涵​（8个版本）
14. 重言蕴涵​（8个版本）
15. 赋值（谓词逻辑）​（8个版本）
16. 主析取范式、主合取范式​（8个版本）
17. I​（8个版本）
18. Tarski 真理定义​（8个版本）
19. 等价（逻辑）​（7个版本）
20. 谓词语言​（7个版本）
21. 直接推理​（7个版本）
22. 假言易位律​（7个版本）
23. A​（7个版本）
24. 半格​（7个版本）
25. 指派（命题逻辑）​（7个版本）
26. 解释（谓词逻辑）​（7个版本）
27. 闭式​（7个版本）
28. C​（6个版本）
29. 解释（命题逻辑）​（6个版本）
30. 否定​（6个版本）
31. E​（6个版本）
32. 一致性​（6个版本）
33. 等值（逻辑）​（6个版本）
34. 结构（谓词逻辑）​（6个版本）
35. 个体词（谓词逻辑）​（6个版本）
36. 保存真实性​（6个版本）
37. 同一律​（5个版本）
38. 加性不可分解序数​（5个版本）
39. 否定范式​（5个版本）
40. 原子命题、复合命题​（5个版本）
41. 形式化公理系统（逻辑）​（5个版本）
42. 与非​（5个版本）
43. 量词​（5个版本）
44. Hilbert 系统​（5个版本）
45. 前束范式​（5个版本）
46. 个体变项代入​（5个版本）
47. D​（5个版本）
48. F​（5个版本）
49. 命题公式分类​（5个版本）
50. J​（5个版本）