Язык логики высказываний это
Обновлено: 21.11.2024
Логика высказываний (пропозициональная логика) – это раздел логики, изучающий способы построения и логическую структуру высказываний, отношения между ними и выводы, полученные с помощью логических операций конъюнкции, дизъюнкции, импликации, эквиваленции, отрицания и т.д. Часто в логике это обозначается КЛВ – классическая логика высказываний. Алфавит логики высказываний включает в себя четыре вида символов:
1) пропозициональные переменные – p, q, r, s, .
2) пропозициональные связки – Ø, &, Ú, Ú, É, º
3) скобки – ( … )
4)запятая -,
Пропозициональные переменные замещают собой простые высказывания. Например, высказывание «идет снег» можно обозначить символом p, высказывание «метет метель» – символом q, и т.д. Пропозициональные связки предназначены для того, чтобы объединять простые высказывания в более сложные. К ним относятся:
Ø – отрицание («не»; «неверно, что», «неправда, что» и т.п.)
& – конъюнкция («и», «а», «но», «хотя», и т.п.)
Ú – дизъюнкция («или», «по крайней мере одно из двух» и т.п.)
Ú – строгая дизъюнкция («либо-либо», «только одно из двух» и т.п.)
É – импликация («если, то», «значит», «вытекает» и т.п.)
º – эквиваленция («если и только если», «равнозначно» и т.п.)
Формулами в языке КЛВ называютзначимые выражения. Пропозициональные переменные сами по себе уже являются (атомарными) формулами. Более сложные формулы получаются из атомарных с использованием связок.
Определение формулы. (1) Пропозициональные переменные являются формулами. (2) Если Аи В – формулы, то ØА, А&В, АÚВ, АÚВ, АÉВ, АºВ – тоже формулы. (3) Ничто другое не является формулой.
Упражнение 1.Расставьте пропущенные скобки в следующих формулах:
Переводить высказывания с обычного языка на естественный не трудно. Пусть, например, р означает «Иван-царевич любит Марью», q – «Марья любит Ивана-царевича», r – «Марья красивая», s – «Иван-царевич храбрый». Тогда переводом следующих высказываний будут формулы:
– «Иван-царевич храбрый и любит Марью» s & p
– «Неверно, что Марья некрасивая
или Иван-царевич ее не любит» Ø(Ør Ú Øp)
– «Если Марья красива, а Иван-царевич храбр,
то они любят друг друга» (r&s) É (p&q)
Семантика языка КЛВ основана на двух принципах:
1) Принцип бивалентности. Каждая пропозициональная переменная, замещающая собой простое предложение, может быть либо истинной, либо ложной. Истинность будем обозначать как 1, ложность – как 0.
2) Принцип композициональности. Истинностное значение сложной формулы есть функция от истинностных значений входящих в нее переменных.
Таким образом, каждая пропозициональная связка трактуется как истинностно-истинностная функция. Для наглядности воспользуемся таблицей истинности:
p | q | Øp | p&q | pÚq | pÚq | pÉq | pºq |
Рассмотрим на примере, как строится таблица истинности для произвольной формулы. Пусть нам дано высказывание: «Если Иван-царевич и Марья любят друга, то неверно, что по крайней мере один из них не любит другого». Его переводом на язык КЛВ будет формула: (p&q) É Ø(ØpÚØq).
Алгоритм построения таблицы истинности:
1) Определить число строк (оно вычисляется по формуле k = 2 n , где k – количество строк, а n – число различных пропозициональных переменных, входящих в формулу).
2) Задать все комбинации совместной истинности/ложности пропозициональных переменных[1].
3) Вычислить (построчно) значение каждой подформулы и формулы в целом (используя данное выше табличное определение пропозициональных связок).
p | q | Øp | Øq | p&q | ØpÚØq | Ø(ØpÚØq) | (p&q) É Ø(ØpÚØq) |
В данной таблице всего четыре строки, поскольку формула содержит лишь две переменные – p и q. Первые два столбца задают все возможные комбинации совместной истинности и ложности этих переменных. Следующие пять столбцов показывают, каким будет значение каждой подформулы в той или иной строчке. Последний (результирующий) столбец показывает значение всей формулы в целом.
В зависимости от того, каким является результирующий столбец таблицы, выделяют три вида формул: тождественно-истинные, тождественно-ложные и логически случайные.
Тождественно-истинной (общезначимой) называется формула, принимающая значение «1» во всех строках таблицы.
Тождественно-ложной (невыполнимой) называется формула, принимающая значение «0» во всех строках таблицы.
Логически случайной (собственно выполнимой) называется формула, принимающая в некоторых строках таблицы значение «1», а в некоторых – «0».
В приведенном примере формула является тождественно-истинной. Она истинна всегда, независимо от того, истинны или ложны входящие в нее пропозициональные переменные. Другими словами, данная формула выражает собой логический закон.
Упражнение 2. установите табличным способом, к каким видам относятся следующие формулы:
Читайте также: