доказание секвенции, доказание секвенции |
Здравствуйте, гость ( Вход | Регистрация )
доказание секвенции, доказание секвенции |
sona91 |
9.6.2013, 16:47
Сообщение
#1
|
Новичок Группа: Пользователи Сообщений: 1 Регистрация: 9.6.2013 Город: ухта |
помогите,пожалуйста, доказать секвенцию:
(Ax(B(x)=>(C(x)vD(x)))=>(EyB(y)=>(EzC(z)vEtD(t)))) |
Текстовая версия | Сейчас: 19.4.2024, 19:41 |
Зеркало сайта Решебник.Ру - reshebnik.org.ru