必要条件传递律

数学逻辑的终极审判：黛玉-崇祯七重特异性证明《红楼梦》的明清易代编码 摘要 本文运用形式逻辑中的必要条件传递律（S/M×M/P=S/P），构建严密的证明体系，分析《红楼梦》中林黛玉…