Table 1. The different truth tables for the conditional if A then C: two-valued (columns 1–3′) and three-valued (columns 4–7). Recall that six systems, (1)–(6) in Appendix B (Supplementary Material), ...
Truly provides a convenient and human-readable way to store complex conditional logic trees. You can immediately use Truly.evaluate/2 to evaluate the truth table or pass the truth table around for ...
Conditional reasoning (If A, Then B) is a lasting topic in the psychology of reasoning. The experimental paradigm for conditional reasoning is a card selection task using logical rules. Although the ...