2013
The Tutorial
The sentential rules of derivation carry over unchanged into Predicate Logic
Exercises to accompany Predicate Tutorial 5
Exercise 1 (of 1).
The sentential 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
Should you wish to use the Deriver application, see Exercises for Easy Deriver using the Deriver Web Application . Good advice is: start these tutorials without it, but if you get to the point of wishing to save some work then switch to the Deriver Web Application.
Then... either copy and paste the above formulas into the Journal or use the Deriver File Menu to Open Web Page with this address https://softoption.us/test/easyDeriver/CombinedExercisesEasyDBergmann.html .