Классическая символическая логика, Логика высказываний - Логика