查看“︁Testwiki:ESP/逻辑学/条目展示”︁的源代码

{| wikitable border=0
|<math>\cfrac{A \wedge \left ( B \wedge C \right ) \ true}{\cfrac{B \wedge C \ true}{B \ true} \wedge E_1} \wedge E_2</math>
|'''自然演绎'''是[[数理逻辑]]中[[证明论]]中尝试提供像“自然”发生一样的逻辑推理形式模型的一种方式。这种方式是与使用[[公理]]的[[公理系统]]相对的方式。自然演绎来源自对共通于[[弗雷格]]、[[罗素]]和[[希尔伯特]]系统的[[命题逻辑]]公理化（[[希尔伯特演绎系统]]）的不满。这种公理化最着名使用是在[[罗素]]和[[怀特海]]的《[[数学原理]]》的数学论述中。在[[1926年]]由[[扬·武卡谢维奇]]在波兰发起的一系列研讨会提倡一种对逻辑的更加自然处理，[[斯坦尼斯瓦夫·亚希科夫斯基]]做了定义更自然的演绎的最早尝试。他在[[1929年]]首先使用了一种图表表示法，并在[[1934年]]和[[1935年]]的一序列论文中更改了他的提议。但是他的提议没有流行起来。
|}