The propositional rules of derivation carry over unchanged into Predicate Logic
Run the program and do the 1 exercise of Predex 5.
You should now Launch Deriver and do the 1 exercises of Predicate Exercise 5 (Predex5).
The propositional rules of inference are used unchanged in predicate logic.
Derive
a) Fa ∴ ∼ ∼ Fa
b) ∴ ∼ (Fb∧ ∼ Fb)
c) ∼ Fm∧ ∼ Gn∴ ∼ (Fm∨Gn)
d) (Fa∧Fa)∨(Gb∧Gb)∴ Fa∨Gb
e) Fb⊃(Ga⊃Hc), Fb⊃Ga ∴ Fb⊃Hc
f) Fa∨Gb, Gb⊃Hd ∴ ( ∼ Fa⊃Hd)
g) (Fa⊃Gb)∧(Gb⊃Fa) ∴ Fa≡Gb