Предложение которое не является высказыванием. Что такое высказывание? Темы, цели и виды высказываний. Знаменитые высказывания

Алгебра в широком смысле этого слова - наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться над разнообразными математическими объектами.

Многие математические объекты (целые и рациональные числа, многочлены, векторы, множества) вы изучаете в школьном курсе алгебры, где знакомитесь с такими разделами математики, как алгебра чисел, алгебра многочленов, алгебра множеств и т. д. Для информатики важен раздел математики, называемый алгеброй логики ; объектами алгебры логики являются высказывания .

Высказывание - это предложение на любом языке, содержание которого можно однозначно определить как истинное или ложное.

Пример:

Например, относительно предложений «Великий русский учёный М. В. Ломоносов родился в \(1711\) году» и «Two plus six is eight» можно однозначно сказать, что они истинны. Предложение «Зимой воробьи впадают в спячку» - ложно. Следовательно, эти предложения являются высказываниями.

В русском языке высказывания выражаются повествовательными предложениями.

Обрати внимание!

Но не всякое повествовательное предложение является высказыванием.

Пример:

Например, предложение «Это предложение является ложным» не является высказыванием, так как относительно него нельзя сказать, истинно оно или ложно, без того чтобы не получить противоречие. Действительно, если принять, что предложение истинно, то это противоречит сказанному. Если же принять, что предложение ложно, то отсюда следует, что оно истинно.

Побудительные и вопросительные предложения высказываниями не являются.

Например, не являются высказываниями такие предложения, как: «Запишите домашнее задание», «Как пройти в библиотеку?», «Кто к нам пришёл?».

Высказывания могут строиться с использованием знаков различных формальных языков - математики, физики, химии и т. п.

Примерами высказываний могут служить:

«Nа - металл» (истинное высказывание);

«Второй закон Ньютона выражается формулой \(F = ma\) (истинное высказывание);

«Периметр прямоугольника с длинами сторон \(а\) и \(b\) равен \(аb\)» (ложное высказывание).

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

• 3 + 5 = 2 ⋅ 4 (истинное высказывание);
• «II + VI > VIII» (ложное высказывание).

Не являются высказываниями и равенства или неравенства, содержащие переменные.

Например, предложение \(«x < 12»\) становится высказыванием только при замене переменной каким-либо конкретным значением: \(«5 < 12»\) - истинное высказывание; \(«12 < 12»\) - ложное высказывание.

Обоснование истинности или ложности высказываний решается теми науками, к сфере которых они относятся. Алгебра логики отвлекается от смысловой содержательности высказываний. Её интересует только то, истинно или ложно данное высказывание. В алгебре логики высказывания обозначают буквами и называют логическими переменными . При этом, если высказывание истинно, то значение соответствующей ему логической переменной обозначают единицей \((А = 1)\), а если ложно - нулём \((В = 0)\).

\(0\) и \(1\), обозначающие значения логических переменных, называются логическими значениями .

Логика, созданная как наука Аристотелем (384-322 г. до н.э.), на протяжении столетий использовалась для развития многих областей знания, включая теологию, философию, математику.

Она - тот фундамент, на котором построено все здание математики. По сути, логика — это наука о рассуждениях, которая позволяет определить истинность или ложность того или иного математического утверждения, исходя из совокупности первичных предположений, называемых аксиомами. Логика применяется также в информатике для построения компьютерных программ и доказательства их корректности. Понятия, методы и средства логики лежат в основе современных информационных технологий. Одна из основных целей этой работы — изложить основы математической логики, показать, как она используется в информатике, и разработать методы анализа и доказательства математических утверждений.

Логические представления - описание исследуемой сис-темы, процесса, явления в виде совокупности сложных высказываний, составленных из простых (элементарных) высказываний и логических связок между ними. Логические представления и их составляющие характеризуются опре-деленными свойствами и набором допустимых преобразо-ваний над ними (операций, правил вывода и т.п.), реализую-щих разработанные в формальной (математической) логике правильные методы рассуждений — законы логики .

Понятие высказывания

Высказывание — это утверждение или повествовательное предложение, о котором можно сказать, что оно истинно или ложно. Иными словами, утверждение об истинности или ложности высказывания должно иметь смысл. Истинность или ложность, приписываемые некоторому утверждению, называются его значением истинности , или истинностным значением.

