Логические ситуации являются развитием модели информационной ситуации [1, 2] в области логики. Применение модели информационной ситуации позволяет лучше исследовать предметные области [3], исследовать информационное поле [4], оценивать информационное преимущество [5], совершенствовать алгоритмическое обеспечение [6]. Логические информационные ситуации содержат логическое описание реальных ситуаций.
Логические информационные ситуации служат основой анализа реальных ситуаций и анализа алгоритмов. Они включают логические связки [7, 8], логические единицы [9, 10], логические переменные, логические высказывания, логические формулы, логические функции. Простыми логическими единицами являются высказывания, которые включают логическую связку с логическими переменными. Простые логические единицы входят в сложные логические единицы или в логические высказывания, в логические выражения. В логике предикатов используют сложные логические единицы, включающие предикаты и кванторы.
При изучении логических ситуаций, логических формул необходимо учитывать когнитивные принципы: обозримости, воспринимаемости, интерпретируемости [11]. Если информационная ситуация или логическое выражение сложно и необозримо, его нельзя анализировать. Если логическое выражение обозримо, но невоспринимаемо, его трудно анализировать. Если логическое выражение воспринимаемо, но неинтерпретируемо [12], его нельзя понять.
Факторы — обозримость, воспринимаемость, интерпретируемость — являются когнитивными, поскольку зависят от интеллекта субъекта и его информационной подготовки, то есть какой аппарат логики он применяет.
Логические связки есть описание простых логических операций в логике высказываний. В логике высказываний применяют следующие основные логические связки: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция, неравнозначность, стрелка Пирса, штрих Шеффера. Логические связки используют для вычисления логических значений сложных высказываний по логическим значениям составляющих его простых высказываний (логических единиц).