Примеры высказываний на языке логики + видео обзор

Язык логики высказываний

Примеры высказываний на языке логики Примеры высказываний на языке логики Примеры высказываний на языке логики Примеры высказываний на языке логики

Примеры высказываний на языке логики

Примеры высказываний на языке логики

Логика высказываний (пропозициональная логика) – это раздел логики, изучающий способы построения и логическую структуру высказываний, отношения между ними и выводы, полученные с помощью логических операций конъюнкции, дизъюнкции, импликации, эквиваленции, отрицания и т.д. Часто в логике это обозначается КЛВ – классическая логика высказываний. Алфавит логики высказываний включает в себя четыре вида символов:

2) пропозициональные связкиØ, &, Ú, Ú, É, º

3) скобки ( … )

4)запятая ,

Пропозициональные переменные замещают собой простые высказывания. Например, высказывание «идет снег» можно обозначить символом p, высказывание «метет метель» – символом q, и т.д. Пропозициональные связки предназначены для того, чтобы объединять простые высказывания в более сложные. К ним относятся:

Øотрицание («не»; «неверно, что», «неправда, что» и т.п.)

& – конъюнкция («и», «а», «но», «хотя», и т.п.)

Úдизъюнкция («или», «по крайней мере одно из двух» и т.п.)

Úстрогая дизъюнкция («либо-либо», «только одно из двух» и т.п.)

Éимпликация («если, то», «значит», «вытекает» и т.п.)

ºэквиваленция («если и только если», «равнозначно» и т.п.)

Формулами в языке КЛВ называютзначимые выражения. Пропозициональные переменные сами по себе уже являются (атомарными) формулами. Более сложные формулы получаются из атомарных с использованием связок.

Определение формулы. (1) Пропозициональные переменные являются формулами. (2) Если Аи В – формулы, то ØА, А&В, АÚВ, АÚВ, АÉВ, АºВ – тоже формулы. (3) Ничто другое не является формулой.

Упражнение 1.Расставьте пропущенные скобки в следующих формулах:

а) p Ú Ø q & r É s & q Ú Ø p º Øs É q Ú r

б) p & q º r & s Ú q Ú Ø p É Øs Ú q & r

Переводить высказывания с обычного языка на естественный не трудно. Пусть, например, р означает «Иван-царевич любит Марью», q – «Марья любит Ивана-царевича», r – «Марья красивая», s – «Иван-царевич храбрый». Тогда переводом следующих высказываний будут формулы:

– «Иван-царевич храбрый и любит Марью» s & p

– «Неверно, что Марья некрасивая

или Иван-царевич ее не любит» Ø(Ør Ú Øp)

– «Если Марья красива, а Иван-царевич храбр,

то они любят друг друга» (r&s) É (p&q)

Семантика языка КЛВ основана на двух принципах:

1) Принцип бивалентности. Каждая пропозициональная переменная, замещающая собой простое предложение, может быть либо истинной, либо ложной. Истинность будем обозначать как 1, ложность – как 0.

2) Принцип композициональности. Истинностное значение сложной формулы есть функция от истинностных значений входящих в нее переменных.

Таким образом, каждая пропозициональная связка трактуется как истинностно-истинностная функция. Для наглядности воспользуемся таблицей истинности:

pqØpp&qpÚqpÚqpÉqpºq

Рассмотрим на примере, как строится таблица истинности для произвольной формулы. Пусть нам дано высказывание: «Если Иван-царевич и Марья любят друга, то неверно, что по крайней мере один из них не любит другого». Его переводом на язык КЛВ будет формула: (p&q) É Ø(ØpÚØq).

Алгоритм построения таблицы истинности:

2) Задать все комбинации совместной истинности/ложности пропозициональных переменных[1].

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

pqØpØqp&qØpÚØqØ(ØpÚØq)(p&q) É Ø(ØpÚØq)

В данной таблице всего четыре строки, поскольку формула содержит лишь две переменные – p и q. Первые два столбца задают все возможные комбинации совместной истинности и ложности этих переменных. Следующие пять столбцов показывают, каким будет значение каждой подформулы в той или иной строчке. Последний (результирующий) столбец показывает значение всей формулы в целом.

