Буквы мы составляем в слова, слова в предложения, а предложения в тексты. В этой статье мы разберем, что такое предложение и текст .
Современное русское письмо называют буквенно-звуковым. Такое название ему дано потому, что свою устную речь мы передаем на письме с помощью букв.
Существовало в прошлом картинное, или рисуночное, письмо. Такое письмо люди разных стран используют теперь в дорожных знаках, в различных вывесках. (По А. Моисееву)
Во время общения мы обмениваемся мыслями, задаем друг другу вопросы, отвечаем на них. Для этого мы используем конструкции, построенные из слов. Такие конструкции называются предложениями.
Предложение – это одно или несколько слов связанных по смыслу и грамматически (употребляя предлоги и союзы и изменяя формы слов).
Предложения выражают мысли и чувства, они отличаются интонационной законченностью.
Текст – это два или несколько предложений связанных по смыслу.
Какие бывают предложения?
По цели высказывания предложения бывают повествовательные, вопросительные и побудительные.
Повествовательные – это предложения, которые содержат в себе сообщение, о каком либо событии, или явлении, или о другом факте действительности.
Вопросительными называют предложения, которые имеют цель побудить собеседника высказать мысль, интересующую того, кто произносит это предложение. То есть цель у такого предложения – познавательная. В вопросительных предложениях часто употребляются слова помощники, такие как: зачем, почему, что, отчего и так далее.
Цель побудительного предложения – побуждение к действию, оно выражает волеизъявление говорящего.
Эмоционально окрашенные предложения, которые передаются с восклицанием – называются восклицательными .
Восклицательным может быть любое предложение по цели высказывания: повествовательное, побудительное и даже вопросительное:
Папа пришел!
Давайте будем дружить!
Сколько же вас?!
В разговорной речи для отрицания или утверждения используются слова – предложения Да. Нет.
Часто для отрицания используется частица не.
Пример: Ты не знаешь?
Частица не с глаголами пишется отдельно. Это орфограмма.
Знаки пунктуации
В конце каждого предложения ставятся свои знаки препинания.
В конце повествовательного предложения ставится точка (.) :
Стриж прилетел к нам поздней весной.
В конце вопросительного предложения ставится вопросительный знак (?) :
Почему ночью темно?
В конце восклицательного предложения ставится восклицательный знак (!) :
Поздравляю с днем рождения!
Итак, сведем виды предложений в таблицу:
|
виды предложений |
знаки препинания в конце предложения |
|
|
по цели высказывания |
по эмоциональной нагрузке |
|
|
Повествовательные |
Невосклицательные
Восклицательные |
Точка (.)
Восклицательный знак (!) |
|
Побудительные |
Невосклицательные
Восклицательные |
Точка (.)
Восклицательный знак (!) |
|
Вопросительные |
Невосклицательные
Восклицательные |
Вопросительный знак (?)
Вопросительный и восклицательный знаки (?!) |
Как связаны между собой слова в предложении?
Они связаны по смыслу и грамматически.
Два и более слова связанные между собой по смыслу называются словосочетанием .
Подробнее о словосочетании читайте .
Как говорилось ранее, слова складываются в текст . Каждый текст имеет свою тему. Тема – это то, о чем говорится в тексте.
Тексты бывают повествовательные, описательные и тексты – рассуждения.
О том, что произошло, рассказывается в повествовательных текстах. К таким текстам можно поставить вопрос – что случилось?
Тексты, описывающие события, людей, животных и различные предметы, называются описательными . К таким текстам можно поставить вопросы какой? какая? какие? и так далее.
О причинах явлений и событий говорится в текстах – рассуждениях . Эти тексты отвечают на вопрос почему?
Если вы хотите получать анонсы наших статей подпишитесь на рассылку “ “.
Виды высказываний
Логические высказывания принято подразделять на два вида: элементарные логические высказывания и составные логические высказывания.
Составное логическое высказывание - это высказывание, образованное из других высказываний с помощью логических связок.
Логическая связка - это любая логическая операция над высказыванием. Например, употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если… , то», «тогда и только тогда» являются логическими связками.
Элементарные логические высказывания - это высказывания не относящиеся к составным.
Примеры: «Петров - врач», «Петров - шахматист» - элементарные логические высказывания. «Петров - врач и шахматист» - составное логическое высказывание, состоящие из двух элементарных высказываний, связанных между собой при помощи связки «и».
Связь с математической логикой
Обычная логика двухзначна, то есть приписывает высказываниям только два возможных значения: истинно оно или ложно .
Пусть - высказывание. Если оно истинно, то пишут , если ложно, то .
Основные операции над логическими высказываниями
Отрицание логического высказывания - логическое высказывание, принимающее значение «истинно», если исходное высказывание ложно, и наоборот.
Конъюнкция двух логических высказываний - логическое высказывание, истинное только тогда, когда они одновременно истинны.
Дизъюнкция двух логических высказываний - логическое высказывание, истинное только тогда, когда хотя бы одно из них истинно.
Импликация двух логических высказываний A и B - логическое высказывание, ложное только тогда, когда B ложно, а A истинно.
Равносильность (эквивалентность) двух логических высказываний - логическое высказывание, истинное только тогда, когда они одновременно истинны или ложны.
Кванторное всеобщности () - логическое высказывание, истинное только тогда, когда для каждого объекта x из заданной совокупности высказывание A(x) истинно.
Кванторное логическое высказывание с квантором существования () - логическое высказывание, истинное только тогда, когда в заданной совокупности существует объект x, такой, что высказывание A(x) истинно.
См. также
- Утверждение
Примечания
Литература
- Карпенко, А. С. Современные исследования в философской логике // Логические исследования. Вып. 10. - М.: Наука, 2003. ISBN 5-02-006257-X - С. 61-93.
- Крипке, С. А. Витгенштейн о правилах и индивидуальном языке / Пер. В. А. Ладова, В. А. Суровцева. Под общ. ред. В. А. Суровцева. - Томск: Изд-во Том. ун-та, 2005. - 152 с. - (Библиотека аналитической философии). ISBN 5-7511-1906-1
- Курбатов, В. И. Логика. Систематический курс. - Ростов н/Д: Феникс, 2001. - 512 c. ISBN 5-222-01850-4
- Шуман, А. Н. Современная логика: теория и практика. - Минск: Экономпресс, 2004. - 416 с. ISBN 985-6479-35-5
- Макарова, Н. В. Информатика и ИКТ. - Санкт-Петербург: Питер Пресс, 2007 ISBN 978-5-91180-198-4 - С. 343-345.
- Кондаков Н. И. Логический словарь / Горский Д. П.. - М .: Наука, 1971. - 656 с.
Wikimedia Foundation . 2010 .
Смотреть что такое "Высказывание (логика)" в других словарях:
Высказывание: Высказывание (логика) предложение, которое может быть истинно или ложно. Высказывание (лингвистика) предложение в конкретной речевой ситуации. См. также Суждение … Википедия
- (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
логика высказываний - ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
Грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… … Философская энциклопедия
Логика Бэрроуза Абади Нидхэма (англ. Burrows Abadi Needham logic) или BAN логика (англ. BAN logic) это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов… … Википедия
Центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Или Логика науки, применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал … Философская энциклопедия
ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
В спец. смысле дисциплина, применяющая понятия и технич. аппарат совр. формальной логики к анализу систем науч. знания. Термин «Л. н.» часто употребляется также для обозначения законов развития науки (логика науч. развития), правил и… … Философская энциклопедия
Логика высказываний , называемая также пропозициональной логикой - раздел математики и логики, изучающий логические формы сложных высказываний, построенных из простых или элементарных высказываний с помощью логических операций.
Логика высказываний отвлекается от содержательной нагрузки высказываний и изучает их истинностное значение, то есть является ли высказывание истинным или ложным.
Рисунок сверху - иллюстрация явления, известного как "Парадокс лжеца". При этом, на взгляд автора проекта, такие парадоксы возможны только в средах, несвободных от политических заморочек, где на ком-то могут априори поставить клеймо лжеца. В естественном многослойном мире на предмет "истины" или "лжи" оцениваются только отдельно взятые высказывания . И далее на этом уроке вам представится возможность самим оценить на этот предмет немало высказываний (а затем посмотреть правильные ответы). В том числе сложных высказываний, в которых более простые связаны между собой знаками логических операций. Но прежде рассмотрим сами эти операции над высказываниями.
Логика высказываний применяется в информатике и программировании в виде объявления логических переменных и присвоения им логических значений "ложь" или "истина", от которых зависит ход дальнейшего исполнения программы. В небольших программах, где задействована лишь одна логическая переменная, этой логической переменной часто даётся имя, например, "флаг" ("flag") и подразумевается, что "флаг поднят", когда значение этой переменной - "истина" и "флаг опущен", когда значение этой переменной - "ложь". В программах большого объёма, в которых несколько или даже очень много логических переменных, от профессионалов требуется придумывать имена логических переменных, имеющих форму высказываний и смысловую нагрузку, отличающую их от других логических переменных и понятных другим профессионалам, которые будут читать текст этой программы.
Так, может быть объявлена логическая переменная с именем "ПользовательЗарегистрирован" (или его англоязычный аналог), имеющая форму высказывания, которой может быть присвоено логическое значение "истина" при выполнении условий, что данные для регистрации отправлены пользователем и эти данные программой признаны годными. В дальнейших вычислениях значения переменных могут меняться в зависимости от того, какое логическое значение ("истина" или "ложь") имеет переменная "ПользовательЗарегистрирован". В других случах переменной, например, с именем "ДоДняХОсталосьБолееТрёхДней", может быть присвоено значение "Истина" до некоторого блока вычислений, а в ходе дальнейшего исполнения программы это значение может сохраняться или меняться на "ложь" и от значения этой переменной зависит ход дальнейшего исполнения программы.
Если в программе используются несколько логических переменных, имена которых имеют форму высказываний, и из них строятся более сложные высказывания, то намного проще разрабатывать программу, если перед её разработкой записать все операции с высказываний в виде формул, применяемых в логике высказываний, чем мы в ходе этого урока и займёмся.
Логические операции над высказываниями
Для математических высказываний всегда можно сделать выбор между двумя различными альтернативами "истина" и "ложь", а для высказываний, сделанных на "словесном" языке, понятия "истинности" и "ложности" несколько более расплывчаты. Однако, например, такие словесные формы, как "Иди домой" и "Идёт ли дождь?", не являются высказываниями. Поэтому понятно, что высказываниями являются такие словесные формы, в которых что-либо утверждается . Не являются высказываниями вопросительные или восклицательные предложения, обращения, а также пожелания или требования. Их невозможно оценить значениями "истина" и "ложь".
Высказывания же, напротив, можно рассмотривать как величину, которая может принимать два значения: "истина" и "ложь".
Например, даны суждения: "собака - животное", "Париж - столица Италии", "3
Первое из этих высказываний может быть оценено символом "истина", второе - "ложь", третье - "истина" и четвёртое - "ложь". Такая трактовка высказываний составляет предмет алгебры высказываний. Будем обозначать высказывания большими латинскими буквами A , B , ..., а их значения, то есть истину и ложь, соответственно И и Л . В обычной речи употребляются связи между высказываниями "и", "или" и другие.
Эти связи позволяют, соединяя между собой различные высказывания, образовывать новые высказывания - сложные высказывания . Например, связка "и". Пусть даны высказывания: "π больше 3" и высказывание "π меньше 4". Можно организовывать новое - сложное высказывание "π больше 3 и π меньше 4". Высказывание "если π иррационально, то π ² тоже иррационально" получается связыванием двух высказываний связкой "если - то". Наконец, мы можем получить из какого-либо высказывания новое - сложное высказывание - отрицая первоначальное высказывание.
Рассматривая высказывания как величины, принимающие значения И и Л , мы определим далее логические операции над высказываниями , которые позволяют из данных высказываний получать новые - сложные высказывания.
Пусть даны два произвольных высказывания A и B .
1 . Первая логическая операция над этими высказываниями - конъюнкция - представляет собой образование нового высказывания, которое будем обозначать A ∧ B и которое истинно тогда и только тогда, когда A и B истинны. В обычной речи этой операции соответствует соединение высказываний связкой "и".
Таблица истинности для конъюнкции:
| A | B | A ∧ B |
| И | И | И |
| И | Л | Л |
| Л | И | Л |
| Л | Л | Л |
2 . Вторая логическая операция над высказываниями A и B - дизъюнкция, выражаемая в виде A ∨ B , определяется следующим образом: оно истинно тогда и только тогда, когда хотя бы одно из первоначальных высказываний истинно. В обычной речи эта операция соответствует соединению высказываний связкой "или". Однако здесь мы имеем не разделительное "или", которое понимается в смысле "либо-либо", когда A и B не могут быть оба истинны. В определении логики высказываний A ∨ B истинно и при истинности лишь одного из высказываний, и при истинности обоих высказываний A и B .
Таблица истинности для дизъюнкции:
| A | B | A ∨ B |
| И | И | И |
| И | Л | И |
| Л | И | И |
| Л | Л | Л |
3 . Третья логическая операция над высказываниями A и B , выражаемая в виде A → B ; полученное таким образом высказывание ложно тогда и только тогда, когда A истинно, а B ложно. A называется посылкой , B - следствием , а высказывание A → B - следованием , называемая также импликацией. В обычной речи эта операция соответствует связке "если - то": "если A , то B ". Но в определении логики высказываний это высказывание всегда истинно независимо от того, истинно или ложно высказывание B . Это обстоятельство можно кратко сформулировать так: "из ложного следует всё, что угодно". В свою очередь, если A истинно, а B ложно, то всё высказывание A → B ложно. Оно будет истинным тогда и только тогда, когда и A , и B истинны. Кратко это можно сформулировать так: "из истинного не может следовать ложное".
Таблица истинности для следования (импликации):
| A | B | A → B |
| И | И | И |
| И | Л | Л |
| Л | И | И |
| Л | Л | И |
4 . Четвёртая логическая операция над высказываниями, точнее над одним высказыванием, называется отрицанием высказывания A и обозначается ~ A (можно встретить также употребление не символа ~, а символа ¬, а также верхнего надчёркивания над A ). ~ A есть высказывание, которое ложно, когда A истинно, и истинно, когда A ложно.
Таблица истинности для отрицания:
| A | ~ A |
| Л | И |
| И | Л |
5 . И, наконец, пятая логическая операция над высказываниями называется эквивалентностью и обозначается A ↔ B . Полученное таким образом высказывание A ↔ B есть высказывание истинное тогда и только тогда, когда A и B оба истинны или оба ложны.
Таблица истинности для эквивалентности:
| A | B | A → B | B → A | A ↔ B |
| И | И | И | И | И |
| И | Л | Л | И | Л |
| Л | И | И | Л | Л |
| Л | Л | И | И | И |
В большинстве языков программирования есть специальные символы для обозначения логических значений высказываний, записываются они почти во всех языках как true (истина) и false (ложь).
Подытожим вышесказанное. Логика высказываний изучает связи, которые полностью определяются тем, каким образом одни высказывания строятся из других, называемых элементарными. Элементарные высказывания при этом рассматриваются как целые, не разложимые на части.
Систематизируем в таблице ниже названия, обозначения и смысл логических операций над высказываниями (они нам вскоре вновь понадобятся для решения примеров).
| Связка | Обозначение | Название операции |
| не | отрицание | |
| и | конъюнкция | |
| или | дизъюнкция | |
| если..., то... | импликация | |
| тогда и только тогда | эквивалентность |
Для логических операций верны законы алгебры логики , которые можно использовать для упрощения логических выражений. При этом следует отметить, что в логике высказываний отвлекаются от смыслового содержания высказывания и ограничиваются рассмотрением его с той позиции, что оно либо истинно, либо ложно.
Пример 1.
1) (2 = 2) И (7 = 7) ;
2) Не(15 ;
3) ("Сосна" = "Дуб") ИЛИ ("Вишня" = "Клён") ;
4) Не("Сосна" = "Дуб") ;
5) (Не(15 20) ;
6) ("Глаза даны, чтобы видеть") И ("Под третьим этажом находится второй этаж") ;
7) (6/2 = 3) ИЛИ (7*5 = 20) .
1) Значение высказывания в первых скобках равно "истина", значение выражения во вторых скобках - также истина. Оба высказывания соединены логической операцией "И" (смотрим правила для этой операции выше), поэтому логическое значение всего данного высказывания - "истина".
2) Значение высказывания в скобках - "ложь". Перед этим зтим высказыванием стоит логическая операция отрицания, поэтому логическое значение всего данного высказывания - "истина".
3) Значение высказывания в первых скобках - "ложь", значение высказывания во вторых скобках - также "ложь". Высказывания соединены логической операцией "ИЛИ" и ни одно из высказываний не имеет значения "истина". Поэтому логическое значение всего данного высказывания - "ложь".
4) Значение высказывания в скобках - "ложь". Перед этим высказыванием стоит логическая операция отрицания. Поэтому логическое значение всего данного высказывания - "истина".
5) В первых скобках отрицается высказывание во внутренних скобках. Это высказывание во внутренних скобках имеет значение "ложь", следовательно, его отрицание будет иметь логическое значение "истина". Высказывание во вторых скобках имеет значение "ложь". Два этих высказывания соединены логической операцией "И", то есть получается "истина И ложь". Следовательно, логическое значение всего данного высказывания - "ложь".
6) Значение высказывания в первых скобках - "истина", значение высказывания во вторых скобках - также "истина". Два этих высказывания соединены логической операцией "И", то есть получается "истина И истина". Следовательно, логическое значение всего данного высказывания - "истина".
7) Значение высказывания в первых скобках - "истина". Значение высказывания во вторых скобках - "ложь". Два этих высказывания соединены логической операцией "ИЛИ", то есть получается "истина ИЛИ ложь". Следовательно, логическое значение всего данного высказывания - "истина".
Пример 2. Запишите с помощью логических операций следующие сложные высказывания:
1) "Пользователь не зарегистрирован";
2) "Сегодня воскресенье и некоторые сотрудники находятся на работе";
3) "Пользователь зарегистрирован тогда и только тогда, когда отправленные пользователем данные признаны годными".
1) p - одиночное высказывание "Пользователь зарегистрирован", логическая операция: ;
2) p - одиночное высказывание "Сегодня воскресенье", q - "Некоторые сотрудники находятся на работе", логическая операция: ;
3) p - одиночное высказывание "Пользователь зарегистрирован", q - "Отправленные пользователем данные признаны годными", логическая операция: .
Решить примеры на логику высказываний самостоятельно, а затем посмотреть решения
Пример 3. Вычислите логические значения следующих высказываний:
1) ("В минуте 70 секунд") ИЛИ ("Работающие часы показывают время") ;
2) (28 > 7) И (300/5 = 60) ;
3) ("Телевизор - электрический прибор") И ("Стекло - дерево") ;
4) Не((300 > 100) ИЛИ ("Жажду можно утолить водой")) ;
5) (75 < 81) → (88 = 88) .
Пример 4. Запишите с помощью логических операций следующие сложные высказывания и вычислите их логические значения:
1) "Если часы неправильно показывают время, то можно невовремя прийти на занятия";
2) "В зеркале можно увидеть своё отражение и Париж - столица США";
Пример 5. Определите логическое значение выражения
(p → q ) ↔ (r → s ) ,
p = "278 > 5" ,
q = "Яблоко = Апельсин" ,
p = "0 = 9" ,
s = "Шапка покрывает голову" .
Формулы логики высказываний
Понятие логической формы сложного высказывания уточняется с помощью понятия формулы логики высказываний .
В примерах 1 и 2 мы учились записывать с помощью логических операций сложные высказывания. Вообще-то они называются формулами логики высказываний.
Для обозначения высказываний, как и упомянутом примере, будем продолжать использовать буквы
p , q , r , ..., p 1 , q 1 , r 1 , ...
Эти буквы будут играть роль переменных, принимающих в качестве значений истинностные значения "истина" и "ложь". Эти переменные называются также пропозициональными переменными. Мы будем далее называть их элементарными формулами или атомами .
Для построения формул логики высказываний кроме указанных выше букв используются знаки логических операций
~, ∧, ∨, →, ↔,
а также символы, обеспечивающие возможность однозначного прочтения формул - левая и правая скобки.
Понятие формулы логики высказываний определим следуюшим образом:
1) элементарные формулы (атомы) являются формулами логики высказываний;
2) если A и B - формулы логики высказываний, то ~A , (A ∧ B ) , (A ∨ B ) , (A → B ) , (A ↔ B ) тоже являются формулами логики высказываний;
3) только те выражения являются формулами логики высказываний, для которых это следует из 1) и 2).
Определение формулы логики высказываний содержит перечисление правил образования этих формул. Согласно определению, всякая формула логики высказываний либо есть атом, либо образуется из атомов в результате последовательного применения правила 2).
Пример 6. Пусть p - одиночное высказывание (атом) "Все рациональные числа являются действительными", q - "Некоторые действительные числа - рациональные числа", r - "некоторые рациональные числа являются действительными". Переведите в форму словесных высказываний следующие формулы логики высказываний:
6) 
.
1) "нет действительных чисел, которые являются рациональными";
2) "если не все рациональные числа являются действительными, то нет рациональных чисел, являющихся действительными";
3) "если все рациональные числа являются действительными, то некоторые действительные числа - рациональные числа и некоторые рациональные числа являются действительными";
4) "все действительные числа - рациональные числа и некоторые действительные числа - рациональные числа и некоторые рациональные числа являются действительными числами";
5) "все рациональные числа являются действительными тогда и только тогда, когда не имеет место быть, что не все рациональные числа являются действительными";
6) "не имеет места быть, что не имеет место быть, что не все рациональные числа являются действительными и нет действительных чисел, которые являются рациональными или нет рациональных чисел, которые являются действительными".
Пример 7.
Составьте таблицу истинности для формулы
логики высказываний 
, которую в
таблице можно обозначить f
.
Решение. Составление таблицы истинности начинаем с записи значений ("истина" или "ложь") для одиночных высказываний (атомов) p , q и r . Все возможные значения записываются в восемь строк таблицы. Далее, определяя значения операции импликации, и продвигаясь вправо по таблице, помним, что значение равно "лжи" тогда, когда из "истины" следует "ложь".
| p | q | r | f | ||||
| И | И | И | И | И | И | И | И |
| И | И | Л | И | И | И | Л | И |
| И | Л | И | И | Л | Л | Л | Л |
| И | Л | Л | И | Л | Л | И | И |
| Л | И | И | Л | И | Л | И | И |
| Л | И | Л | Л | И | Л | И | Л |
| Л | Л | И | И | И | И | И | И |
| Л | Л | Л | И | И | И | Л | И |
Заметим, что никакой атом не имеет вида ~A , (A ∧ B ) , (A ∨ B ) , (A → B ) , (A ↔ B ) . Такой вид имеют сложные формулы.
Число скобок в формулах логики высказываний можно уменьшить, если принять, что
1) в сложной формуле будем опускать внешнюю пару скобок;
2) упорядочим знаки логических операций "по старшинству":
↔, →, ∨, ∧, ~ .
В этом списке знак ↔ имеет самую большую область действия, а знак ~ - самую маленькую. Под областью действия знака операции понимаются те части формулы логики высказываний, к которым применяется (на которые действует) рассматриваемое вхождение этого знака. Таким образом, можно опускать во всякой формуле те пары скобок, которые можно восстановить, учитывая "порядок старшинства". А при восстановлении скобок сначала расставляются все скобки, относящиеся ко всем вхождениям знака ~ (при этом мы продвигаемся слева направо), затем ко всем вхождениям знака ∧ и так далее.
Пример 8. Восстановите скобки в формуле логики высказываний B ↔ ~ C ∨ D ∧ A .
Решение. Скобки восстанавливаются пошагово следующим образом:
B ↔ (~ C ) ∨ D ∧ A
B ↔ (~ C ) ∨ (D ∧ A )
B ↔ ((~ C ) ∨ (D ∧ A ))
(B ↔ ((~ C ) ∨ (D ∧ A )))
Не всякая формула логики высказываний может быть записана без скобок. Например, в формулах А → (B → C ) и ~ (A → B ) дальнейшее исключение скобок невозможно.
Тавтологии и противоречия
Логические тавтологии (или просто тавтологии) - это такие формулы логики высказываний, что если буквы произвольным образом заменить высказываниями (истинными или ложными), то в результате всегда получится истинное высказывание.
Так как истинность или ложность сложных высказываний зависит лишь от значений, а не от содержания высказываний, каждому из которых соответствует определённая буква, то проверку того, является ли данное высказывание тавтологией, можно подставить следующим способом. В исследуемом выражении на место букв подставляются значения 1 и 0 (соответственно "истина" и "ложь") всеми возможными способами и с использованием логических операций вычисляются логические значения выражений. Если все эти значения равны 1, то исследуемое выражение есть тавтология, а если хотя бы одна подстановка даёт 0, то это не тавтология.
Таким образом, формула логики высказываний, которая принимает значение "истина" при любом распределении значений входящих в эту формулу атомов, называется тождественно истинной формулой или тавтологией .
Противоположный смысл имеет логическое противоречие. Если все значения высказываний равны 0, то выражение есть логическое противоречие.
Таким образом, формула логики высказываний, которая принимает значение "ложь" при любом распределении значений входящих в эту формулу атомов, называется тождественно ложной формулой или противоречием .
Кроме тавтологий и логических противоречий существуют такие формулы логики высказываний, которые не являются ни тавтологиями, ни противоречиями.
Пример 9. Составьте таблицу истинности для формулы логики высказываний и определите, является ли она тавтологией, противоречием или ни тем, ни другим.
Решение. Составляем таблицу истинности:
| И | И | И | И | И |
| И | Л | Л | Л | И |
| Л | И | Л | И | И |
| Л | Л | Л | Л | И |
В значениях импликации не встречаем строку, в которой из "истины" следует "ложь". Все значения исходного высказывания равны "истине". Следовательно, данная формула логики высказываний является тавтологией.
Сложное предложение считается отражением отношений, усматриваемых автором между двумя ситуациями, либо же несколькими эпизодами. Таково мнение, относительно цели применения сложного по структуре предложения, было высказано известным лингвистом Валентиной Даниловной Черняк. В действительности, она права. Автор в подобном случае испытывает потребность в акцентировании каким-то образом внимания читателя на этих отношениях, иначе он воспользовался бы двумя простыми предложениями, не утрудняясь их соединением в одно сложное.
Для построения простого предложения применяются слова и словосочетания, сложное же состоит из простых предложений. Они в свою очередь, в одном случае остаются неизменными, в ином - подвергаются структурным изменениям, то есть, входят в сложное предложение, исполняя роль составляющих его компонентов.
Для выражения отношения между частями предложения сложного используется союз, но он может и отсутствовать. В ином случае с целью выражения связи применяется знак препинания. М. Горьким при написании произведения была использована как союзная, так и бессоюзная связь. Писатель, в первом предложении воспользовался союзом «чтобы», и поместил внутри главного предложения придаточное.
Посредством данного союза осуществляется присоединение обычно придаточных целей. Автор в данном случае указывает на цель, принуждающую мальчика много трудиться, которая представлена чувством тоски.
М. Горьким при написании второго предложения применяется несколько знаков препинания, предназначенных для выражения отношения между частями, составляющими длинное бессоюзное предложение. С помощью запятой, двоеточия и тире были выражены различные смысловые связи.
Обновлено: 2017-02-09
Внимание!
Спасибо за внимание.
Если Вы заметили ошибку или опечатку, выделите текст и нажмите Ctrl+Enter
.
Тем самым окажете неоценимую пользу проекту и другим читателям.
Полезный материал по теме
- Раскрыть смысл высказывания Белошпаковой Именно союзы в сложносочиненных предложениях определяют характер отношений между явлениями
Текст
- это высказывание, в котором два или несколько предожений. Предложения
в тексте объеденены общей темой и связаны по смыслу
. Текст имеет свою тему и главную мысль. Текст можно озаглавить.Типы текстов
Повествование – рассказывается, сообщается о чём-либо (что? где? как? когда произошло?)
Описание – описывается внешний вид человека, животного, картина природы, событие (какой? какая? какое? какие?).
Рассуждение – объясняется, доказывается что-либо; говорится о причинах явлений, событий (почему?).
Предложение – это слово или несколько слов, которые выражают законченную мысль.
Осень. Раннее утро. Веет свежий ветерок. В воздухе летят паутинки.
Слова в предложении связаны по смыслу.
Предложения, в которых о чём-либо сообщается (повествуется), - это повествовательные предложения. В конце повествовательных предложений ставится точка или восклицательный знак.
Предложения, которые содержат вопрос, - это вопросительные предложения. В конце вопросительного предложения ставится вопросительный знак.
Предложения, в которых побуждают к действию (просят, приказывают, советуют), - это побудительные предложения. В конце побудительных предложений ставится точка или восклицательный знак.
Предложения, в которых выражены какие-либо сильные чувства (восторг, радость, обида, печаль, удивление, испуг), - это восклицательные предложения.
Восклицательные предложения произносятся с восклицательной интонацией.
В конце восклицательного предложения ставится восклицательный знак (!).
Предложения, которые произносятся без восклицательной интонации, - это невосклицательные предложения.
Виды предложений
По цели высказывания – повествовательные, вопросительные, побудительные.
По интонации – невосклицательные и восклицательные.
Обращение – это слово или сочетание слов, называющее того (лицо или предмет), к кому обращена речь. Чаще всего обращение отделяется от других слов запятой.
Что, Иванушка , не весел?
Что головушку повесил?
А поведай мне, добрый молодей,
Ты какого-роду племени,
Каким именем прозываешься?
М. Лермонтов
Прощай же, море , не забуду
Твоей торжественной красы.
А. Пушкин
Члены предложения
Главные члены предложения:
Подлежащее – обозначает о ком или о чём говорится в предложении, отвечает на вопросы кто? или что?
Сказуемое – обозначает, что говорится о подлежащем, отвечает на вопросы что делает? что делал? что сделал? что будет делать? что сделает? и др.
Подлежащее и сказуемое составляют основу предложения.
Второстепенные члены предложения – поясняют главные и другие члены предложения, отвечают на вопросы кого? чего? кому?ч? кем? чем? о ком? о чём? какой? какая? где? куда? как? откуда? когда? и др.
Простое предложение – это такое предложение, в котором есть только одна грамматическая основа . Основа простого предложения может состоять:
либо из двух главных членов (подлежащего и сказуемого):
либо только из одного главного члена (только подлежащего или только сказуемого)
Сложное предложение – это такое предложение, которое состоит из нескольких простых предложений. В нём может быть две и более грамматических основ. Простые предложения, входящие в состав сложного, разделяются запятой.
Бор сосновый в стране одинокой стоит,
В нём ручей меж деревьев бежит .
А. Толстой
Слова и, а, но – это союзы. Перед союзом в сложном предложении всегда ставится запятая.
Словосочетание состоит из главного и зависимого слов. Связь слов в словосочетании устанавливается при помощи вопросов. Вопрос ставится от главного слова к зависимому:
Пшеница (какая?) густая,
Созрела (где?) в поле.
Над главным словом в словосочетании ставится знак х, а связь главного слова с зависимым словом обозначается знаком 
Подлежащее и сказуемое не образуют словосочетания. Это нераспространённое предложение.
Лексическое значение слова
То, что обозначает слово, является его лексическим значением . Лексическое значение слова можно определить по толковому словарю.
Синонимы – это слова, которые звучат и пишутся по-разному, а по смыслу одинаковы или очень близки: метель, вьюга, пурга, буран.
Антонимы – это слова, противоположные по смыслу: храбрый – трусливый, крошечный – огромный.
В языке есть слова, которые произносятся и пишутся одинаково, но имеют совершенно разные лексические значения. Такие слова называются омонимами . Например, одно слово лук означает «огородное растение», другое слово лук имеет значение «старинное оружие для метания стрел».
Словосочетание – это «сложное название», которое более точно , чем слово, может назвать:
предмет: стол – письменный стол;
действие: светит – ярко светит;
признак: храбрый – очень храбрый .
Устойчивые сочетания слов называются фразеологизмами . В них нельзя заменить или пропустить какое-либо слово, иначе изменится смысл: ни свет ни заря, прикусил язык.
Когда мы объясняем значение устойчивых сочетаний, мы имеем в виду смысл всего выражения в целом, а не отдельных слов:
ни свет ни заря означает «рано, до рассвета»;
прикусил язык имеет значение «замолчал».
Предлоги не могут употребляться самостоятельно (например, без имени существительного). Они не являются членами предложения.
Слова, называющие числа, - это имена числительные .
Имя числительное – это часть речи. Имена числительные обозначают количество предметов или их порядок при счёте. К ним можно поставить вопросы:
сколько? Семь, восемь, десять;
который? Первый, второй.
Однокоренные слова – это слова, которые имеют одинаковый корень с одним и тем же значением.
Берёз а – берз ка, орех-орех овый.
Жёлт ый – желт еет, желт изна, желт ок.
одинаково .
Гласные звуки [а], [о], [у], [э], [ы], [и]
обозначаются буквами а, о, у, э, ы, и, е, ё, ю, я.
Гласный звук
состоит из голоса
при произнесении гласного звука воздух через рот проходит свободно, без преград (со стороны губ, зубов, языка)
образует слог: у|ро́к
Согласный звук
состоит из голоса и шума или только шума
при произнесении согласного звука воздух встречает во рту преграду (со стороны губ, зубов, языка)
вместе с гласным звуком образует слог:
Согласные звуки бывают парные и непарные по глухости-звонкости и твёрдости – мягкости.
звонкие: [б], [ в], [г], [д] , [ж], [з] , [л], [м], [н], [р]
глухие: [п] , [ф] , [к], [т], [ш] , [с], [х], [ц]
звонкие: [б’], [в’], [г’], [д’], [з’], [л’], [м’], [н’], [р’], [й’]
глухие: [п’], [ф’], [к’], [т]’, [с’], [х’], [ч’], [щ’]
Буквы : б, в, г, д, ж, з, й, к, л, м, н, п, р, с, т, ф, х, ц, ч, ш, щ
Мягкость согласного звука на письме обозначается буквами е, ё, ю, я, и, а также буквой ь (мягкий знак), твёрдость – буквами а, о, у, э, ы.
Разделительный мягкий знак (Ь) пишется в корне слова после букв, обозначающих согласные звуки, перед буквами е,ё ,ю, я, и.
В этом случае звук [й’] и последующий гласный звук.
[й‘э] [й‘о] [й‘а] [й‘у] [й‘и]
Атель е, ружь ё, семь я, вь юга, ручь и.
Корень слова – это главная значимая часть слова. В корне заключено общее лексическое значение всех однокоренных слов.
Чтобы найти корень , надо подобрать однокоренные слова и выделить в них общую часть: берёз а – берез няк, берёз онька, берёз овый, подберёз овик.
Корень в однокоренных словах обычно пишется одинаково .
Голубь, голуб ок, голуб иный.
Класс, класс ный, внекласс ный.
Осина , осины , осине , осину – это формы одного и того же слова осина . Отличайте их от однокоренных слов: осина - осинник, осиновый.
Окончание – это изменяемая значимая часть слова , которая образует форму слова и служит для связи слов в словосочетании и предложении.
Когда? Какие?
В октябр е подул и сердит ые ветры.
Чтобы найти окончание в слове, надо изменить форму слова:
В некоторых словах окончание может быть не выражено звуками (буквами). Такое окончание называется нулевым .
Приставка – это значимая часть слова, которая стоит перед корнем и служит для образования слов:
ходи́ть – пере ходи́ть, под ходи́ть;
до́брый – пре до́брый, за до́брить.
| до- | о- / об- | на- | пред- | вы- |
| по- | от- | над- | пере- | в- |
| про- | под- | за- | при- | у- |
| с- |
Чтобы найти приставку в слове, надо подобрать однокорен-ное слово без приставки или с другой приставкой. Часть слова, которая стоит перед корнем, и будет приставой.
Под жарить (жарить, пере жарить).
Суффикс – это значимая часть слова, которая стоит после корня и служит для образования слов.
Лес – лесок , лесн ой, лесник , лесист ый.
Чтобы найти в слове суффикс, надо подобрать одно-коренные слова без суффикса или с другими суффиксами. Часть слова, которая стоит после корня перед окончанием, и будет суффиксом.
Травк а (трава, травинк а, травушк а).
Часть слова без окончания называется основой слова. В основе слова заключено его лексическое значение.
Чтобы найти основу слова , нужно отделить окончание.
Комнатн ые цвет ы полива ют тёпл ой вод ой.
Буква, обозначающая безударный гласный звук, может быть в любой значимой части слова:
в приставке: при шёл;
в корне: да рить;
в суффиксе: мале нький;
в окончании: из земляники .
в приставке: с делать;
в корне: четверг ;
в суффиксе: пирожок ;
в окончании: нет звуков .
в значимых частях слов
| Безударный гласный звук или парный по глухости-звонкости согласный звук находится |
|
| В приставке или суффиксе
| в корне |
| Вспомните, как пишется эта приставка или суффикс: С делать, мале нький, берёзо нька, пе ре писать, сея ть. Проверить написание по словарю: вазо чка, рас сказать. Большинство приставок и суффиксов пишется одинаково
. | Подберите проверочное слово: (чи стый, чи сто) чи стота; (груз ить) груз , груз чик Проверить написание по словарю: севе р, о бед, вок зал. Корень в однокоренных словах обычно пишется одинаково
. |
Чтобы найти проверочное слово для обозначения буквой безударного гласного звука в корне, надо:
а) или изменить слово: дв о ры́ – двор, пч е ла́ – пчёлы ;
б) или подобрать однокоренное слово так, чтобы безударный гласный звук стал ударным: дв о ры́ – двор, пч е ла́ – пчёлы.
Ударные и безударные гласные звуки в формах одного и того же слова и в корне однокоренных слов обозначаются одинаковой буквой.
Чтобы найти проверочное слово для обозначения буквой парного по глухости – звонкости согласного звука на конце слова или перед согласным в корне , надо изменить слово или подобрать однокоренное слово так, чтобы парный согласный звук стоял перед гласным звуком или звуками [л], [м], [н], [р], [в]:
берег – берег а́ морков ка – морков н ый
хирург – хирург и снеж ки - снеж н ый
Когда в слове встречается сразу три или четыре соласных, один из них может не произноситься . Так, не произносятся звуки:
[л] – в слове солнце ;
[т ] – в словах лестница, окрестность ;
[д] – в словах сердце, праздник ;
[ф] – в словах чувство, здравствуйте .
Однако буквой эти звуки обозначаются.
Буква, обозначающая непроизносимый согласный звук, - это орфограмма.
Чтобы правильно обозначить буквой непроизносимый согласный звук в корне слова, надо подобрать такое однокоренное слово, в котором этот согласный произносится отчётливо:
(мест о) мест ность, (опозд ать) позд ний.
Удвоенная согласная в слове – это орфограмма. Написание слов с удвоенными согласными в корне надо проверять по словарю.
Удвоенные согласные встречаются:
в корне слов иностранного происхождения: перр он;
на стыке приставки и корня: подд ержка;
на стыке корня и суффикса: малинн ик.
Правописание суффиксов - ИК/ - ЕК
В суффиксе – ик сохраняется :
В суффиксе – ек при изменении формы слова гласная буква исчезает :
Правописание суффикса – ок
После шипящих под ударением в суффиксе – ок пишется буква о : пирож о́к, быч о́к, борщ о́к, пуш о́к.
Щ - о́к Ш
Крюч о ́к
Написание приставок не зависит от произношения.
Правописание приставок и предлогов
Приставка – это значимая часть слова, пишется слитно: по бежал. Между приставкой и корнем нельзя вставить слово.
Предлог – это самостоятельная часть речи, пишется раздельно с другими словами.
Между предлогом и следующим словом можно вставить другое слово или вопрос.
Шёл по тропинке – шёл по лесной тропинке; зашёл за товарищем – зашёл (за кем?) за товарищем.
Предлоги никогда не употребляются с глаголами: побежать по тропинке, закрыть за собой дверь.
Разделительный твёрдый знак пишется только после приставок , которые оканчиваются согласным звуком, перед буквами е, ё,ю, я :
Съ е зд, подъ ё м, предъ юбилейный, объ я снить.
Разделительный твёрдый знак в слове – это орфоргамма :
разъ яснил, отъе хал, объ явление.
Разделительный твердый и мягкий знаки указывают , что следующая за ними буква (е, ё, ю, я) обозначает два звука: звук [й́́’] и последующий гласный звук.
Бель ё – бель[ й́́́о]́, подъ ём – подъ[ й’о́]м.
При переносе слова с одной строки на другую букву ъ (твёрдый знак) нельзя отделять от стоящей перед ней буквы:
подъ – езд, объ – ехать .
