Some Theorems on Deducibility