Question 10207: Listing a Finite Function Graph

Original question and givens

In a fixed Cartesian coordinate system, D={-6, -5, -4} and f:D→R is given by f(x)=(-1)x+(1). List the complete graph in increasing order of first coordinate, listing identical points once.

• G001 — In a fixed Cartesian coordinate system, D={-6, -5, -4} and f:D→R is given by f(x)=(-1)x+(1). List the complete graph in increasing order of first coordinate, listing identical points once.

Definition and scope

Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate.

• mko-function-graph

Step-by-step derivation

raw domain=[-6, -5, -4]

sorted distinct declared domain=[-6, -5, -4]

domain input-6 m*x := mul(-1, -6)

domain input-6 m*x = 6

domain input-6 m*x+b := sum(6, 1)

domain input-6 m*x+b = 7

legal input=-6;formula value=7

graph point=(-6, 7)

domain input-5 m*x := mul(-1, -5)

domain input-5 m*x = 5

domain input-5 m*x+b := sum(5, 1)

domain input-5 m*x+b = 6

legal input=-5;formula value=6

graph point=(-5, 6)

domain input-4 m*x := mul(-1, -4)

domain input-4 m*x = 4

domain input-4 m*x+b := sum(4, 1)

domain input-4 m*x+b = 5

legal input=-4;formula value=5

graph point=(-4, 5)

complete legal-input points=[[-6, 7], [-5, 6], [-4, 5]]

finite graph={(-6, 7), (-5, 6), (-4, 5)}

Reverse checks

• S011 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
• S010 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
• S009 · premise_and_result_audit — Recompute domain input-4 m*x+b with exact rational arithmetic, not rounded decimals.
• S008 · premise_and_result_audit — Recompute domain input-4 m*x with exact rational arithmetic, not rounded decimals.
• S007 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
• S006 · premise_and_result_audit — Recompute domain input-5 m*x+b with exact rational arithmetic, not rounded decimals.
• S005 · premise_and_result_audit — Recompute domain input-5 m*x with exact rational arithmetic, not rounded decimals.
• S004 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
• S003 · premise_and_result_audit — Recompute domain input-6 m*x+b with exact rational arithmetic, not rounded decimals.
• S002 · premise_and_result_audit — Recompute domain input-6 m*x with exact rational arithmetic, not rounded decimals.
• S001 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.

Result

{(-6, 7), (-5, 6), (-4, 5)}

The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.

This question review and source binding

Review date: 2026-10-26

Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.