Что значит составить высказывание

2. результат такого действия, произнесённый текст, сформулированная мысль ◆ Приписываемое мне высказывание во всех своих многочисленных является грубейшей фальшивкой.

3. лог. выражающее суждение утвердительное повествовательное предложение, об истинности или ложности которого можно судить ◆ С точки зрения логики, «Сейчас идёт дождь» — высказывание, а «Давай пойдём обедать» — не высказывание.

Делаем Карту слов лучше вместе

Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать Карту слов. Я отлично умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!

Спасибо! Я стал чуточку лучше понимать мир эмоций.

Вопрос: предопределить — это что-то нейтральное, положительное или отрицательное?

Ассоциации к слову «высказывание&raquo

Синонимы к слову «высказывание&raquo

Предложения со словом «высказывание&raquo

Цитаты из русской классики со словом «высказывание»

Сочетаемость слова «высказывание&raquo

Каким бывает «высказывание»

Понятия, связанные со словом «высказывание»

Отправить комментарий

Дополнительно

Предложения со словом «высказывание&raquo

Подобные высказывания могут показаться вам сказкой, но, когда вы прочтёте главу 10, вы поймёте, как выпускники курсов настраивают свой мозг на регуляцию организма и ускорение естественного выздоровления.

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

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

Источник

Лекция 6. Высказывания и высказывательные формы (Математические предложения)

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

2. Конъюнкция и дизъюнкция высказываний

3. Конъюнкция и дизъюнкция высказывательных форм

Математические предложения

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

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

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

1) число 12 – четное;

4) В числе 15 один десяток и 5 единиц;

5) От перестановки множителей произведение не изменяется;

6) Некоторые числа делятся на 3.

Видим, что предложения, используя в математике, могут быть записаны как на естественном (русском) языке, так и на математическом, с использованием символов. Далее, о предложениях 1, 4, 5 и 6 можно сказать, что они несут верную информацию, а предложение 2 – ложную. Относительно предложения х + 5 = 8 вообще нельзя сказать: истинное оно или ложное. Взгляд на предложение с позиции – истину или ложь оно нам сообщает – привел к понятию высказывания.

Определение. Высказыванием в математике называют предложение, относительно которого имеет смысл вопрос: истинно оно или ложно.

Например, предложения 1, 2, 4, 5 и 6 – высказывания, причем предложения 1, 4, 5 и 6 – истинные, а 2 – ложное.

Высказывания принято обозначать прописными буквами латинского алфавита: А, В, С, …, Z. Если высказывание А истинно, то записывают: А – «и», если же высказывание А – ложно, то пишут: А – «л».

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

Предложение х + 5 = 8 не является высказыванием, так как о нем нельзя сказать: истинно оно или ложно. Однако при подстановке конкретных значений переменной х оно обращается в высказывание: истинное или ложное. Предложение х + 5 = 8 называется высказывательной формой. Оно порождает множество высказываний одной и той же формы.

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

Множество Х – множество, из которого выбираются значения переменной.

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

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

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

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

Приведем примеры составных предложений.

1) Число 28 четное и делится на 7.

2) Число х меньше или равно 8.

3) Число 14 не делится на 4.

Эти предложения, являясь с логической точки зрения составными, по своей грамматической структуре – простые.

Как определить значение истинности составного высказывания, например, «число 28 делится на 7 и на 9»? Значение истинности высказываний определяется с помощью определенных правил. Но для этого нужно уметь выявлять логическую структуру высказывания.

Для этого нужно установить:

1) из каких элементарных предложений образовано данное составное предложение;

2) с помощью каких логических связок оно образовано.

Определение.Конъюнкцией высказываний А и В называется высказывание А∧В, которое истинно, когда оба высказывания истинны, и ложно, когда хотя бы одно из высказываний ложно.

Обозначают А∧В (читают: «А и В»).

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