Например, высказывания Дважды два четыре и Город Челябинск находится в азиатской части России истинные, а высказывания Три больше пяти и Река Дон в настоящее время впадает в Каспийское море ложны, так как не соответствуют действительности. Истинные высказывания принято обозначать T (true ) или И (истина ), а ложные, соответственно, F (false ) или Л (ложь ). В информатике истинность принято обозначать 1 (двоичная единица), а ложность - 0 (двоичный ноль).

Вот примеры предложений, не являющихся высказываниями:

Кто вы? (вопрос),

Прочтите эту главу до следующего занятия (приказ или восклицание),

Это утверждение ложно (внутренне противоречивое утверждение),

Площадь отрезка меньше длины куба (нельзя сказать истинно это предложение или ложно, т.к. не имеет смысла).

Мы будем обозначать высказывания буквами латинского алфавита р , q , r , Например, р может обозначать утверждение Завтра будет дождь , а q — утверждение Квадрат целого числа есть число положительное .

Логические связки

В обыденной речи для образования сложного предложения из простых используются связки — особые части речи, соединяющие отдельные предложения. Наиболее часто употребляются связки и , или , не , если ... то , только если , и тогда и только тогда . В отличие от обыденной речи, в логике смысл таких связок должен быть определен однозначно. Истинность сложного высказывания однозначно определяется истинностью или ложностью составляющих его частей. Высказывание, не содержащее связок, называется простым . Высказывание, содержащее связки, называется сложным . Логические связки также называют логическими операциями над высказываниями.

Пусть р и q обозначают высказывания

р: Джейн водит автомобиль,

q: У Боба русые волосы.

Сложное высказывание

Джейн водит автомобиль и у Боба русые волосы состоит из двух частей, объединенных связкой и . Это высказывание может быть символически записано в виде

где символ обозначает слово и на языке символических выражений. Выражение называется конъюнкцией высказываний р и q .

Встречаются также следующие варианты записи конъюнкции:

Точно так же высказывание

Джейн водит автомобиль или у Боба русые волосы.

символически выражается как

где обозначает слово или в переводе на символический язык. Выражение называется дизъюнкцией высказываний р и q .

Опровержение, или отрицание высказывания p обозначается через

Таким образом, если р есть высказывание Джейн водит автомобиль , то - это утверждение Джейн не водит автомобиль .

Если r есть высказывание Джо нравится информатика , то Джейн не водит автомобиль и у Боба русые волосы или Джо любит информатику символически запишется как

.

И наоборот, выражение

это символическая форма записи высказывания Джейн водит автомобиль, у Боба волосы не русые и Джо нравится информатика .

Рассмотрим выражение . Если некто говорит: "Джейн водит автомобиль и у Боба русые волосы" , то мы, естественно, представляем себе Джейн за рулем автомобиля и русоволосого Боба. В любой другой ситуации (например, если Боб не русоволос или Джейн не водит автомобиль) мы скажем, что говорящий не прав.

Возможны четыре случая, которые нам необходимо рассмотреть. Высказывание р может быть истинным (Т ) или ложным (F ) и независимо от того, какое истинностное значение принимает р , высказывание q может также быть истинным (Т ) или ложным (F ). Таблица истинности перечисляет все возможные комбинации истинности и ложности сложных высказываний.

Итак, конъюнкция истинна тогда и только тогда, когда истинны оба высказывания p и q , то есть в случае 1.

Точно так же рассмотрим высказывание Джейн водит автомобиль или у Боба русые волосы , которое символически выражается как . Если некто скажет: "Джейн водит автомобиль или у Боба русые волосы", то он будет не прав только тогда, когда Джейн не сможет управлять автомобилем, а Боб не будет русоволосым. Для того чтобы все высказывание было истинным, достаточно, чтобы одна из двух составляющих его компонент была истинной. Поэтому имеет таблицу истинности

Дизъюнкция ложна только в случае 4, когда оба р и q ложны.

Таблица истинности для отрицания имеет вид

Истинностное значение всегда противоположно истинностному значению р. В таблицах истинности отрицание всегда оценивается первым, если только за знаком отрицания не следует высказывание, заключенное в скобки. Поэтому интерпретируется как , так что отрицание применяется только к р . Если мы хотим отрицать все высказывание, то это записывается как .

