MZ
Modest Zvyagintsev
Формула (Q→R)→(P v Q→P v R) является (тавталогией, тождественно ложной, выполнимой)
Формула (Q→R)→(P v Q→P v R) является (тавталогией, тождественно ложной, выполнимой)
Формула (Q→R)→(P v Q→P v R) является (тавталогией, тождественно ложной, выполнимой)
строим таблицу истинности, получаем тавтологию