Symbolic Logic Rules Of Inference