Символы и называют бинарными связками, так как они связывают два высказывания. Символ ~ является унарной связкой, так как применяется только к одному высказыванию.

Еще одна бинарная связка - это исключающее или, которое обозначается через . Высказывание истинно, когда истинно p или q , но не оба одновременно. Эта связка имеет таблицу истинности

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

Рассмотрим высказывание

,

где скобки использованы, чтобы показать, какие именно высказывания являются компонентами каждой связки.

Таблица истинности дает возможность однозначно указать те ситуации, когда высказывание является истинным; при этом мы должны быть уверены, что учтены все случаи. Поскольку сложное высказывание содержит три основных высказывания р , q и r , то возможны восемь случаев

Случай	p	q	r
	T	T	T	F	F	T
	T	T	F	F	F	T
	T	F	T	T	T	T
	T	F	F	T	F	T
	F	T	T	F	F	F
	F	T	F	F	F	F
	F	F	T	T	T	T
	F	F	F	T	F	F

При нахождении значений истинности для столбца мы используем столбцы для и r , а также таблицу истинности для . Таблица истинности для показывает, что высказывание истинно лишь в том случае, когда истинны оба высказывания и r . Это имеет место лишь в случаях 3 и 7.

Заметим, что при определении значений истинности для столбца играет роль только истинность высказываний p и . Таблица истинности для показывает, что единственный случай, когда высказывание, образованное с помощью связки или , ложно, — это случай, когда ложны обе части этого высказывания. Такая ситуация имеет место только в случаях 5, 6 и 8.

Другой, эквивалентный способ построения таблицы истинности состоит в том, чтобы записывать истинностные значения выражения под связкой. Снова рассмотрим выражение. Сначала мы записываем истинностные значения под переменными р , q и r . Единицы под столбцами истинностных значений указывают на то, что этим столбцам истинностные значения присваиваются в первую очередь. В общем случае число под столбцом будет показывать номер шага, на котором производятся вычисления соответствующих истинностных значений. Затем мы записываем под символом ~ истинностные значения высказывания . Далее записываем истинностные значения под символом . Наконец, записываем значения высказывания под символом .

1.1.3. Условные высказывания

Допустим, некто утверждает, что если случится одно событие, то случится и другое. Предположим, отец говорит сыну: "Если в этом семестре ты сдашь все экзамены на «отлично», я куплю тебе машину ". Заметьте, что высказывание имеет вид: если р, то q , где р — высказывание В этом семестре ты сдашь все экзамены на «отлично» , а q — высказывание Я куплю тебе машину . Сложное высказывание мы обозначим символически через . Спрашивается, при каких условиях отец говорит правду? Предположим, высказывания р и q истинны. В этом случае счастливый студент получает отличные оценки по всем предметам, и приятно удивленный отец покупает ему машину. Естественно, ни у кого не вызывает сомнения тот факт, что высказывание отца было истинным. Однако существуют еще три других случая, которые необходимо рассмотреть. Допустим, студент действительно добился отличных результатов, а отец не купил ему машину.

Самое мягкое, что можно сказать об отце в таком случае, — это то, что он солгал. Следовательно, если р истинно, а q ложно, то ложно. Допустим теперь, что студент не получил положительные оценки, но отец тем не менее купил ему машину. В этом случае отец предстает очень щедрым, но его никак нельзя назвать лжецом. Следовательно, если р ложно и q истинно, то высказывание если р, то q (т.е. ) истинно. Наконец, предположим, что студент не добился отличных результатов, и отец не купил ему машину.

Поскольку студент не выполнил свою часть соглашения, отец тоже свободен от обязательств. Таким образом, если р и q ложны, то считается истинным. Итак, единственный случай, когда отец солгал, — это когда он дал обещание и не выполнил его.

Таким образом, таблица истинности для высказывания имеет вид

Символ называется импликацией , или условной связкой .

Может показаться, что носит характер причинно-следственной связи, но это не является необходимым. Чтобы увидеть отсутствие причины и следствия в импликации, вернемся к примеру, в котором р есть высказывание Джейн управляет автомобилем , а q — утверждение У Боба русые волосы . Тогда высказывание Если Джейн управляет автомобилем, то у Боба русые волосы запишется как

если p , то q или как .

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

