Высказывание может быть истинным или ложным
Они могут быть выражены с естественных формальных языков или только повествовательным предложением
Могут быть простыми или сложными
Истинность простых высказываний определяется на основе здравого смысла
Истинность составных высказываний определяется с алгебраических вычислений
