Условно-категорическое умозаключение

Первая посылка – импликация, вторая – простое суждение

Н: если взлётная полоса покрыта льдом, то самолёты не могут взлетать
сегодня взлётная полоса покрыта льдом

сегодня самолёты не могут взлетать
утверждающий модус

первая посылка – импликация, вторая посылка – утверждение основания, в выводе утверждается следствие

Н: если вещество металл, то оно электропроводно

данное вещество это металл
данное вещество электропроводно

отрицающий модус

первая посылка – импликация, вторая посылка – отрицание следствия, вывод отрицание основания

Н: если вещество металл, то оно электропроводно
данное вещество не электропроводно
данное вещество не металл

Правила условно-категорического умозаключения.

Утверждать надо от основания к следствию, т.е. во второй посылке утверждающего модуса должно утверждаться основание импликации, а в выводе её следствие

Н: если слово стоит в начале предложения, то его надо писать с большой буквы

слово Москва надо писать с большой буквы

слово Москва всегда стоит в начале предложения.

2) отрицать надо от следствия к основанию, т.е. во второй посылке отрицательного модуса должно отрицаться следствие импликации, а в выводе её основание
Н: если слово стоит в начале предложения, то его надо писать с большой буквы
в данном предложении слово Москва не стоит в начале предложения

в данном предложении слово Москва не нужно писать с большой буквы.