Рассмотрим следующий пример. Требуется найти таблицу истинности для выражения

.

Используя таблицу истинности для , приведенную выше, построим сначала таблицы истинности для и , учитывая, что импликация ложна только в случае, когда .

Теперь используем таблицу для , чтобы получить для высказывания

таблицу истинности

Высказывание вида обозначается через . Символ называется эквиваленцией . Эквиваленция также иногда обозначается как (не следует путать с унарной операцией отрицания).

Тема: Логические высказывания и логические операции.

Цели урока:

Сформировать понятия: логическое высказывание, логические величины, логические операции.

Учащиеся должны знать: значение понятий: логическое высказывание, логические величины, логические операции.

Учащиеся должны уметь:

• приводить примеры логических высказываний;
• называть логические величины, логические операции.

Ход урока

Занятие сопровождается компьютерной презентацией. (Приложение)

I. Оргмомент

На прошлом уроке мы с вами говорили о науке Логике. Мы уже знаем, что в науке логика есть несколько разделов. Один из разделов - Алгебра высказываний.

Запишем заголовок: Алгебра высказываний.

II. Объяснение нового материала

(Слайд 1)

ВЫСКАЗЫВАНИЕ - это повествовательное предложение, о котором можно сказать, что оно или истинно или ложно.

Например:

Земля - планета Солнечной системы. (Истинно.)

2 + 8 < 5 (Ложно.)

5 · 5 = 25 (Истинно.)

Всякий квадрат есть параллелограмм. (Истинно.)

Каждый параллелограмм есть квадрат. (Ложно.)

2 · 2 = 5 (Ложно.)

Не всякое предложение является высказыванием.

1) Восклицательные и вопросительные предложения высказываниями не являются.

- «Какого цвета этот дом?»

- «Пейте томатный сок!»

2) Не являются высказываниями и определения.

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

Определения не бывают истинными или ложными, они лишь фиксируют принятое использование терминов.

3) Не являются высказываниями и предложения типа «Он сероглаз» или «х- 4х + 3=0» - в них не указано, о каком человеке идет речь или для какого числа х верно равенство. Такие предложения называются высказывательными формами.

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

(Слайд 2)

В математической логике не рассматривается конкретное содержание высказывания, важно только, истинно оно или ложно. Поэтому высказывание можно представить некоторой переменной величиной, значением которой может быть только 0 или 1 . Если высказывание истинно, то его значение равно 1, если ложно - 0.

Простые высказывания назвали логическими переменными и для простоты записи их обозначают латинскими буквами: А, В, С…

Луна является спутником Земли. А = 1

Москва – столица Германии. В = 0

Сложные высказывания называются логическими функциями . Значения логической функции также может принимать значения только 0 или 1.

Запишем заголовок:

БАЗОВЫЕ ЛОГИЧЕСКИЕ ОПЕРАЦИИ

(Слайд 3)

В алгебре высказываний, как и в обычной алгебре, вводится ряд операций. Логические связки И, ИЛИ и НЕ заменяются логическими операциями: конъюнкцией, дизъюнкцией и инверсией . Это основные логические операции, при помощи которых можно записать любую логическую функцию.

(Слайд 4)

КОГДА ИЗ ТРУБЫ ПОЛЬЕТСЯ ВОДА?

(Слайд 5)

ЛОГИЧЕСКОЕ УМНОЖЕНИЕ

Обозначим каждое из высказываний латинскими буквами.

А – «Сегодня светит солнце».

В – «Сегодня идет дождь».

Соединим с помощью союза И , получим сложное высказывание. Это и будет логическое умножение.

Запишем определение: Логическое умножение (конъюнкция) образуется соединением двух (или более) высказываний в одно с помощью союза «и».
Составим таблицу истинности. (Слайд 6)

Обозначение: &, ^, *.

Союз в естественном языке: и.

Зададим в таблице все варианты, когда высказывания могут быть либо истинными – 1, либо ложными – 0. Теперь посмотрим, что получим в итоге?

Рассмотрим другой вариант: КОГДА ИЗ ТРУБЫ ПОЛЬЕТСЯ ВОДА?

(Слайд 7)

(Слайд 8) ЛОГИЧЕСКОЕ СЛОЖЕНИЕ

А – На стоянке находится «Мерседес».

В – На стоянке находится «Жигули».

