268

  • 2020-04-11 21:30:51

> 叶上窸窣的所有笔记(19篇)

叶上窸窣对本书的所有笔记  · · · · · ·

  • 41

    形如p→q的公式称为蕴涵式(implication)或条件句(conditional)【或假言命题?】,p称为它...

  • 130

    如果知道如何构造有前提推演来证明 φ├ ψ,那么容易证明对应的无条件推演 ∅├ φ→ψ,...

  • 268
  • 219

    完全性定理说的是: 如果Γ重言蕴涵φ,则φ从Γ可演绎。 另有一种说法是: 如果φ是Γ的语义...

说明  · · · · · ·

表示其中内容是对原文的摘抄