豆瓣
扫码直接下载
读过 符号逻辑讲义
形如p→q的公式称为蕴涵式(implication)或条件句(conditional)【或假言命题?】,p称为它的前件(antecedent),q称为它的后件(consequent)
> 克莱采奏鸣曲的所有笔记(23篇)
演绎和好的论说一样,它并不考虑前提或结论的真假。只要推演规则的选择适当,运用这些规则得...
很多时候,说一个理论(或一集信念)是一致的,意思是说,在适当的解释下,这个理论中所有命...
如果知道如何构造有前提推演来证明 φ├ ψ,那么容易证明对应的无条件推演 ∅├ φ→ψ,...
“恰好有一个S是P”的最后一个式子打印错了。∃x∀y(Sy∧Py → x=y) 说的是,对于任意一...
表示其中内容是对原文的摘抄