Примеры высказываний на языке логики

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

Тождественно-истинной (общезначимой) называется формула, принимающая значение «1» во всех строках таблицы.

Тождественно-ложной (невыполнимой) называется формула, принимающая значение «0» во всех строках таблицы.

Логически случайной (собственно выполнимой) называется формула, принимающая в некоторых строках таблицы значение «1», а в некоторых – «0».

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

Упражнение 2. установите табличным способом, к каким видам относятся следующие формулы:

Источник

Алгебра высказываний

Алгебра высказываний

Высказывание – повествовательное предложение, о котором можно сказать истинно оно или ложно. В алгебре простым высказываниям ставятся в соответствии логические переменные (А, В, С и т.д.)

Логическая переменная – это простое высказывание.
Логические переменные обозначаются прописными и строчными латинскими буквами (a-z, A-Z) и могут принимать всего два значения – 1, если высказывание истинно, или 0, если высказывание ложно.

Примеры высказываний на языке логики

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

Многие люди не любят сырую погоду.

Пусть А = «Многие люди любят сырую погоду». Получаем логическую функцию F(A) = не А.

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

Логическая формула (логическое выражение) — формула, содержащая лишь логические величины и знаки логических операций. Результатом вычисления логической формулы является ИСТИНА (1) или ЛОЖЬ (0).

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

Пример:
Рассмотрим составное высказывание «2 • 2 = 4 и 3 • 3 = 10». Выделим простые высказывания:
А = «2 • 2 = 4» = 1 (т.к. это истинное высказывание)
В = «3 • 3 = 10» = 0 (т.к. это ложное высказывание)
Поэтому, логическая функция F(A, B) = A /\ B = 1 /\ 0 = 0 (в соответствии с таблицей истинности), то есть данное составное высказывание ложное.

2. Логическое сложение (дизъюнкция), от лат. disjunctio – различаю:
• Объединение двух (или нескольких) высказываний в одно с помощью союза ИЛИ;
• в языках программирования — Or.
• Обозначение: \/, +, или, or.
• В алгебре множеств дизъюнкции соответствует операция объединения множеств.
Примеры высказываний на языке логики

Пример:
Рассмотрим составное высказывание «2 • 2 = 4 или 2 • 2 = 5». Выделим простые выска-зывания:
А = «2 • 2 = 4» = 1 (т.к. это истинное высказывание)
В = «2 • 2 = 5» = 0 (т.к. это ложное высказывание)
Поэтому, логическая функция F(A, B) = A \/ B = 1 \/ 0 = 1 (в соответствии с таблицей истинности), то есть данное составное высказывание истинно.

3. Отрицание (инверсия), от лат. InVersion – переворачиваю:

• Соответствует частице НЕ, словосочетаниям НЕВЕРНО, ЧТО или НЕ ЯВЛЯЕТСЯ ИСТИНОЙ, ЧТО;
• в языках программирования — Not;
• Обозначение: не А, ¬А, not
• В алгебре множеств логическому отрицанию соответствует операция дополнения до универсального множества.
Примеры высказываний на языке логики

Источник

Примеры высказываний на языке логики

8. ЛОГИКА ВЫСКАЗЫВАНИЙ

8.1. Основы логики высказываний

Пример: Если посещать все занятия по «Представлению знаний в ИС», то можно получить автомат за экзамен. Петров присутствовал на всех занятиях по «Представлению знаний в ИС». Следовательно, он получит автомат.

Пример: Если посещать все занятия по «Представлению знаний в ИС», то можно получить автомат за экзамен. Петров не получил автомат. Следовательно, он пропускал занятия по «Представлению знаний в ИС».

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

Примеры неправильных модусов.

Если посещать все занятия по «Представлению знаний в ИС», то можно получить автомат за экзамен. Петров получил автомат. Следовательно, он не пропускал занятия по «Представлению знаний в ИС». На самом деле возможна другая причина получения автомата.

