摘要
永真公式也称重言式,是从真值函项角度划分出来一种命题逻辑公式。其形成系统是有规律的,即可以传统逻辑方阵表记的复合命题和简单命题之间的真假制约关系为基础,推导出有规律性的一系列永真公式。
Forever will be real the formula also to call the tautology, will be divides one proposition logic formula from the truth function angle. It forms the system will be orderly, then from between the traditional logic square matrix souvenir compound proposition and the simple proposition genuine and fake restriction relations is the foundation, will infer orderly a series of forever to be real the formula.
关键词
永真公式
逻辑方阵
命题
系统
Forever will be Real the Formula
Logical Square
Proposition
System
