It trivially follows that I ⇒ P. We

It trivially follows that I ⇒ P. We now prove by induction that I holds at every state of the system.
Basis: Initially, n1 = 0, n2 = 0, t = 5, r = 5 so I holds.
Inductive step: Assume that I holds in the current state. We need to show that I will hold after the execution of every eligible guarded action in the program.

Результаты (русский) 1:

Тривиально следует, что я ⇒ стр. Мы теперь доказать путем индукции, хранящий в каждом штате системы.Основание: Первоначально, n1 = 0, n2 = 0, t = 5, r = 5 так, чтобы я.Индуктивная шаг: Предположим, что я держит в текущем состоянии. Мы должны показать, что я проведет после выполнения всех имеющих право охраняемом действий в программе.

Результаты (русский) 2:

Это тривиально следует , что я ⇒ P. Докажем по индукции , что я держит в каждом состоянии системы.
Основание: Первоначально n1 = 0, n2 = 0, т = 5, г = 5 , так что я справедливо.
Индуктивный шаг: Предположим , что я держит в текущем состоянии. Нам нужно показать , что я буду держать после выполнения каждого допущенного охраняемого действия в программе.

Результаты (русский) 3:

он trivially следующее, что я ⇒ p. теперь мы докажем вводных, что я занимает на каждое государство в рамках системы.основа: сначала N1 = 0, N2 = 0, t = 5, R = 5, так что я проводит.индуктивный шаг: предположим, что я проводит в настоящее время.мы должны показать, что я буду проводить после выполнения всех соответствующих охраняемых действий в программу.