Логика и её визуализация: виды высказываний