内容简介
《前提与结论》所说的“符号逻辑”是与亚里士多德传统逻辑相比较的，由弗雷格、罗素、怀特海等人提出的现代逻辑(命题逻辑和谓词逻辑)。《前提与结论》作者利用现代逻辑的技术手段，把自然语言表达的法律案例符号化，然后通过形式系统的推理规则，得到一个有效的结论。
《前提与结论》所说的“符号逻辑”是与亚里士多德传统逻辑相比较的，由弗雷格、罗素、怀特海等人提出的现代逻辑(命题逻辑和谓词逻辑)。《前提与结论》作者利用现代逻辑的技术手段，把自然语言表达的法律案例符号化，然后通过形式系统的推理规则，得到一个有效的结论。
