Логический квадрат истинности суждений: теория и визуализация