Elements of logic reasoning