Соединим с помощью союза ИЛИ , получим сложное высказывание. Это и будет логическое сложение.

Запишем определение: Логическое сложение (дизъюнкция) образуется соединением двух (или более) высказываний в одно с помощью союза «или».

Составим таблицу истинности. (Слайд 9)

Обозначение: +, V.

Союз в естественном языке: или.

(Слайд 10)

Посмотрите, как проще запомнить дизъюнкцию и конъюнкцию.

В слове дизъюнкция две буквы И, значит ИЛИ, а в слове конъюнкция одна буква И, значит И.

Следующая операция: ЛОГИЧЕСКОЕ ОТРИЦАНИЕ. (Слайд 11)

Снова обозначим каждое из высказываний латинскими буквами.

Запишем определение: Логическое отрицание (инверсия) образуется из высказывания с помощью добавления частицы «не» к сказуемому или использования оборота речи «неверно, что…».

Составим таблицу истинности. (Слайд 12)

Обозначение: ¬.

Союз в естественном языке: не; неверно, что…

Следующая операция: ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ. (Слайд 13)

Обозначение: →.

Союз в естественном языке: если…, то….

Запишем определение: Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если…, то…».

Составим таблицу истинности. (Слайд 14)

III. Итог урока

Сегодня мы с вами рассмотрели логические высказывания и логические операции. У кого есть вопросы по данной теме?

Здесь: 1 - истина, 0 - ложь.

• 1. Х: треугольник АВС - остроугольный. Х: неверно, что треугольник АВС - остроугольный. Это все равно, что: Х: треугольник АВС - прямоугольный или тупоугольный
• 2. А: Иванова М. На экзамене по математике получила 4. : Неверно, что Иванова М. по математике получила 4.

Определение: Дизъюнкцией высказывания А и В называется высказывание АВ, истинное при условии, что хотя бы одно из высказываний А или В истинно.

Его читают «А или В».

Таблица истинности для АВ

Пример: 1. На этот раз ответчик явился и суд состоялся. - истина

2. В прямоугольном треугольнике сумма двух любых углов больше или равна третьего угла и гипотенуза меньше катета. - ложь

Определение: Импликацией высказываний А и В называется высказывание АВ, ложное лишь при условии, что А истинно, а В ложно.

Его читают: «Если А, то В».

Таблица истинности

Пример: 1. Если я сдам зачет, то пойду в кино.

2. Если треугольник равнобедренный, то углы при его основании равны. Определение: Эквиваленцией высказываний А и В называется высказывание АВ, истинное в том и только в том случае, когда А и В имеют одну и ту же истинность (т.е. либо оба истинны, либо оба ложны).

Читают: «А тогда и только тогда, когда В» или «А необходимо и достаточно для В»

Таблица истинности

Вторая задача, решаемая средствами алгебры высказываний, состоит в том, чтобы определить истинность конкретного высказывания на основе составления его формулы (процесс формализации) и составления таблицы истинности.

Пример: Если Саратов расположен на берегу Невы, то в Африке обитают белые медведи.

А: Саратов расположен на берегу реки Невы;

В: В Африке обитают белые медведи

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

Определение: Формулы F 1 и F 2 называются равносильными, если их эквиваленция - тавтология.

Определение: Если формулы F 1 и F 2 равносильны, то предложения Р 1 и Р 2 , которые инициируют эти формулы, называются равносильными в логике высказываний.

Основные, наиболее часто встречающиеся равносильности, называют законами логики. Перечислим некоторые из них:

• 1. Х Х - закон тождества
• 2. Х Л - закон противоречия
• 3. Х И - закон исключения третьего
• 4. Х - закон двойного отрицания

• 5. законы коммутативности
• 6. Х (У Z) (Х У) Z закон ассоциативности

Х (У Z) (Х У) Z закон дистрибутивности

7. законы Де Моргана

8. законы сочленения переменной с константой

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

4. Из множества формул, равносильных между собой, рассмотрим две. Это - совершенная конъюнктивная нормальная форма (СКНФ) и совершенная дизъюнктивная нормальная форма (СДНФ). Они строятся для данной формулы на основе ее таблицы истинности.

Построение СДНФ:

