Abstract

ЧерезL 3 c обозначается множество выражений содержажееCpCqpCCCpqCrqCCqpCrpCCCpqCCqrqCCCpqppи замкнуто относительноmodus ponens и подстановки. Пусть Будет трёхзна-чной импликативной матрицей Лукасевича определённой следующим образомcxy=min(1,1−x+y);x,y ∈ {0,1/2, 1}. Б зтой работе доказана следующая теорема: . Идея доказательства происходит с довода Ассера, полноты класси-ческого исчисления высказываний. Приведенное здесь доказательство опирается на теореме Погожяьского, о дедукции для многозначных исчислений высказы-ваний и на теореме, Линденбаума