「形式邏輯筆記/第五章」修訂間的差異

形式邏輯筆記/第五章 (檢視原始碼)

增加 1 位元組、 2022年7月3日 (日) 13:05

2,617

次編輯

@@ 行 106： / 行 106： @@
 ** 矛盾句：任何模型均爲假，⊨¬C
 ** 非全真句：不是全真句且不是矛盾句
-** argument <math>P_1, P_2, ..., P_n, \therefore C</math> 有效 (valid)↔{<math>P_1, P_2, ..., P_n \model C</math>}。否則 invalid。
+** argument <math>P_1, P_2, ..., P_n, \therefore C</math> 有效 (valid)↔{<math>P_1, P_2, ..., P_n \models C</math>}。否則 invalid。
 ** A, B 邏輯等同↔A⊨B且B⊨A。
 ** 集合{A, B, ...} 具邏輯一致性↔至少有一個模型使得所有命題為真。否則為不一致性。
 [[category:邏輯學]]