Question

Записать на языке логики предикатов следующие высказывания:

Answer 1

Ответ:

$\forall \: n_{1} \in N \: \exist \: n_{2} \in N :n_{2} > n_{1}$

Пошаговое объяснение:

$\forall$

это квантор что значит "для любого"

N - множество натуральних чисел

n1,n2 это числа с N

$\exist$

это квантор существования что значит "существует"

в записи : значить "такое что"

$\in$

это значит "принадлежит"