Используя данное определение, найдем значение истинности высказывания «число 28 делится на 7 и на 9», которое, как было установлено раньше, состоит из двух элементарных высказываний, соединенных союзом «и», т.е. является конъюнкцией.. Так как первое высказывание истинно, а второе ложно, то, согласно определению конъюнкции, высказывание «число 28 делится на 7 и на 9» будет ложным.

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

Высказывание образовано с помощью союза «или»: А∨В (читают А или В).

Используя данное определение, найдем значение истинности высказывания «число 28 делится на 7 или на 9». Так как это предложение является дизъюнкцией двух высказываний, одно из которых истинно, то, согласно определению дизъюнкции, высказывание «число 28 делится на 7 и на 9» будет истинным.

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

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

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

Конъюнкцией t высказываний называется предложение вида А₁ ∧ А₂ ∧…∧ Аt, которое истинно тогда и только тогда, когда истинны все составляющие его высказывания

Дизъюнкцией t высказываний называется предложение вида А₁ ∨ А₂ ∨…∨ Аt, которое ложно тогда и только тогда, когда ложны все составляющие его высказывания

В математике рассматривают не только конъюнкцию и дизъюнкцию высказываний, но и выполняют соответствующие операции над высказывательными формами.

Конъюнкциюодноместных высказывательных форм А(х) и В(х), заданных на множестве Х, обозначают А(х) ∧ В(х). С появлением этого предложения возникает вопрос, как найти его множество истинности, зная множества истинности высказывательных форм А(х) и В(х). Другими словами, при каких значениях х из области определения Х высказывательная форма А(х) ∧ В(х) обращается в истинное высказывание? Очевидно, что это возможно при тех и только тех значениях х, при которых обращаются в истинное высказывание обе высказывательные формы А(х) и В(х). Если обозначить ТА – множество истинности предложения А(х), ТВ – множество истинности предложения В(х), а множество истинности их конъюнкции Т А∧В, то, по всей видимости, Т А∧В = ТА ∩ ТВ.

Докажем это равенство.

1. Пусть а – произвольный элемент множества Х и известно, что а ∈ Т А∧В. По определению множества истинности это означает, что высказывательная форма А(х) ∧ В(х) обращается в истинное высказывание при х = а, т.е. высказывание А(а) ∧ В(а) истинно. Так как данное высказывание конъюнкция, то получаем, что каждое из высказываний А(а) и В(а) также истинно. Это означает, что а ∈ Т А и а ∈ ТВ. Следовательно, по определению пересечения множеств, а ∈ ТА ∩ ТВ. Таким образом, мы показали, что Т А∧В ⊂ ТА ∩ ТВ.

2. Докажем обратное утверждение. Пусть а – произвольный элемент множества Х и известно, что а ∈ ТА ∩ ТВ. По определению пересечения множества это означает, что а ∈ Т А и а ∈ ТВ, откуда получаем, что А(а) и В(а) – истинные высказывания, поэтому конъюнкция высказываний А(а) ∧ В(а) также будет истинна. А это означает, что элемент а принадлежит множеству истинности высказывательной формы А(х) ∧ В(х), т.е.

а ∈ Т А∧В. Таким образом, мы доказали, что ТА ∩ ТВ ⊂ Т А∧В.

Из 1 и 2 в силу определения равных множеств вытекает справедливость равенства

Т А∧В = ТА ∩ ТВ, что и требовалось доказать.

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

Дизъюнкцию одноместных высказывательных форм А(х) и В(х), заданных на множестве Х, обозначают А(х) ∨ В(х), Это предложение будет обращаться в истинное высказывание при тех и только тех значениях х из области определения Х, при которых обращается в истинное высказывание хотя бы одна из высказывательных форм, т.е.

Т А∨В = ТА ∪ ТВ. Доказательство этого равенства аналогично рассмотренному выше.

Приведем пример. Решим уравнение (х – 2) • (х + 5) = 0. Известно, что произведение равно нулю тогда и только тогда, когда хотя бы один из множителей равен нулю. Это означает, что данное уравнение равносильно дизъюнкции: х – 2 = 0 ∨ х + 5 = 0 и поэтому множество его решений может быть найдено как объединение множеств решения первого и второго уравнений, т.е <2>∪ <-5>=<-5, 2>.

