Математическая логика

Вопрос по философской стороне формальной логики   0 ответов

Как дизъюнктивно и конъюнктивно разложить функцию по одной и двум переменным? Желательно с примерами   0 ответов

Разбиение множеств   1 ответ

При составлении разбиения множества мы получаем множество, состоящее из подмножеств, которые состоят из не повторяющихся элементов. При этом мы должны использовать все элементы исходного множества. Нужно ли при этом использовать пустое множество? Ведь пустое множество является подмножеством любого множества.

Доказательство теорем по символической логике   0 ответов

Долго ломаю голову, как доказать данную теорему. Не знаю, какой способ доказательства применить.

Помогите! Преобразовать формулу к ПНФ   0 ответов

∀x(A(x)→∃z(C(z) ) )&∀y(C(z)→B(y))→(A(x)→B(y))