Если посещать все занятия по «Представлению знаний в ИС», то можно получить автомат за экзамен. Петров пропускал занятия по «Представлению знаний в ИС». На самом деле он получил автомат, но за другие заслуги.

Мы будем посещать все занятия по «Представлению знаний в ИС» или придется сдавать экзамен. Да, мы будем посещать все занятия по «Представлению знаний в ИС». Следовательно, есть надежда на автомат.

Мы будем посещать все занятия по «Представлению знаний в ИС» или придется сдавать экзамен. Мы будем пропускать занятия по «Представлению знаний в ИС». Следовательно, придется сдавать экзамен.

Мы будем посещать все занятия по «Представлению знаний в ИС» или придется сдавать экзамен. Есть надежда на автомат. Следовательно, мы будем дальше посещать все занятия по «Представлению знаний в ИС».

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

8.2. Синтаксис и семантика логики высказываний

В логике высказываний используется следующий синтаксис (символы):

— логические константы – ИСТИНА (И, TRUE, T) и ЛОЖЬ (Л, FALSE, F);

— атомарные высказывания (атомарные формулы, атомарные выражения, атомарные предложения) – обозначаются через прописные буквы латинского алфавита A, B, C и т.д. Например, «Земля вращается вокруг Солнца» (атомарное высказывание, выраженное на естественном языке) можно выразить через А. Атомарные высказывания относятся к константам и могут принимать только значения либо истина либо ложь;

— логические связки (операции, соединители):

— ∨ – логическое ИЛИ (дизъюнкция, логическое сложение);

AB¬AA ∧ BA ∨ BA → B
¬A ∨ B
A ↔ B
(A ∧ B) ∨ (¬A ∧ ¬B)
ИИЛИИИИ
ИЛЛЛИЛЛ
ЛИИЛИИЛ
ЛЛИЛЛИИ

Приоритет операций при исчислении формул показан ниже

Примеры высказываний на языке логики

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

— пропозициональные (логические) переменные – обозначаются через строчные буквы латинского алфавита p, q, r, x, y, z и т.д. Переменные соответствуют атомарным высказываниям или набору высказываний, связанных логическими операциями. Например, пусть дана формула A ∧ (B ∨ C). Тогда ее можно представить через переменные следующим образом:

— p – p соответствует A ∧ (B ∨ C);

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

Семантика логики высказываний (основные определения).

Правильно построенная формула (формула, ППФ) – одно или несколько высказываний (переменных), соединенных логическими операциями. Результат вычисления формулы истина или ложь. Примеры неправильно построенных формул: A ∨ B →, ¬A ¬∨ C, ↔ A ∧ B и т.д.

Противоречие (невыполнимая формула) – ППФ, значением которой всегда является ложь. Например, A ∧ ¬A.

Выполнимая формула – ППФ, значением которой может быть истина или ложь.

Тавтология – ППФ, значением которой всегда является истинна. Например, A ∨ ¬A. Некоторые тавтологии называют общезначимыми формулами (законами логики высказываний), т.к. они имеют фундаментальное значение и используются при исчислении высказываний. Перед общезначимыми формулы часто ставят знак ╞. Наиболее известными являются следующие законы:

— A ∧ (B ∨ С) ↔ (A ∧ B) ∨ (A ∧ С);

— A ∨ (B ∧ С) ↔ (A ∨ B) ∧ (A ∨ С);

— закон двойного отрицания:

8.3. Исчисление высказываний

Логическим исчислением (исчислением) называют совокупность, которая включает в себя [29]:

— алфавит (совокупность используемых символов);

— синтаксические правила построения формул;

— аксиомы – общезначимые формулы;

— правила вывода по аксиомам производных формул или теорем.

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

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

Выводом в теории Т называется всякая последовательность формул ППФ1, ППФ2, …, ППФi такая, что для любого i формула ППФi есть либо аксиома теории T, либо непосредственное следствие каких-либо предыдущих формул. Факт выводимости одной формулы из других показывается с помощью знака ├. Например, ППФ1, …, ППФk ├ ППФm.

Классическое исчисление высказываний использует два правила вывода.

