Все эти определения можно записать с помощью таблицы, называемой таблицей истинности.

В математике часто встречаются предложения, содержащие одну или несколько переменных. Например: Х < 3; Х + У = 8. Эти предложения не являются высказываниями, т. к. относительно их не имеет смысла вопрос, истинны они или ложны. Но при подстановке значений переменных эти предложения в высказывания (истинные или ложные).

Предложения такого вида называния высказывательными формами или предикатами. Каждая высказывательная форма порождает высказывания одной и той же формы. Высказывательная форма содержащая одну переменную называется одноместной, а две двух местной.

И так, высказывательная форма – это предложение с одной или несколькими переменными, которое обращается в высказывание при подстановке в него конкретных значений переменных.

Среди всех возможных значений переменной существуют те, которые обращают высказывательную форму в истинное высказывание. Множество таких значений переменных называют множеством истинности высказывательной формы. Например, множеством истинности предиката Х > 5, заданного на множестве действительных чисел, буде промежуток (5;∞).

Обозначим множество истинности высказывательной формы буквой Т. Тогда согласно определению, всегда Т Ì Х.

Также как и высказывания, предикаты бывают элементарные и составные. Составные образуются из элементарных при помощи логических связок.

Пусть на множестве Х заданны два предиката А(х) и В(х). Предикат А(х) Þ В(х), х Î Х называют импликацией данных предикатов. Он обращается в ложное высказывание лишь при тех значениях х из множества Х, при которых предикат А(х) Þ В(х) истинен. Говорят что предикат В(х) логически следует из предиката А(х).

Вообще если на множестве Х заданны два предиката А(х) и В(х) и известно, что предикат В(х) логически следует из предиката А(х), то предикат В(х) называют необходимым условием для предиката А(х), а А(х) – достаточным условием для предиката В(х). Очень часто слова «необходимое условие» заменяют словами «только тогда», «только в том случае».

Мы выяснили, что при подстановки значений переменных в предикат, получаем истинное или ложное высказывание. Но это превращение можно осуществить и другим образом.

Если перед высказывательной формой «число х кратно 5» поставить слово «всякое», то получится предложение «всякое число х кратно 5». Относительно этого предложения можно задать вопрос, истинно оно или ложно. Значит предложение «всякое число х кратно 5» (х Î N) – высказывание, причем ложное.

Выражение «для всякого х» в логике называется квантором общности по переменной х и обозначается символом "х.

Высказывание «существует х такое, что …» в логике называется квантором существования по переменной х и обозначается символом $х.

Наряду со словом «всякий» употребляют слова «каждый», «любой», а вместо слова «существует» используют слова «некоторые», «найдется», «есть», «хотя бы один».

Используя слово «некоторый» в обычной речи имеют в виду «по меньшой мере один, но не все», в математике же слово «некоторые» обозначает «по меньшей мере один, но может быть, и все». И так, если задана одноместная высказывательная форма А(х), то чтобы превратить ее в высказывание, достаточно связать квантором общности или существования содержащуюся в ней переменную. Если же высказывательная форма содержит несколько переменных, то перевести ее в высказывание можно, если связать кванторм общности или существования содержащуюся в ней переменную. Если же высказывательная форма содержит несколько переменных, то перевести ее в высказывание можно, если связать квантором каждую переменную. Например, если дана высказывательная форма «х > у», то для получения высказывания надо связать квантором обе переменные. Например, ("х)($у) х > у или ($х)($у) х > у.

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

Часто в высказываниях квантор опускается; например, переместительный закон сложения чисел записывают в виде равенства а + в = в + а, которое означает, что для любых чисел а и в справедливо равенство а + в = в + а, то есть переместительный закон сложения есть высказывание с квантором общности.

Истинность высказывания с квантором общности устанавливается путем доказательства. Что бы убедиться в ложности таких высказываний, достаточно привести контр пример.

Истинность высказывания с квантором существования устанавливается при помощи конкретного примера. Чтобы убедится в ложности такого высказывания, необходимо привести доказательство.