## MPF detectedへの変更の再検討(2)

(367.1)に、新しい記号の定義を示します。 $$\begin{eqnarray} \{\mathrm{IF^R_{prev}}\text{up at }t\}&:=&\{\mathrm{IF^R}\text{up at }t\ \cap\ \text{IF preventable}\}\\ \{\mathrm{IF^R_\overline{prev}}\text{up at }t\}&:=&\{\mathrm{IF^R}\text{up at }t\ \cap\ \overline{\text{IF preventable}}\}\tag{367.1} \end{eqnarray}$$ より、 $$\{\mathrm{IF^R}\text{up at }t\}=\{\mathrm{IF^R_{prev}}\text{up at }t\}\cup\{\mathrm{IF^R_\overline{prev}}\text{up at }t\}\tag{367.2}$$ が成立します。

You may use Markdown syntax. If you include an ad such as http://, it will be invalidated by our AI system.

Please enter the numbers as they are shown in the image above.