Правило 1. Modus Ponens – A, A → B ├ В. Из истинности условия импликации и истинности самой импликации следует истинность следствия импликации.

Правило 2. Правило подстановки – ППФ(р) ├ ППФ(Р). Из формулы ППФ(р) выводима формула ППФ(Р), получающаяся подстановкой формулы P вместо каждого вхождения переменной р.

Вопросы для самопроверки

1. Дайте определение понятию «высказывание».

Источник

Логика высказываний: теория и применение. Примеры решений задач

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

Логика высказываний: определение и применение

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

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

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

Примеры высказываний на языке логики

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

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

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

ABAB
ИИИ
ИЛЛ
ЛИЛ
ЛЛЛ

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

ABAB
ИИИ
ИЛИ
ЛИИ
ЛЛЛ

Таблица истинности для следования (импликации):

ABAB
ИИИ
ИЛЛ
ЛИИ
ЛЛИ

4. Четвёртая логическая операция над высказываниями, точнее над одним высказыванием, называется отрицанием высказывания A и обозначается

A (можно встретить также употребление не символа

, а символа ¬, а также верхнего надчёркивания над A).

A есть высказывание, которое ложно, когда A истинно, и истинно, когда A ложно.

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

Таблица истинности для эквивалентности:

ABABBAAB
ИИИИИ
ИЛЛИЛ
ЛИИЛЛ
ЛЛИИИ

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

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

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

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

Пример 1. Вычислите логические значения следующих высказываний:

3) («Сосна» = «Дуб») ИЛИ («Вишня» = «Клён») ;

6) («Глаза даны, чтобы видеть») И («Под третьим этажом находится второй этаж») ;

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

1) «Пользователь не зарегистрирован»;

2) «Сегодня воскресенье и некоторые сотрудники находятся на работе»;

3) «Пользователь зарегистрирован тогда и только тогда, когда отправленные пользователем данные признаны годными».

Решить примеры на логику высказываний самостоятельно, а затем посмотреть решения

Пример 3. Вычислите логические значения следующих высказываний:

1) («В минуте 70 секунд») ИЛИ («Работающие часы показывают время») ;

2) (28 > 7) И (300/5 = 60) ;

4) Не((300 > 100) ИЛИ («Жажду можно утолить водой»)) ;

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

1) «Если часы неправильно показывают время, то можно невовремя прийти на занятия»;

Пример 5. Определите логическое значение выражения

Формулы логики высказываний

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

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

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

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

Для построения формул логики высказываний кроме указанных выше букв используются знаки логических операций

Понятие формулы логики высказываний определим следуюшим образом:

1) элементарные формулы (атомы) являются формулами логики высказываний;

3) только те выражения являются формулами логики высказываний, для которых это следует из 1) и 2).

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

1) Примеры высказываний на языке логики;

2) Примеры высказываний на языке логики;

3) Примеры высказываний на языке логики;

4) Примеры высказываний на языке логики;

5) Примеры высказываний на языке логики;

6) Примеры высказываний на языке логики.

1) «нет действительных чисел, которые являются рациональными»;

2) «если не все рациональные числа являются действительными, то нет рациональных чисел, являющихся действительными»;

5) «все рациональные числа являются действительными тогда и только тогда, когда не имеет место быть, что не все рациональные числа являются действительными»;

6) «не имеет места быть, что не имеет место быть, что не все рациональные числа являются действительными и нет действительных чисел, которые являются рациональными или нет рациональных чисел, которые являются действительными».

pqrПримеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логикиf
ИИИИИИИИ
ИИЛИИИЛИ
ИЛИИЛЛЛЛ
ИЛЛИЛЛИИ
ЛИИЛИЛИИ
ЛИЛЛИЛИЛ
ЛЛИИИИИИ
ЛЛЛИИИЛИ

Заметим, что никакой атом не имеет вида

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

1) в сложной формуле будем опускать внешнюю пару скобок;

2) упорядочим знаки логических операций «по старшинству»:

В этом списке знак ↔ имеет самую большую область действия, а знак

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

(при этом мы продвигаемся слева направо), затем ко всем вхождениям знака ∧ и так далее.

