symbolic logic proofs practice