Высказывания и логические выражения отличаются по своему определению и структуре:
- Высказывание — это повествовательное предложение, о котором можно сказать, истинно оно или ложно. 67 В математической логике не рассматривается конкретное содержание высказывания, важно только, истинно оно или ложно. 1
- Логическое выражение — это символическая запись высказывания, состоящая из логических величин (констант или переменных), объединённых логическими операциями (связками). 12 В зависимости от значений этих переменных величин (объектов) логическое выражение может принимать одно из двух возможных значений: истина (логическая 1) или ложь (логический 0). 5
Таким образом, основное отличие в том, что высказывания рассматриваются с точки зрения их логического значения, а от содержания отвлекаются, в то время как логические выражения представляют собой символическую запись, в которую, наряду с постоянными величинами, обязательно входят переменные величины (объекты). 35