Алгебра логики треугольник значок

2) Логическое сложение или дизъюнкция:

Дизъюнкция — это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выраженbя ложны.
Обозначение: F = A v B.

Таблица истинности для дизъюнкции

3) Логическое отрицание или инверсия:

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

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

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

4) Логическое следование или импликация:

Импликация — это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. То есть данная логическая операция связывает два простых логических выражения, из которых первое является условием (А), а второе (В) является следствием.

«A → B» истинно, если из А может следовать B.

Обозначение: F = A → B.

Таблица истинности для импликации

5) Логическая равнозначность или эквивалентность:

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

Видео:Таблица истинностиСкачать

Треугольник Фреге: понятие, логическая модель, семиотика и логика

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

Видео:ЗАКОНЫ АЛГЕБРЫ ЛОГИКИСкачать

Кому принадлежит авторство?

Идея, известная как треугольник Фреге, принадлежит немецкому математику, также занимавшемуся философией и логикой. Звали его Фридрихом Людвигом Готлобом Фреге. Жил и трудился этот человек на стыке XIX и XX столетий.

Родился ученый в семье школьного преподавателя. Образование Фреге получил в Йенском университете, а диссертацию защитил в Геттингене. После ее защиты вернулся в Йену, где вскоре получил должность приват-доцента на одной из кафедр местного университета.

Видео:Математика это не ИсламСкачать

В чем значение работ этого ученого?

Треугольник Фреге – далеко не единственная идея немецкого логика и математика, имевшая значение для развития философской мысли. Однако признание они получили в основном за счет развития и популяризации их учениками и последователями. Одним из них был Рудольф Карнал, немало сделавший для развития философии и идей логического позитивизма.

Основное значение трудов Фреге в том, что в них ученый пересмотрел ряд математических закономерностей, подойдя к ним с совершенно новых позиций. Его работа Begriffsschrift, что в переводе с русского означает «исчисление понятий», увидевшая свет в 1879 году, практически стала началом новой эры в истории развития логики.

Также именно этот ученый впервые дал определения таким понятиям, как «значение», «смысл» и описал разницу между ними. Именно это и известно в современном мире как семантический треугольник Фреге.

Видео:Конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. На примерах из жизни. Логика.Скачать

Что же это такое?

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

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

Видео:7 класс Атанасян. Вся геометрия за 100 минут. Треугольник, окружность, задачи на построениеСкачать

Суть понятия и его графического отображения

Логика треугольника Фреге — во взаимной непрерываемой связи трех основных компонентов, именуемых:

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

Видео:Преобразование логических выражений / Упрощение выражений (практика) [Алгебра логики] #6Скачать

Что подразумевается под названиями вершин?

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

Значение – это определенная область, соотносимая с наименованием предмета рассмотрения. Непосредственно сам рассматриваемый компонент – это знак или же имя. Термин «имя» нередко используют при анализе по формуле «треугольник Фреге» деятельности людей в науке, искусстве или иной сфере. Применяют его и для рассмотрения так называемых «одушевленных явлений».

Смысл – это какой-либо конкретный, определенный, отдельно взятый аспект в рассматриваемой области, непосредственно связанный с предметом анализа.

Видео:Информатика. Алгебра логики: Таблицы истинности. Центр онлайн-обучения «Фоксфорд»Скачать

В чем научное значение этой формулы?

Логический треугольник Фреге – революционное открытие, которое еще не полностью оценено и имеет безграничный потенциал.

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

Кроме этого, данное открытие легло в основу многих научных трудов, самыми известными из которых являются:

• теоремы о неполноте Курта Фридриха Геделя;
• теория описаний Бертрана Артура Уильяма Рассела.

Теоремы о неполноте развивают представление о математической логике, а работа графа Рассела касается философских вопросов.

Видео:Реакция на результаты ЕГЭ 2022 по русскому языкуСкачать

Что такое семиотика?

Данный термин нередко употребляется в общем контексте, когда речь заходит о треугольнике Фреге. Кратко понятие «семиотика» представить достаточно сложно, поскольку оно является весьма объемным и многозначным.

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

Видео:Решение логических выражений. Таблицы истинности. [Алгебра логики] #2Скачать

К чему сводится взаимосвязь между основными элементами?

Как правило, взаимосвязь между вершинами треугольника или основными элементами данной формулы сводится к следующему:

• отношение знака к рассматриваемой области, обозначение рамок анализа;
• влияние этого же символа на понятие о нем, смысл.

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

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

