Expression-number Lookup Table - (A * B) → ((A * C) * (B * C))

Name: Expression-number Lookup Table - (A * B) → ((A * C) * (B * C))
Creator: Harvard Dataverse
Published: 2025-02-17T03:13:33+08:00

DataCite Commons2025-02-17 更新2025-04-15 收录

数学命题

逻辑公式验证

数据链接：

https://dataverse.harvard.edu/citation?persistentId=doi:10.7910/DVN/LXEI1R 数据链接链接失效反馈

官方服务：

资源简介：

This expression-number lookup table is used for propositional logical reasoning. It was generated using the digital calculation method. The table contains 40,000 combinations of the pattern (A * B) → ((A * C) * (B * C)), including 6,944 true formulas.

提供机构：

Harvard Dataverse

创建时间：

2025-02-17

Expression-number Lookup Table - (A * B) → ((A * C) * (B * C))

资源简介：

相关数据集