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

Определение: Одноместной высказывательной формой, заданной на множестве Х, называется предложение с переменной, которое обращается в высказывание при подстановке в него значений переменной из множества Х.

Высказывательные формы принято обозначать: А(х), В(х)…….

Х – область определения высказывательной формы, множество тех значений переменной, которые можно подставить в высказывательную форму.

Среди всех возможных значений переменной в первую очередь интересны те, которые обращают высказывательную форму в истинное высказывание. Множество таких значений переменной называют множеством истинности высказывательной формы.

Множество истинности принято обозначать: Т .Согласно определению Т Ì Х.

Примеры высказывательных форм:

1. х + 3 = 8, Х =R, Т ={ 5 };

2. A(x) – число х- двузначное, Х =N, Т ={10,11,12,13,…………97,98,99.}