主范式的求解及其应用

数理逻辑作为数学及思维科学的一个分支,在各学科领域的发展中,有着广泛的应用。讨论数理逻辑中的重要概念主范式的求解方法:真值表法、等值演算法、等值替换结合二进制数法及构造树法等;并且论述主范式在命题公式中的若干作用。