Каланăлăхсен шутлавĕ

Каланăлăхсен логики, пропозиционаллĕ логика (лат. propositio — «каланăлăх») е Каланăлăхсен шутлавĕ, çавăн пекех Нуль ретри логика — ку вăл символла логика уйрăмĕ, ансатраххисенчен тăракан кăткăс каланăлăхсене тата вĕсен шайлашулăхне тĕпчекенскер. Предикатсен логикипе танлаштарсан, пропозиционаллĕ логика ансат каланăлăхсен шалти тытăмне пăхса тухмасть, вăл мĕнле созсемпе тата мĕнле йĕркепе ансат каланăлахсем кăткăссисене тунине çеç кăтартать.

Çавăн пекех

• Пĕрремĕш ретри логика
• Дизъюнктивлă нормаллĕ форма
• Конъюнктивлă нормаллĕ форма

Литература

• Кондаков Н. И. Логический словарь / Горский Д. П.. — М.: Наука, 1971. — 656 с.
• Эдельман С. Л. Математическая логика. — М.: Высшая школа, 1975. — 176 с.
• Чупахин И. Я., Бродский И. Н. Формальная логика. — Ленинград: Издательство Ленинградского университета, 1977. — 357 с.
• Войшвилло Е. К., Дегтярев М. Г. Логика. — М.: ВЛАДОС-ПРЕСС, 2001. — 528 с. — ISBN 5-305-00001-7.
• Игошин В. И. Математическая логика и теория алгоритмов. — 2-е изд., стереотип.. — М.: Издательский центр «Академия», 2008. — 448 с. — ISBN 978-5-7695-4593-1.
• А. С. Карпенко. Логика высказываний // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
• Герасимов А. С. Курс математической логики и теории вычислимости. — СПб.: Издательство «ЛЕМА», 2011. — 284 с. — ISBN 978-5-98709-292-7.