Логика высказываний, называемая также пропозициональной логикой - раздел математики и логики, изучающий логические формы сложных высказываний, построенных из простых или элементарных высказываний с помощью логических операций. Высказываниями принято считать такие предложения (написанные на "словесном" либо математическом языке), о которых можно сказать одно из двух: либо они являются истинными, либо ложными. С математическими высказываний проще всего: они всегда имеют либо значение "истина", либо значение "ложь"...

Поскольку в целом мы собираемся говорить на этом канале о философии и искусстве, то, пожалуй, следует в первую очередь поговорить о самых базовых для такой темы вещах. В данном случае мы поговорим о символе. Что такое символ? Если уж начинать ответ на этот вопрос, то, возможно, справедливо будет прибегнуть к диалогу Морфеуса и Нео из фильма "Матрица". Только слово "Матрица" мы заменим на слово "Символы" "Морфеус: Объясню, почему ты здесь. Потому, что ты что-то понял. Ты не можешь выразить это, но ощущаешь...