Сделай Сам Свою Работу на 5

Формулы алгебры логики. Таблицы истинности.





 

2.1. Формулы алгебры логики. Из пропозицианальных переменных a, b, c ..., принимающих значения 1 или 0, с помощью знаков: Ø, &, Ú, ®, «, |, ¯, Å и с помощью скобок (как это делается в алгебре) можно строить и новые выражения, называемые формулами, которые определяются следующим образом:

а) всякая пропозициональная переменная есть формула;

б) Если F1 и F2 — формулы, то выражения ØF1, (F1&F2), (F1ÚF2), (F1®F2), (F1«F2), (F1|F2), (F1¯F2), (F1ÅF2) также являются формулами;

в) других формул, кроме построенных по правилам двух предыдущих пунктов, нет.

Обычно внешние скобки у формулы не пишут.

Формулы будем обозначать через заглавные буквы латинского алфавита: A, B, C, ... , A1, A2, …. Тот факт, что формула А составлена из пропозициональных переменных а1, а2, …, ап обозначается через А(а1, а2, …, ап).

Подформулой формулы называется всякая её часть, которая сама является формулой.

Например выражение: a®((Øb)«(a&c)) является формулой. Напомним, что знаки Ø, &, Ú, |, ¯, ®, «, Å называются логическими операциями. Сначала логические операции выполняются в скобках, затем вне скобок. Можно сэкономить число скобок, если считать, что при отсутствии скобок логические операции выполняются в следующем порядке: Ø, &, |, ¯, Ú, ®, «, Å. В силу этого соглашения предыдущую формулу можно записать в виде: a®(Øb«b&c). Заметим, что указанную пару скобок уже опустить нельзя.



Упражнение 2.1. Определите, является ли последовательность символов формулой:

а) ((p&q)r) ® Øs;

б) ((p«q)&r) ® (pÚr);

в) ((Øp®q) ® (r&(qÚs)));

г) ((pÚØq) ® (rØs));

д) (p ® (q&r®Øp));

е) Ø((Øpq) ® (pÚ(rs)));

ж) ((p&(Øq® r))Ú(( Øp«r)& Øq)).

Решение. а) Данная последовательность не является формулой. В самом деле, пропозициональные переменные p, q, и r согласно п. а) определения формулы являются формулами. Следовательно, согласно п. б) этого определения последовательность (p&q) будет формулой. Но следующая последовательность ((p&q)r) формулой не будет, так как входящие в нее формулы (p&q) и r не соединены ни одним из допустимых символов: &, Ú, ®, «, |, ¯, Å. Поэтому и данная последовательность формулой не является.



ж) Согласно п. а) и б) определения пропозициональные переменные p, q и r и выражения Øp, Øq, (Øq ® r), (Øp«r) будут формулами. Далее формулами будут выражения (p&(Øq®r)), ((Øp«r)&Øq)). Наконец, выражение ((p&(Øq®r))Ú ((Øp«r)&Øq)), представляющее собой данную последовательность, также является формулой.

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

а) p ® q& Ør Ú s;

б) p ®Øq Ú r ®Øp®Ør;

в) Øp & q ® r;

г) p ÚØq ®Ør&q;

д) Øp«ØqÚr &q.

Решение. д) Вот эти формулы (внешние скобки опущены):

(ØØp«Øq) Ú (r &q ); Ø(p« Ø((q Ú r)&q));

p«(Øq Ú r))&q Ø((p«Øq) Ú (r &q));

p«Ø(qÚr))&q ; Ø((p« Ø(qÚr))&q);

Ø(p«(ØqÚr))&q; Ø(p«(Ø(q Úr)&q));

