Let's prove the following theorem:

if the following are true:

then x is greater than (minimum value of stack z)

Given

1	x is greater than y
2	minimum value of stack z = y

Proof Table

#	Claim	Reason
1	y = minimum value of stack z	if minimum value of stack z = y, then y = minimum value of stack z (Symmetric Property of Equality)
2	x is greater than y = x is greater than (minimum value of stack z)	if y = minimum value of stack z, then x is greater than y = x is greater than (minimum value of stack z) (Substitution)
3	x is greater than (minimum value of stack z)	if x is greater than y and x is greater than y = x is greater than (minimum value of stack z), then x is greater than (minimum value of stack z) (Truth Propagation Property)

Previous Lesson Next Lesson

Please log in to add comments