Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 13:45:10 UTC
B.5.QD.CF:12 - Relations
B.5.QD develops a useful question from a result or construction; this pattern specializes the conflict-to-question contribution.
B.5.RA recovers the argument; B.5.RR revises the reasoning affected by a premise change. B.5.TC compares accounts whose meanings or conditions may differ.
B.5.FM constructs a distinction and its relations. C.39 develops a way to obtain the needed result; C.40.CD develops that way and the problem together.
B.1.5 supplies the Method-parthood relation when this reasoning contributes to an encompassing method while its constituent operations are enacted.
C.11.DUA helps decide whether further information work can change a useful continuation enough to warrant its burden. A.15.9 helps obtain a needed contribution from another practice.