Ø((p«Øqr)&q; Ø(p«Øq) Ú (r &q);

Ø((p«(ØqÚr))&q); Øp«((Øq Ú r)&q );

Ø(p«((Øq Ú r)&q)); Øp«(Ø(q Ú r)&q );

Ø(p«(Øq Ú (r &q))); Ø(p«Ø(q Ú r)) & q;

Ø(p«Ø(q Ú (r &q))).

2.3. Выпишите всевозможные подформулы каждой из следующих формул (согласно договоренности внешние скобки у формул опущены):

а) ((p « q) &Ør) ® (((p Ú q) ® p) ®Ør);

б) ((p Ú q) Ú Ør) & (ØpÚ(ØqÚr));

в) (p®q)®((p®Øq)®(p&q));

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

2.2. Таблицы истинности. Для нахождения значений формулы строится её таблица истинности. Заголовки таблицы представляют собой всевозможные подформулы формулы, образованные её логическими операциями в порядке их выполнения. Заголовки строк - это всевозможные наборы строк значений пропозициональных переменных. На пересечении строки и столбца стоит значение соответствующей подформулы на соответствующем наборе переменных. Всего можно составить 2п всевозможных наборов из 0 и 1, значит, и строк у таблицы будет столько же. Обычно наборы формируют следующим образом. Упорядочим переменные, входящие в формулу: (а, b, …, ), (а1, а2, …, ап), (x1, x2, …, xп) и т.д. (в зависимости от того, как они обозначены). Каждый упорядоченный набор представляет собой некоторую последовательность из нулей и единиц. Поэтому его можно рассматривать как некоторое число, записанное в двоичной системе. Располагая наборы в порядке возрастания соответствующих чисел, мы получим упорядочение наборов значений в так называемом лексикографическом порядке. Такое расположение удобно в первую очередь для того, чтобы безошибочно перечислить их всех.



Таблица истинности формулы А=a®(Øb«a&c) выглядит следующим образом

 

a b c Øb a&c Øb«a&c A(a, b, c)

 

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

 

a b c a ® b « a&c)
 
 
 
 
 
 
 
 

 

Формула содержащая хотя бы одну логическую операцию называется сложной (или составной). Например, формула рассмотренная в таблице 1, является составной. О составной формуле aÚa или формуле a®a говорят, что буква a имеет два вхождения в каждую из них.

Особый интерес представляют формулы, которые принимают только значения “истина” - 1, - или только значения “ложь” - 0.

Формулы

aÚ Øa, a&b®a (1)

принимают только значения 1, а формулы

a& Øaa&b®a (2)

принимают только значения 0.

Определение 5. Пусть А— произвольная формула. Если формула А при всевозможных логических значениях входящих в нее пропозициональных букв принимает только истинное значение 1, то она называется тавтологией, если же она принимает только ложное значение 0,то она называется противорачием. Если формула А, хотя бы для одного набора логических значений входящих в нее пропозициональных букв принимает значение1 (значение 0), то она называется выполнимой (опровержимой).

Например, формулы (1) являются тавтологиями, формулы (2) — противоречиями, а формула a&b является одновременно выполнимой и опровержимой.

Итак, чтобы проверить, является ли данная формула Атавтологией, достаточно для нее составить таблицу истинности. Если формула принимает только значения 1, то она является тавтологией. Если же хотя бы один раз она принимает значение 0, то она не является тавтологией.

Упражнение 2.4. Составьте таблицы истинности для следующих формул и укажите, какие из формул являются выполнимыми, какие — опровержимыми, какие тождественно-истинными (тавтологиями) и какие тождественно ложными (противоречиями):

а) (p®q)®((p®Øq)®Øp);

б) ((p®qpq;

в) p&(qÚØp))|((Øq®pq);

г) ((pqq)Å(p®q);

д) p&(q¯(ØpÚØq));

