|
$%\forall x A(x,y) \Rightarrow \exists y A(x,y)$% $%A(x,y) - x \vdots y$% $%x,y \in \mathbb{N}$% задан 13 Дек '17 10:42 
Asifer |
|
Посылка импликации задаёт одноместный предикат от y. Там сказано, что любое натуральное x делится на y. Это значит, что y=1. В заключении импликации сказано, что x имеет некоторый делитель y. Это всегда так, поскольку все числа делятся на 1. Таким образом, формула имеет примерно такой смысл: "если y=1, то x=x". Эта импликация всегда истинна, так как истинно её заключение. Я взял x=x в качестве типового примера высказывания, зависящего от x и всегда верного. отвечен 13 Дек '17 15:20 
falcao |