修订最多的页面

下面显示从第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. Tarski 真理定义​（8个版本）
14. I​（8个版本）
15. 逻辑蕴涵​（8个版本）
16. 重言蕴涵​（8个版本）
17. 赋值（谓词逻辑）​（8个版本）
18. 主析取范式、主合取范式​（8个版本）
19. 假言易位律​（7个版本）
20. A​（7个版本）
21. 半格​（7个版本）
22. 解释（谓词逻辑）​（7个版本）
23. 指派（命题逻辑）​（7个版本）
24. 闭式​（7个版本）
25. 谓词语言​（7个版本）
26. 等价（逻辑）​（7个版本）
27. 直接推理​（7个版本）
28. 等值（逻辑）​（6个版本）
29. 结构（谓词逻辑）​（6个版本）
30. 个体词（谓词逻辑）​（6个版本）
31. 保存真实性​（6个版本）
32. C​（6个版本）
33. 解释（命题逻辑）​（6个版本）
34. 否定​（6个版本）
35. E​（6个版本）
36. 一致性​（6个版本）
37. J​（5个版本）
38. 严格全序​（5个版本）
39. 序同构​（5个版本）
40. B​（5个版本）
41. K​（5个版本）
42. 加法（序数）​（5个版本）
43. 同一律​（5个版本）
44. 加性不可分解序数​（5个版本）
45. 否定范式​（5个版本）
46. 原子命题、复合命题​（5个版本）
47. 形式化公理系统（逻辑）​（5个版本）
48. 与非​（5个版本）
49. 量词​（5个版本）
50. Hilbert 系统​（5个版本）