ЛОГИКА ПРЕДИКАТОВ

Время: 25-02-2013, 11:40 Просмотров: 996 Автор: antonin
    
ЛОГИКА ПРЕДИКАТОВ
Логика предикатов формируется аналогично тому, как
это происходит относительно логики высказываний. При на-
личии определений логических констант — как логики вы-
сказываний, так и логики предикатов, — последняя опреде-
ляется введением понятий логического следования для фор-
мул ЯЛП и закона логики предикатов.

| распечатать

Другие новости по теме:

Другие новости по теме: