Proof by basic rules of sentential logic