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

Предикатсен логикипе танлаштарсан, пропозиционаллĕ логика ансат каланăлăхсен шалти тытăмне пăхса тухмасть, вăл мĕнле созсемпе тата мĕнле йĕркепе ансат каланăлахсем кăткăссисене тунине çеç кăтартать.

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

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