• -- выбираются строки, соответствующие значениям истинности (1) данной формулы;
• -- для каждой выделенной строки составляем конъюнкцию переменных или их отрицаний так, чтобы наборам значений переменных, представленных в строке, соответствовали истинные значения конъюнкции (для этого надо переменные, которые в этой строке принимали значения ложь (0) взять со знаком отрицания, а переменные, принимающие значения истинности (1) без отрицания);
• -- составляется дизъюнкция полученных конъюнкций.

Из алгоритма следует, что для любой формулы можно составить СДНФ, и притом единственную, если формула не является тождественно ложной, т.е. принимающей только ложные значения.

Составление СКНФ осуществляется по следующему алгоритму:

• -- выделить те строки таблицы, в которых формула принимает значение ложь (0);
• -- из переменных, стоящих в каждой такой строке, составить дизъюнкцию, которая должна принимать значения - ложь (0). Для этого все переменные должны войти в нее со значением ложь, следовательно те, которые истинны (1), надо заменить их отрицанием;
• -- из полученных дизъюнкций составить конъюнкцию.

Очевидно, что любая формула, не являющаяся тавтологией, имеет СКНФ.

СДНФ и СКНФ используются для получения следствий из данной формулы.

Пример: Составить таблицу истинности СДНФ и СКНФ для формулы: .

Таблица истинности СДНФ и СКНФ

5. Рассмотрим высказывательные форму «Река впадает в Черное море». Она содержит одну переменную и может быть представлена в виде «Река х впадает в Черное море».

В зависимости от значений переменной Х предложение является либо истинным, либо ложным, т.е. задается отображение множества рек на двух элементное множество. Обозначим это отображение, тогда:

Таким образом, имеем функцию, все значения которой принадлежат множеству.

Определение: Функция, все значения которой принадлежат множеству, называется предикатом.

Буквы, обозначающие предикаты, называют предикатными символами.

Предикаты могут задаваться:

a) высказывательной формулой,

b) формулой, т.е. задавая интерпретацию предикатного символа,

c) таблицей.

1) Р - «впадать в Черное море».

Эта формула означает, что «Река а впадает в Черное море».

• 2) Предикат Р задан высказывательной формулой: «быть простым числом на множестве первых 15 натуральных чисел».
• 3) В табличной форме предикат имеет вид:

Областью определения предикатов может быть любое множество.

Если предикат при каком-либо наборе входящих переменных теряет смысл, то принято считать, что этому набору соответствует значение Л.

Если предикат содержит одну переменную, то его называют одноместным, две переменные - двуместным, n переменных - n-местным предикатом.

Для перевода текстов на язык предикатов и определения их истинности необходимо ввести логические операции над предикаторами и кванторы.

Над предикатами выполняются так же операции: отрицания, конъюнкции, дизъюнкции, импликации, эквиваленции.

Определение: Подмножество множества М, на котором задан предикат Р, состоящий из тех и только тех элементов М, которым соответствует значение И предиката Р, называется множеством истинности предиката Р.

Множество истинности обозначается.

Определение: Отрицанием предиката Р называется предикат, ложный при тех наборах значений переменных, которые обращают Р в истинный, и истинный при тех наборах значений переменных, которые обращают Р в ложный предикат.

Обозначается отрицание.

Быть студентом АБиК.

Не быть студентом АБиК.

Если, то множество, где М - множество, на котором заданы предикаты Р и Q .

Определение: конъюнкцией предикатов и называется предикат истинный при тех и только тех значениях переменных, входящих в него, которые обращают оба предиката и в истинные.

Быть футболистом

Быть студентом

: быть футболистом и быть студентом.

Определение: дизъюнкцией предикатов и называется предикат ложный при тех наборах входящих в него переменных, которые обращают оба предиката в ложные

Быть четным натуральным числом

Быть нечетным натуральным числом

: быть натуральным числом.

Определение: Импликацией предикатов называется предикат, ложный при тех и только тех наборах входящих в него переменных, которые обращают в истинный предикат, а - в ложный.

Обозначается:

Быть простым числом на множестве N

Быть нечетным числом

Ложен при и истинным при других натуральных числах.

Определение: Эквиваленцией предикатов и называется предикат, который становится истинным, если оба предиката и истинны, или оба ложны.

Обозначается:

- «выигрывать», т.е. х выигрывает у

Лучше знать шахматную историю, х знает лучше у

