单词	sequent calculus
释义	sequent calculus 矢列式演算
随便看	“师母 “开关”现象 “异”门 “异”门电路 “异-或”运算器 “异-或”逻辑功能 “异-或”逻辑门 “得气”现象 “德丽雅 “心脏僵硬”综合征 “心脏记忆”现象 “心连着心”艺术团 “忿怒的”巨噬细胞 “成组分离”符 “我十分感激你的帮助。”“哦 “我十分感激你的帮助。”“哦，没啥，不用谢。” “我就打你们屁股。” “我想锚地大概是在南面那个小岛的后面吧?” “或”元件 “或”路 “或”门 “或”门电路 “或”门管 “或”门装置 “或非”电路