Формулы алгебры высказываний. Предположим, что имеется некоторое множество элементарных высказываний (типа 2 х 2 = 4)

Предположим, что имеется некоторое множество элементарных высказываний (типа 2 х 2 = 4). Будем обозначать их начальными буквами латинского алфавита. Введем в рассмотрение высказывательные переменные – символы, вместо которых можно подставлять высказывания. Их будем обозначать последними буквами латинского алфавита (x, y, z,...).

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

П р и м е р ы.

Определение:

1. Элементарные высказывания, символы логических переменных – формулы;
2. Если F₁ и F₂ – формулы алгебры высказываний, то

Дата добавления: 2015-07-20