обозначает, что х выигрывает у у в шахматы тогда и только тогда, когда он лучше знает теорию.

Определение: Предикат следует из предиката если импликация истинна при любых входящих в нее значениях переменных.

Обозначаются следования: .

Быть студентом

Ходить в институт

Для превращения предиката в высказывание существуют 2 пути:

1) придание переменной конкретного значения

; х - студент

Иванов - студент.

2) Навешивание кванторов - любой, всякий, каждый

Существует, имеется.

Запись, где обладает свойством Р означает, что всякий предмет х обладает свойством Р. Или по другому, «все х обладают свойством Р».

Запись означает, что существует предмет х, обладающий свойством Р.

Жизнь человека не мыслится без постоянного обмена с окружающими людьми информацией. Именно поэтому в истории существует копилка знаменитых цитат и высказываний. Человеческое слово необычайно сильно - риторы, полководцы, государственные деятели умели воодушевить речью целые народы. Далее мы поговорим о том, разберем, какое оно бывает, выясним, достижению каких целей служит, научимся выстраивать изречения, приятные всем и каждому, а также вспомним некоторые знаменитые высказывания.

Научное определение

С точки зрения науки высказывание - это основной (неопределяемый) термин из области математической логики. В более ходовом понимании высказывание представляет собой любое повествовательное предложение, которое утверждает что-либо о чем-либо. Причем с точки зрения конкретных обстоятельств и временных рамок можно с точностью заявить, является оно истинным или ложным в существующих условиях. Каждое подобное логическое высказывание можно отнести, таким образом, к одной из 2-х групп:

1. Истина.
2. Ложь.

К истинным высказываниям, например, принадлежат следующие:

• Если девушка окончила школу, она получает аттестат о среднем образовании.
• Лондон - столица Великобритании.
• Карась - рыба.

Ложные высказывания, например, такие:

• Собака - не животное.
• Санкт-Петербург построен на Москве-реке.
• Число 15 делится на 3 и 6.

Что не относится к высказываниям?

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

• Да здравствует мир во всём мире!
• Добро пожаловать в новое учебное заведение!
• Необходимо взять с собой сапоги и зонт для прогулки.

Классификация высказываний

Итак, если то, что такое высказывание, выяснено, то классификация этой категории остается всё ещё не определена. Между тем она действительно существует. Высказывания делятся на 2 две группы:

1. Простое, или элементарное, высказывание - это предложение, представляющее собой одно-единственное утверждение.
2. Сложное, или составное, высказывание, то есть такое, которое образовано из элементарных, благодаря использованию грамматических связок «или», «и», «ни», «не», «если… то…», «тогда и только тогда» и др. Примером может послужить истинное предложение: «Если у ребенка есть мотивация, то он хорошо занимается в школе », которое образовано из 2-х элементарных высказываний: «У ребёнка есть мотивация » и «Он хорошо занимается в школе » при помощи связующего элемента «если... то…». Аналогичным образом строятся все подобные конструкции.

Итак, с высказывание именно применительно к области точных наук, теперь всё ясно. Например, в алгебре любое высказывание рассматривается только в аспекте его логического значения, без учета какого бы то ни было житейского содержания. Здесь высказывание может быть или исключительно истинным, или исключительно ложным - третьего не дано. В этом логическое высказывание качественно отличается от о котором будет сказано далее.

В школьной математике (а также подчас и информатике) элементарные высказывания обозначаются латиницы: a, b, c, … x, y, z. Истинное значение суждения традиционно отмечается цифрой «1», а ложное значение - цифрой «0».

Важные понятия для установления истинности или ложности высказывания

К основным терминам, которые так или иначе соприкасаются с областью логических высказываний, относятся:

• "суждение" - некоторое высказывание, которое потенциально является истинным или ложным;
• "утверждение" - суждение, которое требует доказательства или опровержения;
• "рассуждение" - совокупность логичных и взаимосвязанных суждений, фактов, умозаключений и положений, которые могут быть получены благодаря другим суждениям по определенным правилам вынесения вывода;
• "индукция" - способ рассуждения от частного (более мелкого) к общему (более глобальному);
• "дедукция" - наоборот, способ рассуждения от общего к частному (именно дедуктивным методом в преимуществе своем пользовался знаменитый герой рассказов Артура Конан Дойля Шерлок Холмс, который вкупе с базой знаний, наблюдательностью и внимательностью позволял ему находить истину, облекать её в форму логических высказываний, выстраивать правильные цепочки умозаключений и в результате устанавливать личность преступника).

Что такое высказывание в психологии: "Ты"-высказывание

Наука о человеческом сознании также отводит категории высказываний огромную роль. Именно с помощью неё индивид может произвести на окружающих положительное впечатление и создать неконфликтогенный микроклимат в отношениях. Поэтому сегодня психологи стараются популяризировать тему о наличии двух видов высказывания: это «Я»-высказывания и «Ты»-высказывания. Про последний тип любому, кто хочет совершенствоваться в общении, лучше навсегда забыть!

Характерными примерами «Ты»-высказывания являются такие:

• - Ты вечно не прав!
• - Опять ты лезешь со своими рекомендациями!
• - Ты можешь не быть таким неуклюжим?

В них сразу чувствуется открытое недовольство собеседником, обвинение, создание некомфортной для человека ситуации, в которой он вынужден защищаться. В этом случае он не может услышать, понять и принять точку зрения «обвинителя» потому, что изначально поставлен в положение противника и врага.

«Я»-высказывания

Если цель высказывания - это выражение своего мнения, чувств, эмоций, то забывать про поиск подхода к собеседнику тем не менее нельзя никогда. Бросить короткое обвинение на «ты» куда легче, но на положительную реакцию от собеседника в таком случае можно не рассчитывать, ведь кокон ответной эмоциональной защиты не позволит до него достучаться. Поэтому действеннее будет всё же попробовать технику «Я»-высказываний, которая покоится на определенных принципах.

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

Например, можно сказать:

• Мне грустно.
• Я в негодовании.
• Я растерян.
• Я готова разрыдаться.

• Я опоздала на работу, и босс сделал мне выговор.
• Я ждала тебя и не могла позвонить, так как сеть плохо ловила.
• Я просидел под дождем целый час и весь промок.

Наконец, следует привести пояснение того, почему то или иное действие вызвало определенную реакцию:

• Для меня это мероприятие было крайне важным.
• Я слишком устаю и не справляюсь с навалившимися обязанностями.
• Я приложил много стараний к этому делу и в результате ничего не получил!

На предпоследнем или заключительном (в зависимости от ситуации) этапе нужно выразить пожелание или просьбу. Человек, к которому собеседник обратится после такого подробного описания чувств, должен получить определенные рекомендации и советы для дальнейшего поведения. Примет он их к сведению или нет - его личный выбор, который продемонстрирует реальное отношение:

• Я бы хотел, чтобы ты выходила из дома раньше.
• Предлагаю договориться: мы будем заниматься бытовыми обязанностями через день.

Необязательным, но в некоторых случаях необходимым пунктом является предупреждение о своих намерениях, а именно:

• Боюсь, я больше не смогу одалживать тебе машину на выходные.
• Я буду напоминать тебе о домашнем задании, если ты будешь забывать.

Ошибки в следовании концепции «Я»-высказываний

Для выстраивания успешного диалога и предотвращения скандалов следует исключить из собственной практики общения такие ошибки:

1. Вынесение обвинений. Мало использовать лишь один пункт техники, а затем пуститься в обличение и комментирование собеседника и его действий в форме: «Ты опоздала!», «Ты сломала!», «Ты разбросал вещи!». В этом случае задуманное полностью теряет смысл.
2. Обобщения. От ярлыков и штампов следует избавиться как можно скорее. Речь идет про нелестные стереотипные за рулем, блондинках, мужчинах-холостяках и т. д.
3. Оскорбления.
4. Выражение собственных эмоций в грубой форме ("Я готова тебя убить!", "Я просто в бешенстве!").

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

Знаменитые высказывания философов

Завершение статьи будет связано с высказываниями, которые, в отличие от логических суждений и универсальных психологических приемов, воспринимаются каждым человеком сугубо индивидуально:

• Чего не следует делать, не делай даже в мыслях (Эпиктет).
• Выдать чужой секрет — предательство, выдать свой — глупость (Вольтер).
• Если 50 миллионов человек говорят глупость, это по-прежнему глупость (Анатоль Франс).

Помогают людям лучше понять себя и других, поддерживают в самых разных сферах жизни.