introduction to symbolic logic 1

/in /by

Introduction to Symbolic Logic questions

example question:

Construct a derivation (for the following argument) from the premise to the conclusion, under two restrictions: (i) you can only apply &E and &I, and (ii) any application of &E must occur earlier than any application of &I.