Prove
> hypotheses: (1) for all x . A(x) -> B(x) (2) for all y . B(y) -> C(y)
> conclusion: for all z . A(z) -> C(z)
in Fitch notation (first-order logic, no axioms).
Summary of rules starts on p. 557 of Language, Proof and Logic https://web.archive.org/web/20130903114953/http://ssdi.di.fct.unl.pt/~pb/cadeiras/lc/0102/lpl%20textbook.pdf
hf gl
> hypotheses: (1) for all x . A(x) -> B(x) (2) for all y . B(y) -> C(y)
> conclusion: for all z . A(z) -> C(z)
in Fitch notation (first-order logic, no axioms).
Summary of rules starts on p. 557 of Language, Proof and Logic https://web.archive.org/web/20130903114953/http://ssdi.di.fct.unl.pt/~pb/cadeiras/lc/0102/lpl%20textbook.pdf
hf gl
