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

 
tema/vyskazyvanie.txt · Последние изменения: 2009/01/10 14:14 От morar_11a
 
За исключением случаев, когда указано иное, содержимое этой вики предоставляется на условиях следующей лицензии:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki