Compare Example Gt
Greater Than Example
Greater Than Substitution
Minimum Example 2

Proof: Greater Than Substitution

Let's prove the following theorem:

if the following are true:
  • x is greater than y
  • minimum value of stack z = y

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

Proof:

View as a tree | View dependent proofs | Try proving it

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
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)
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)
Previous Lesson Next Lesson

Comments

Please log in to add comments