Утверждающий и отрицающий модусы. Утверждающе-отрицающий и отрицающе-утверждающий модусы. Простые и сложные конструктивные и деструктивные дилеммы. Правила введения и удаления дизъюнкции, конъюнкции, эквивалентности и двойного отрицания.