Формулы логических высказываний и таблицы истинности.
Пусть p, q, r, s – это произвольные элементарные высказывания. С логической точки зрения это переменные, принимающие истинное или ложное значение. При помощи логических операций можно получить сложные (или еще более сложные) высказывания. Зная истинное значение элементарных высказываний, легко установить значение составленных сложных высказываний.
Определение формулы логики высказываний.
1. Символы логических констант И и Л являются формулами.
2. Каждое элементарное высказывание также является формулой.
3. Если j1 и j2 являются формулами, то формулами будут являться их отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция.
4. Других формул в логике высказываний нет.
Другими словами, формулой логики высказываний называют конечную последовательность букв, знаков логических операций и скобок, выражающих структуру высказываний. Скобки в формуле могут указывать на порядок следования операций. Для упрощения записи и уменьшения числа скобок принят следующий порядок:
1) отрицание;
2) конъюнкция;
3) дизъюнкция;
4) импликация;
5) эквиваленция.
Если задана некоторая формула и все ее переменные приняли какое-либо значение, то формула также принимает некоторое значение, т.е. истина или ложь. Каждому набору значений соответствует некоторое истинное значение всей формулы. Для установления этого соответствия используют таблицы истинности, которые составляются по следующим правилам:
|
|
|
1. В первой строке таблицы выписываются все переменные высказывания и все подформулы, начиная с простых и заканчивая самой формулой. Для каждой записи заготавливается столбец.
2. Высказывательным переменным даются все возможные наборы значений по правилу:
ü для первой переменной половина строчек ИСТИНА, половина – ЛОЖЬ;
ü для второй – ¼ строчек ИСТИНА, ¼ строчек ЛОЖЬ, ¼ строчек ИСТИНА, ¼ строчек ЛОЖЬ;
ü для третьей - ⅛ строчек ИСТИНА, ⅛ строчек ЛОЖЬ и т.д.
ü для последней переменной значения задаются чередованием И, Л, И, Л.
ü Количество строк в таблице – 2n, где n – число элементарных высказываний.
3. Все остальные столбцы заполняются в соответствии с указанными операциями.
Запишем таблицы истинности для логических операций:
Дата добавления: 2015-12-17; просмотров: 17; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!