The weakening rule allows adding propositions to a logical derivation without invalidating…
Sign in to your account
Remember me
