Символна логика със задачи, Латинов

Съдържание:

Първа част. Пропозиционална логика
Логическите съюзи
Тавтологии, противоречия, синтетични изрази
Логическо следване и логическа еквивалентност
Естествена дедукция
Логически трансформации
Втора част. Предикатна логика
Символиката на предикатната логика
Логическо следване и логическа еквивалентност
в областта на предикатната логика
Равенство и определени описания