Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 16:57, 5 марта 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Existential generalization (Новая страница: «{{Английская Википедия/Панель перехода}} {{Infobox mathematical statement | name = Existential generalization | type = Rule of inference | field = Predicate logic | statement = There exists a member <math>x</math> in a universal set with a property of <math>Q</math> | symbolic statement = <math> Q(a) \to\ \exists{x}\, Q(x) ,</math> }} {{Transformation rules}} In predicate logic, '''existential generalization'''<r...»)