Библиотека, читать онлайн, скачать книги txt

БОЛЬШАЯ БИБЛИОТЕКА

МЕЧТА ЛЮБОГО


Высказывания и высказывательные формы

Высказывание — термин математической логики, обозначающий формализованную структурированную запись мысли с помощью буквенных символов и логических связок, рассматриваемую с точки зрения истинностных высказывания и высказывательные формы. Это утверждение, для которого оценивается логическое значение: ложь или истина. Логическое высказывание принято обозначать заглавными латинскими буквами. Является основным объектом логики высказываний. Высказывательной формой называется логическое высказывание, в котором один из объектов заменён переменной. При подстановке вместо переменной какого-либо значения высказывательная форма превращается в высказывание. », где A — высказывательная форма, x — объект. Виды высказываний Логические высказывания принято подразделять на два вида: элементарные логические высказывания и составные логические высказывания. Составное логическое высказывание — это высказывание, образованное из других высказываний с помощью логических связок. Логическая связка — это любая логическая операция над высказыванием. Например, употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если…то», «тогда и только тогда» являются высказывания и высказывательные формы связками. Элементарные логические высказывания — это высказывания не относящиеся к составным. Примеры: «Петров — врач», «Петров — шахматист» — элементарные логические высказывания. «Петров — врач и шахматист» — составное логическое высказывание, состоящие из двух элементарных высказываний, связанных между собой при помощи связки высказывания и высказывательные формы арифметике нередко встречаются предложения, содержащие высказывания и высказывательные формы либо несколько переменных. Эти предложения не являются высказываниями, потому что относи­тельно их не имеет смысла вопрос, истинны они либо неверны. Но при подстановке значений переменных эти предложения обращаются в выражения настоящие либо неверные. Предложения такового вида именуют высказывательными формами. Любая высказывательная форма порождает высказы­вания одной и той же формы. Такие высказывательные формы именуют одноместными. Итак, высказывательная форма — это предложение с одной либо несколькими переменными, которое обращается в высказы­вание при подстановке в него определенных значений переменных. Понятие высказывательной формы можно рассматривать как обобщение узнаваемых понятий: уравнения с одной, 2-мя и т. Относительно высказывательной формы появляется вопрос: при каких значениях переменных эта форма обращается в настоящее выражение? Если высказывательная форма — уравнение либо неравенство с переменнойто, чтоб дать ответ на этот вопрос, нужно уравнение либо неравенство решить. Составные образуются из элемен­тарных с помощью логических связок «и», «или», частички «не». Высказывания и высказывательные формы для Вас подготовлен образовательный документ: Высказывательные формы.



copyright © art-malina.ru