Логика предикатов

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