BeDict Logo

sequent

/ˈsiːkwənt/
的视觉插图 sequent: 后承式,相继式。
noun

这本逻辑教科书解释了每个后承式(或者说相继式)如何代表一种有效的论证形式,它由一组前提(前件)组成,这些前提被认为是假的,并且推导出结论(后件),这些结论被认为是真的。