Эту особенность, иллюстрирующую взаимосвязь всех трех основных составляющих, можно рассмотреть на примере использования людьми псевдонимов. Допустим, в качестве знака в формуле взято имя Марк Твен. Разумеется, в качестве значения, то есть ассоциирующейся или связанной со знаком области, выступит литература. Под смыслом же будет подразумеваться нечто, связанное с вкладом писателя в нее, значением его произведений. Однако если в качестве знака будет взято имя Сэмюэл Лэнгхорн Клеменс, то ассоциативного восприятия с литературной деятельностью не возникнет. Соответственно, понятия «значения» и «смысла» окажутся иными. Хотя Клеменс и Твен – один человек.

Эта особенность нередко называется «частным случаем». Для устранения погрешностей в применении формулы Фреге, обусловленных подобными случайностями, используется семиотика.

Видео:Элементы алгебры логики.Скачать

Какими могут быть отношения между основными элементами?

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

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

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

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

Видео:Проверь свои знания по математике за 11 классСкачать

Треугольник отражает объективную реальность или нет?

Этот вопрос является предметом для дискуссий в научных кругах не первое десятилетие. Действительно, с одной стороны, треугольник Фреге – математическая формула, основанная на законах простых, логичных и вполне объективных. С другой же стороны, в нем немало переменных аспектов, нюансов, влияющих на результаты и само содержание. Да и все логические цепи, составляющие взаимоотношения, не являются тем, что можно измерить или же потрогать. Они выстроены в сознании, то есть это плод работы мозга, мыслительной деятельности. Следовательно, к объективной реальности отношения данная формула не имеет.

Однако все не столь однозначно, как кажется на первый взгляд. Рассматриваемая, анализируемая по формуле треугольника вещь, явление, предмет или же что-либо еще – это неизменно объективная данность, существующая в реальности. Но человек осмысливает эту данность. То есть рассматривает и анализирует какой-либо предмет через собственное представление о нем, восприятие. Это, в свою очередь, основывается на имеющихся знаниях. Логические умозаключения же строятся не только на базе информации об анализируемом явлении, но и с учетом жизненного опыта, культурных ценностей и даже менталитета.

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

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

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

Видео:Переставь одну цифру! Задача на логикуСкачать

Алгебра логики знаки и их обозначения

Обозначения в логических операциях

Обозначения для логических связок:

отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);

конъюнкция (логическое умножение, логическое И) обозначается /

дизъюнкция (логическое сложение, логическое ИЛИ) обозначается /

следование (импликация) обозначается → (например, А → В);

тождество обозначается ≡ (например, A ≡ B). Выражение A ≡ B истинно тогда и только тогда, когда значения A и B совпадают (либо они оба истинны, либо они оба ложны);

символ 1 (единица) используется для обозначения истины (истинного высказывания);

символ 0 (ноль) используется для обозначения лжи (ложного высказывания).

Два логических выражения, содержащих переменные, называются равносильными (эквивалентными), если значения этих выражений совпадают при любых значениях переменных. Так, выражения А → В и (¬А) / В равносильны, а А / В и А / В – нет (значения выражений разные, например, при А = 1, В = 0).

Приоритеты логических операций: инверсия (отрицание), конъюнкция (логическое умножение), дизъюнкция (логическое сложение), импликация (следование), тождество. Таким образом, ¬А / В / С / D означает то же, что и

Возможна запись А / В / С вместо (А / В) / С. То же относится и к конъюнкции: возможна запись А / В / С вместо (А / В) / С.

Свойства логических операций

Общие свойства логических операций

Для набора из n логических переменных существует ровно 2n различных значений. Таблица истинности для логического выражения от n переменных содержит n+1 столбец и 2n строк.

Дизъюнкция

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

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

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

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

Конъюнкция

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

Если все выражения из некоторого списка истинны на некотором наборе значений переменных, то конъюнкция этих выражений тоже истинна.

Если все выражения из некоторого списка ложны на некотором наборе значений переменных, то конъюнкция этих выражений тоже ложна.

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

Простые дизъюнкции и конъюнкции

Назовем (для удобства) конъюнкцию простой, если подвыражения, к которым применяется конъюнкция, – различные переменные или их отрицания. Аналогично, дизъюнкция называется простой, если подвыражения, к которым применяется дизъюнкция, – различные переменные или их отрицания.

Простая конъюнкция принимает значение 1 (истина) ровно на одном наборе значений переменных.

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

Импликация

Импликация A →B равносильна дизъюнкции (¬А) / В. Эту дизъюнкцию можно записать и так: ¬А / В.

Импликация A →B принимает значение 0 (ложь) только если A=1 и B=0. Если A=0, то импликация A →B истинна при любом значении B.

Ключевые слова:

• алгебра логики
• высказывание
• логическая операция
• конъюнкция
• дизъюнкция
• отрицание
• логическое выражение
• таблица истинности
• законы логики

1.3.1. Высказывание

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

Для информатики важен раздел математики, называемый алгеброй логики; объектами алгебры логики являются высказывания.

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

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

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

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

Относительно предложения «Компьютерная графика — самая интересная тема в курсе школьной информатики» также нельзя однозначно сказать, истинно оно или ложно. Подумайте сами почему.

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

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

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

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

1. «Na — металл» (истинное высказывание);
2. «Второй закон Ньютона выражается формулой F=m•а» (истинное высказывание);
3. «Периметр прямоугольника с длинами сторон a и b равен а • b» (ложное высказывание).

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

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

Не являются высказываниями и равенства или неравенства, содержащие переменные. Например, предложение «X n — 1;

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

Построим таблицу истинности для логического выражения A ∨ А & В. В нём две переменные, две операции, причём сначала выполняется конъюнкция, а затем — дизъюнкция. Всего в таблице будет четыре столбца:

Наборы входных переменных — это целые числа от О до 3, представленные в двухразрядном двоичном коде: 00, 01, 10, 11. Заполненная таблица истинности имеет вид:

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

1.3.4. Свойства логических операций

Рассмотрим основные свойства (законы) алгебры логики.

Переместительный (коммутативный) закон

для логического умножения:

для логического сложения:

Сочетательный (ассоциативный) закон

для логического умножения:

для логического сложения:

(A ∨ B) ∨ C = A ∨(B ∨ C).

При одинаковых знаках операций скобки можно ставить произвольно или вообще опускать.

Распределительный (дистрибутивный) закон

для логического умножения:

для логического сложения:

A ∨ (B & С) = (A ∨ В) & (A ∨ С).

Двойное отрицание исключает отрицание.

Закон исключения третьего

для логического умножения:

для логического сложения:

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

для логического умножения:

для логического сложения:

Законы операций с 0 и 1

для логического умножения:

для логического сложения:

A ∨ O = A; A ∨ l = l.

Законы общей инверсии

для логического умножения:

для логического сложения:

Законы алгебры логики могут быть доказаны с помощью таблиц истинности.

Докажем распределительный закон для логическического сложения:

A ∨ (В & С) = (А ∨ В) & (A ∨ С).

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

Пример 2. Найдём значение логического выражения для числа Х = 0.

Решение. При X = 0 получаем следующее логическое выражение: . Так как логические выражения 0 1 .

1 С учётом того, что ваза разбита одним внуком, можно было составлять не всю таблицу, а только её фрагмент, содержащий следуюнще наборы входных переменных: 001, 010, 100.

Исходя из того, что знает о внуках бабушка, следует искать в таблице строки, содержащие в каком-либо порядке три комбинации значений: 00, 11, 01 (или 10). Таких строк в таблице оказалось две (они отмечены галочками). Согласно второй из них, вазу разбили Коля и Вася, что противоречит условию. Согласно первой из найденных строк, вазу разбил Серёжа, он же оказался хитрецом. Шутником оказался Вася. Имя правдивого внука — Коля.

Задача 2. В соревнованиях по гимнастике участвуют Алла, Валя, Сима и Даша. Болельщики высказали предположения о возможных победителях:

1. Сима будет первой, Валя — второй;
2. Сима будет второй, Даша — третьей;
3. Алла будет второй, Даша — четвёртой.

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

Решение. Рассмотрим простые высказывания:

C₁ = «Сима заняла первое место»;

В₂ = «Валя заняла второе место»;

С₂ = «Сима заняла второе место»;

Д₃ = «Даша заняла третье место»;

А₂ = «Алла заняла второе место»;

Д₄ = «Даша заняла четвёртое место».

Так как в каждом из трёх предположений одно из высказываний истинно, а другое ложно, то можно заключить следующее:

Логическое произведение истинных высказываний будет истинным:

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

Высказывание С₁ • С₂ означает, что Сима заняла и первое, и второе места. Согласно условию задачи, это высказывание ложно. Ложным является и высказывание В₂ • С₂. Учитывая закон операций с константой 0, запишем:

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

Из последнего равенства следует, что С₁ = 1, Д₃ = 1, А₂ = 1. Это означает, что Сима заняла первое место, Алла — второе, Даша — третье. Следовательно, Валя заняла четвёртое место.

