6.3.x. Exercise questions

Use the system of derivations to establish each of the following:
1. Fa → Ga, Fa, a = b ⇒ Gb
2. Fa → Ga, Fb, a = b ⇒ Ga
3. Fa ∧ a = gb ⇒ ¬ F(gc) → ¬ b = c
4. Fa → G(fa), G(fb) → Hb, a = b ⇒ Fb → Ha
5. fa = b, fc = d ⇒ (a = c ∨ b = d) → fa = d
6.

The vice president is Dick Cheney

George Bush is the president

The vice president is not from Texas

If George Bush is from Texas, then Dick Cheney is not the president

For more exercises, use the exercise machine.

Glen Helman 28 Aug 2008