Табличные методы для классической логики высказываний и классической логики предикатов