Пример 8. Восстановите скобки в формуле логики высказываний B

Решение. Скобки восстанавливаются пошагово следующим образом:

Не всякая формула логики высказываний может быть записана без скобок. Например, в формулах А → (BC) и

(AB) дальнейшее исключение скобок невозможно.

Тавтологии и противоречия

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

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

Противоположный смысл имеет логическое противоречие. Если все значения высказываний равны 0, то выражение есть логическое противоречие.

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

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

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

Решение. Составляем таблицу истинности:

Примеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логики
ИИИИИ
ИЛЛЛИ
ЛИЛИИ
ЛЛЛЛИ

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

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

Решение. Составляем таблицу истинности:

Примеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логики
ИИИИИИ
ИИЛИЛЛ
ИЛИЛИИ
ИЛЛЛЛИ
ЛИИЛИИ
ЛИЛЛЛИ
ЛЛИЛИИ
ЛЛЛЛЛИ

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

Примеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логики
ИИИ
ИЛЛ
ЛИИ
ЛЛИ

Пример 11. Перепишите формулу логики высказываний Примеры высказываний на языке логикибез использования импликации и эквиваленции, пользуясь тождеством Примеры высказываний на языке логикии законами де Моргана:

Примеры высказываний на языке логики;

Примеры высказываний на языке логики.

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

Примеры высказываний на языке логики.

Убираем эквиваленцию между p и q и между q и не r :

Примеры высказываний на языке логики.

Используя закон де Моргана, немного упрощаем и окончательно получаем:

Примеры высказываний на языке логики.

Посылки и выводы. Валидный и не валидный аргумент

Пример валидного аргумента:

То есть, из посылок логически следует вывод.

Пример не валидного аргумента:

То есть, из посылок логически не следует вывод.

Пример 12. Проверьте валидность аргумента, если

Решение. Составляем таблицу истинности:

Примеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логикиПримеры высказываний на языке логики
ИИЛИИИ
ИЛЛЛЛИ
ЛИИИИЛ
ЛЛИИИИ

Применение логики высказываний в информатике и программировании

Так, может быть объявлена логическая переменная с именем «ПользовательЗарегистрирован» (или его англоязычный аналог), имеющая форму высказывания, которой может быть присвоено логическое значение «истина» при выполнении условий, что данные для регистрации отправлены пользователем и эти данные программой признаны годными. В дальнейших вычислениях значения переменных могут меняться в зависимости от того, какое логическое значение («истина» или «ложь») имеет переменная «ПользовательЗарегистрирован». В других случах переменной, например, с именем «ДоДняХОсталосьБолееТрёхДней», может быть присвоено значение «Истина» до некоторого блока вычислений, а в ходе дальнейшего исполнения программы это значение может сохраняться или меняться на «ложь» и от значения этой переменной зависит ход дальнейшего исполнения программы.

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

Источник

Видео

16 - Мат. логика. Язык логики высказываний

16 - Мат. логика. Язык логики высказываний

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

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

Простые и сложные высказывания. Элементы математической логики.

Простые и сложные высказывания. Элементы математической логики.

Введение в логику, урок 1: Базовые понятия

Введение в логику, урок 1: Базовые понятия

3.1.Пропозициональная логика.Высказывания и высказывательные формы

3.1.Пропозициональная логика.Высказывания и высказывательные формы

Высказывание. Элементы математической логики.

Высказывание. Элементы математической логики.

Язык логики и семантические категории

Язык логики и семантические категории

6 Аксиомы и правило вывода классической логики высказываний

6 Аксиомы и правило вывода классической логики высказываний

Дмитрий Гусев: "Что такое логика, и какую роль она играет в нашей жизни? "

Дмитрий Гусев: "Что такое логика, и какую роль она играет в нашей жизни? "

4.5.Перевод с естественного языка на логический и обратно.Математическая логика и теория алгоритмов.

4.5.Перевод с естественного языка на логический и обратно.Математическая логика и теория алгоритмов.
Поделиться или сохранить к себе:
Добавить комментарий

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