0, 1и принимающей значения в том же множестве. Символом 0 обозначалось любое ложное высказывание, а символом 1 — любое истинное. Например, отрицание представляет собой в этом смысле функцию одного аргумента (x), которая принимает следующие значения: (0) = 1, (l) = 0; конъюнкция представляет собой функцию двух аргументов (x, у), принимающую следующие значения: (0, 0) = 0, (0, 1) = 0, (l, 0) = 0, (l, 1) = 1 и т.д. Известно, что каждая формула алгебры высказываний F( , ..., ) от n пропозициональных переменных , ..., определяет по существу некоторую функцию от n аргументов, сопоставляющую любому набору длины n, составленному из элементов двухэлементного множества
|