Даны утверждения: число эн делится на три; число эн делится на два; число эн делится на четыре; число эн делится на шесть; число эн делится на двенадцать.

Даны утверждения: A(n) = {число n делится на 3}; B(n) = {число n делится на 2}; C(n) = {число n делится на 4}; D(n) = {число n делится на 6}; E(n) = {число n делится на 12}. Будет ли истинна формула логики предикатов ∃n(B(n)&C(n)┍D(n))?