Заметим, что дизъюнкцию уравнений (неравенств) называют также совокупностью.

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

А∩В = <х\ х ∈А ∧ х∈В >, А∪В = <х\ х ∈А ∨ х∈В >, причем каждое свойство представляет собой высказывательную форму.

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

В задачах на распознавание объектов требуется ответить на вопрос: принадлежит тот или иной объект объему данного понятия или не принадлежит.

Пример 1. «Установите, какие из фигур являются квадратами, а какие нет».

Решают такие задачи, используя определение соответствующего понятия. При этом важно понимать, что если понятие а определено через родовое понятие с и видовое отличие Р, то его объем А можно представить в таком виде: А = <х\ х ∈С и Р(х) >Эта запись показывает, что характеристическое свойство элементов, принадлежащих объему понятия а, представляет собой конъюнкцию двух свойств:

1) принадлежности объекта х объему С родового понятия (х ∈С);

Пример 2. «Выяснить, в каком случае луч ВD является биссектрисой угла АВС».

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

Луч ВD на рисунке а) не является биссектрисой угла АВС, поскольку он не делит данный угол пополам. Луч ВD на рисунке б) является биссектрисой угла АВС, поскольку он делит данный угол пополам и выходит из вершины угла.

Если видовое отличие представляет собой конъюнкцию свойств, т.е. Р = Р₁∧Р₂∧…∧Рn, то распознавание проводится по следующему правилу: проверяют поочередно наличие у объекта каждого из свойств Р₁, Р₂, …, Рn; если окажется, что он не обладает каким-либо из этих свойств, то проверку прекращают и делают вывод о том, что объект не обладает свойством Р; если же окажется, что все свойства Р₁, Р₂, …, Рn присущи данному объекту, то заключают, что объект обладает свойством Р.

Если видовое отличие представляет собой дизъюнкцию свойств, т.е. Р = Р₁∨Р₂∨…∨Рn, то распознавание проводится по следующему правилу: проверка проводится до тех пор, пока не будет установлено, что хотя бы одно из свойств присуще данному объекту, на основании чего заключают, что объект обладает свойством Р. Если окажется, что он не обладает ни одним из свойств Р₁, Р₂, …, Рn, то проверку прекращают и делают вывод о том, что объект не обладает свойством Р.

Источник

Высказывание (логика)

Высказывательной формой называется логическое высказывание, в котором один из объектов заменён переменной. При подстановке вместо переменной какого-либо значения высказывательная форма превращается в высказывание. Пример: A(x) = «В городе x идёт дождь.», где A — высказывательная форма, x — объект.

Содержание

Виды высказываний

Логические высказывания принято подразделять на два вида: элементарные логические высказывания и составные логические высказывания.

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

Элементарные логические высказывания — это высказывания не относящиеся к составным.

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

Связь с математической логикой

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

Пусть — высказывание. Если оно истинно, то пишут , если ложно, то .

Тождественно истинное высказывание обозначают символом 1, тождественно ложное — символом 0.

Основные операции над логическими высказываниями

Отрицание логического высказывания — логическое высказывание, принимающее значение «истинно», если исходное высказывание ложно, и наоборот.

Конъюнкция двух логических высказываний — логическое высказывание, истинное только тогда, когда они одновременно истинны.

Дизъюнкция двух логических высказываний — логическое высказывание, истинное только тогда, когда хотя бы одно из них истинно.

Импликация двух логических высказываний A и B — логическое высказывание, ложное только тогда, когда B ложно, а A истинно.

Равносильность (эквивалентность) двух логических высказываний — логическое высказывание, истинное только тогда, когда они одновременно истинны или ложны.

Кванторное логическое высказывание с квантором всеобщности () — логическое высказывание, истинное только тогда, когда для каждого объекта x из заданной совокупности высказывание A(x) истинно.

