Список проголосовавших за комментарий "neLat, Ну не знаю, по-моему все четко. В дедукции все норм с конструкцией если посылы верные, операция верная (сама дедукция) и вывод верный. Ну вернее как, если посыл верный, то при дедукции и вывод будет верный. А тут что-то не клется — я четко разложил где может быть подвох и даже возможные варианты в рамках каждого из узлов предложил. Все чётка))."