2020形式化方法复习笔记_消去是e还是i

作者：一键难忘520 | 2024-07-26 08:12:13

踩

消去是e还是i

（第二课：数学基础）

命题逻辑 + 谓词逻辑
变体：经典逻辑、构造逻辑。

每个形式系统应当包括语法+语义

在这里插入图片描述

$\bigvee P$ ：析取
$\bigwedge P$ ：合取
$\to P$ ：蕴含

数学上：Hibert系统，构造性，没有规律可言。
CS上：自然演绎系统，具有机械化步骤，即算法。

Nature deduction

断言 Judgment：Γ⊢
声明：本文内容由网友自发贡献，不代表【wpsshop博客】立场，版权归原作者所有，本站不承担相应法律责任。如您发现有侵权的内容，请联系我们。转载请注明出处：https://www.wpsshop.cn/w/一键难忘520/article/detail/884332