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

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

Асăрхавсем

Литература 
 Кондаков Н. И. Логический словарь / Горский Д. П.. — М.: Наука, 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.

 
Логика