Кванторное логическое высказывание с квантором существования () — логическое высказывание, истинное только тогда, когда в заданной совокупности существует объект x, такой, что высказывание A(x) истинно.

См. также

Примечания

Литература

Полезное

Смотреть что такое «Высказывание (логика)» в других словарях:

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

ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия

ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия

логика высказываний — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки

ВЫСКАЗЫВАНИЕ — грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… … Философская энциклопедия

Логика Бэрроуза — Логика Бэрроуза Абади Нидхэма (англ. Burrows Abadi Needham logic) или BAN логика (англ. BAN logic) это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов… … Википедия

ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия

ЛОГИКА НАУЧНОГО ПОЗНАНИЯ — или Логика науки, применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал … Философская энциклопедия

ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия

ЛОГИКА НАУКИ — в спец. смысле дисциплина, применяющая понятия и технич. аппарат совр. формальной логики к анализу систем науч. знания. Термин «Л. н.» часто употребляется также для обозначения законов развития науки (логика науч. развития), правил и… … Философская энциклопедия

Источник

ВЫСКАЗЫВАНИЕ

Полезное

Смотреть что такое «ВЫСКАЗЫВАНИЕ» в других словарях:

Высказывание — в логике предложение, которое может быть истинно или ложно. См. также: Высказывания Исчисление высказываний Финансовый словарь Финам. Высказывание Высказывание оформленная в речи законченная мысль, смысл которой зависит от конкретной или… … Финансовый словарь

высказывание — предложение, суждение, заявление; замечание, тавтология, произнесение, говорение, контрадикция, логос, выступление, стэйтмент, выкладывание, изречение, словоизлияние, утверждение, изложение, дискурс, фраза, изливание, рассуждение, сутра,… … Словарь синонимов

ВЫСКАЗЫВАНИЕ — ВЫСКАЗЫВАНИЕ, высказывания, ср. (книжн.). 1. только ед. Действие по гл. высказывать. Высказывание своего мнения. 2. Высказанное суждение, замечание, мнение. Собрать высказывания классиков марксизма о языке. Толковый словарь Ушакова. Д.Н. Ушаков.… … Толковый словарь Ушакова

ВЫСКАЗЫВАНИЕ — мысль, выраженная повествовательным предложением и могущая быть истинной или ложной; в языкознании единица речевого общения, оформленная по законам данного языка … Большой Энциклопедический словарь

ВЫСКАЗЫВАНИЕ — ВЫСКАЗЫВАНИЕ, я, ср. 1. см. высказать, ся. 2. Высказанное суждение. Содержательное в. 3. В грамматике: любая интонационно оформленная синтаксическая единица, содержащая сообщение, фраза. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949… … Толковый словарь Ожегова

ВЫСКАЗЫВАНИЕ — ВЫСКАЗЫВАНИЕ. Единица речевого общения, обладающая смысловой целостностью, оформленная определенным актуальным членением в составе речевого акта. В. может совпадать с предложением, но может быть и сообщением, не укладывающимся в схему простого… … Новый словарь методических терминов и понятий (теория и практика обучения языкам)

высказывание — Возможное состояние сущностей, по поводу которого можно утверждать или отрицать, что такое состояние имеет место. [ГОСТ 34.320 96] Тематики базы данных EN proposition … Справочник технического переводчика

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

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

высказывание — I. ВЫСКАЗЫВАНИЕ ВЫСКАЗЫВАНИЕ, выливание, выражение, изливание, изъявление ВЫСКАЗЫВАТЬ/ВЫСКАЗАТЬ, выливать/вылить, выражать/выразить, изли вать/излить, книжн. изъявлять/изъявить ВЫСКАЗЫВАТЬСЯ, изливаться ВЫСКАЗЫВАТЬСЯ/ВЫСКАЗАТЬСЯ,… … Словарь-тезаурус синонимов русской речи

Источник