Познакомиться с другими способами решения логических задач, а также принять участие в Интернет-олимпиадах и конкурсах по их решению вы сможете на сайте «Математика для школьников» (http://www.kenqyry.com/).

На сайте http://www.kaser.com/ вы сможете скачать демонстрационную версию очень полезной, развивающей логику и умение рассуждать логической головоломки Шерлок.

1.3.6. Логические элементы

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

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

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

Рис 1.5.
Логические элементы

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

Логический элемент ИЛИ (дизъюнктор) реализует операцию логического сложения (рис. 1.5, б). Если хотя бы на одном входе будет единица, то на выходе элемента также будет единица.

Логический элемент НЕ (инвертор) реализует операцию отрицания (рис. 1.5, в). Если на входе элемента О, то на выходе 1 и наоборот.

Компьютерные устройства, производящие операции над двоичными числами, и ячейки, хранящие данные, представляют собой электронные схемы, состоящие из отдельных логических элементов. Более подробно эти вопросы будут раскрыты в курсе информатики 10-11 классов.

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

Решение. Все возможные комбинации сигналов на входах А к В внесём в таблицу истинности. Проследим преобразование каждой пары сигналов при прохождении их через логические элементы и запишем полученный результат в таблицу. Заполненная таблица истинности полностью описывает рассматриваемую электронную схему.

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

Составить более полное представление о логических элементах и электронных схемах вам поможет работа с тренажёром «Логика» (http://kpolyakov. narod. ru/prog/logic. htm).

Самое главное

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

Основные логические операции, определённые над высказываниями: инверсия, конъюнкция, дизъюнкция.

Таблицы истинности для основных логических операций:

При вычислении логических выражений сначала выполняются действия в скобках. Приоритет выполнения логических операций:

Вопросы и задания

Рассмотрите представленные на рисунке электрические схемы:

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

Некоторый сегмент сети Интернет состоит из 1000 сайтов. Поисковый сервер в автоматическом режиме составил таблицу ключевых слов для сайтов этого сегмента. Вот её фрагмент:

По запросу сомики & гуппи было найдено 0 сайтов, по запросу сомики & меченосцы — 20 сайтов, а по запросу меченосцы & гуппи — 10 сайтов.

Сколько сайтов будет найдено по запросу сомики | меченосцы | гуппи?

Для скольких сайтов рассматриваемого сегмента ложно высказывание «Сомики — ключевое слово сайта ИЛИ меченосцы — ключевое слово сайта ИЛИ гуппи — ключевое слово сайта»?
Постройте таблицы истинности для следующих логических выражений:

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

Видео:ЖЕСТКАЯ задача на логику! Попробуй решить!Скачать

Электронное приложение к уроку

Презентации, плакаты, текстовые файлы	Вернуться к материалам урока	Ресурсы ЭОР

Cкачать материалы урока

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

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

— знаки, служащие для обозначения отрицания; читаются: «не», «неверно что»;

— знаки для обозначения логической связки, называемой конъюнкцией; читаются: «и»;

— знак для обозначения логической связки, называемой неисключающей дизъюнкцией; читается: «или»;

— знак для обозначения строгой, или исключающей, дизъюнкции; читается: «либо, либо»;

— знаки для обозначения импликации; читаются: «если, то»;

— знаки для обозначения эквивалентности высказываний; читаются: «если и только если»;

— квантор общности; читается: «для всякого», «всем»;

— квантор существования; читается «существует», «имеется по крайней мере один»;

L, N, — знаки для обозначения модального оператора необходимости; читаются: «необходимо, что»;

М — знак для обозначения модального оператора возможности; читается: «возможно, что».

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

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

А) «Тот, кто ясно мыслит, ясно говорит» — ; буква А обозначает высказывание «Человек ясно мыслит», В — высказывание «Человек ясно говорит», — связка «если, то»;

Б) «Он — образованный человек и неправда, что он не знаком с сонетами Шекспира» — ; А — высказывание «Он образованный человек», В — «Он не знаком с сонетами Шекспира», — связка «и»,

— «не»;

В) «Если свет имеет волновую природу, то, когда он представляется в виде потока частиц (корпускул), допускается ошибка» — ; А — «Свет имеет волновую природу», В — «Свет представляется в виде потока частиц», С — «Допускается ошибка»;

Г) «Если вы были в Париже, то вы видели Лувр или видели Эйфелеву башню» — — «Вы были в Париже», В — «Вы видели Лувр», С — «Вы видели Эйфелеву башню».

Не нашли то, что искали? Воспользуйтесь поиском:

Лучшие изречения: Студент — человек, постоянно откладывающий неизбежность. 10605 — | 7337 — или читать все.

91.146.8.87 © studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам | Обратная связь.

Отключите adBlock!
и обновите страницу (F5)
очень нужно

📺 Видео

Отрицание, Дизъюнкция и Конъюнкция. Графическое решение логических выражений. Алгебра логики основыСкачать

Основы алгебры логики. Основные операции и порядок выполнения.Скачать

Алгебра логики (8 класс)Скачать

Что скрывает фрактальный треугольник? // Vital MathСкачать

Алгебра логики: Законы алгебры логики. Центр онлайн-обучения «Фоксфорд»Скачать

Основные логические операции в алгебре логикиСкачать

ИМПЛИКАЦИЯ в алгебре логики🤓 #егэ2023 #егэ #информатика #егэинформатика #экзамен #школаСкачать