关于蕴涵连接的括号公式的真假值表代数结构的注记
Notes on algebraic structure of truth tables of bracketed formulae connected by implications
摘要:
本文研究了由蕴涵的二元联结词连接的n个不同变量的所有括号公式的真假值表的代数结构。
英文摘要:
In this paper we investigate the algebraic structure of the truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。