Высказывание (логика)

Эта статья о логическом термине. См. также Высказывание (лингвистика).

Выска́зывание — базовое понятие математической логики и формальной логики.

Высказыванием называется предложение, про которое есть смысл говорить, истино оно или ложно. Так, например, «Сейчас идёт дождь» — высказывание, а «Пойдём обедать» — не высказывание. Аналогично, «5>3» — высказывание, а «2+3» — не высказывание. Как правило, высказывания обозначают маленькими латинскими буквами.

Пусть p — высказывание. Если оно истино, то пишут | p | = 1, если ложно, то | p | = 0. Тождественно истиное высказывание обозначают символом 1, тождественно ложное — символом 0.

См. также

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home