Записать следующие рассуждения в виде последовательности формул логики высказываний. Будет ли логичным рассуждение? Намеченная атака удастся, если захватить противника врасплох или его позиции плохо защищены. Захватить противника врасплох можно только,

1. Введение переменных

Обозначим простые высказывания:

• $A$: «Намеченная атака удастся».
• $B$: «Противник захвачен врасплох».
• $C$: «Позиции противника плохо защищены».
• $D$: «Противник беспечен».

2. Запись посылок и заключения

Переведем предложения с естественного языка на язык логики:

Посылка 1 ($P_1$): «Намеченная атака удастся, если захватить противника врасплох или его позиции плохо защищены». В логике «$A$, если $X$» записывается как $X \rightarrow A$.

Посылка 2 ($P_2$): «Захватить противника врасплох можно только, если он...