е) ((p®qqq;

ж) ((p ÚØqq)&(ØpÚq).

Решение. ж) Обозначим формулу через F(q, p). Составим таблицу истинности данной формулы:

 

p q Øq pÚØq (pÚØqq Øp ØpÚq F(q, p)

 

Из построенной таблицы истинности видно, что данная формула выполнима, так как, например, при p=1 и q=0 имеем F(q, p)=F(0,1)=1. Аналогично, формула является опровержимой, так как, например, F(0,0)=1.Следовательно, формула не является ни тавтологией, ни тождественно ложной формулой.

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

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

а) Ø(p®Øp);

б) (p®q)®(q®p);

в) (q®(p&r))&Ø((p Úrq);

г) Ø((p «Øqr)&q;

д) (p&q)®((rÚq)®(qq));

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

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

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

1) a&(a®bb (закон заключения);

2) ((a®b)&(b®c))®(a®c) (закон цепного заключения);

3) a&b®a;

4) a&b®b;

5) Ø(a&b)«ØaÚØb;

6) Ø(aÚb)«Øab;

7) ØØa«a (закон двойного отрицания);

8) (a®b)«(Øb®Øa) (закон контрапозиции);

9) (a®b)«(ØaÚb);

10) (a«b)«((a®b)&(b®a));

11) (a&(Øb®c)&(Øb®Øc))®(a®c);

12) ((Øb®c)&(Øb®Øc))®b;

13) (Øa®aa;

14) (Øa®ØØaa;

15) aÚØa (закон исключённого третьего);

16) Ø (aa) (закон отрицания противоречия);

17) (a&b)«(b&a);

18) (a&(b&c))«((a&b)&c);

19) (aÚb)«(bÚa);

20) (aÚ(bÚc))«((aÚbc);

21) (aÚ(b&c))«((aÚb)&(aÚc));

22) (a&(bÚc)) « ((a&b) Ú (a&c));

23) a®a;

24) a«a;

25) aÚ0«a;

26) a&0«0;

27) aÚ1«1;

28) a&1«a.

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

a Øa aÚØa

Упражнение 2.6. Доказать, что приведённые выше формулы 2) — 28) являются тавтологиями.

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

а) a®(b®a);

б) (a®b)®((a®(b®a))®(a®c));

в) a®(b®(a&b));

г) a®(aÚb);

д) (a&ba;

е) (a®(b&c))«((a®b)&(a®c));

ж) ((a®b)&(a®Øb))®Øa;

з) (a®c)®((b®c)®((a&bc;

и) (a®b)®((a®Øb)®Øa);

к) (a®b)Ú(b®a);

л) (a®b)®((b®a)®(a«b));

м) ((a®(b®aa;

н) (a«b)®(a®b);

о) (a®c)®((aÚb)®(cÚb));

п) (a®(b®c))®((a®b)®(a®c));

р) (a®(b®c))«((a&bc).

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

Высказывание (в каком-либо естественном языке, например, в русском), которое получается из какой-либо тавтологии посредством подстановки высказываний (или даже некоторых предложений) вместо пропозициональных переменных, при условии, что все вхождения одной и той же переменной заменяются одним и тем же высказыванием, называется логически истинным. О таком высказывании можно сказать, что оно истинно в силу одной только своей структуры. Примером логически истинного высказывания может служить высказывание русского языка “идет дождь или не идет дождь”, которое получается из тавтологии aÚØa подстановкой вместо буквы a предложения “идет дождь”.

Заметим, что следует отличать истинное высказывание от логически истинного высказывания. Например, высказывание “2·2=4” является истинным, но не является логически истинным. Высказывание “если 2·2=4, то 2·2=4” или же высказывание “если 2·2=5, то 2·2=5” являются логически истинными. Они получаются из тавтологии a®a. Эти высказывания можно считать также истинными. Вообще, всякое логически истинное высказывание можно считать истинным. Например, высказывание “идет дождь или не идет дождь” истинно, так как оно логически истинно.

Приведём теперь пример противоречия. Формула aa является противоречием. Действительно, её истинностная таблица имеет вид:

a Øa a&Øa

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

 

 

 








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



©2015 - 2024 stydopedia.ru Все материалы защищены законодательством РФ.