For example, if we want to prove that every girl in the United States (A) has brown hair (B), we can try to directly prove A → B {\displaystyle A\to B} by checking all girls in the United States to see if they all have brown hair.
Наприклад, якщо ми хочемо довести, що кожна дівчина у США (А) — білявка (B), ми можемо спробувати безпосередньо довести, що , A → B {\displaystyle A\to B} перевіряючи усіх дівчат США, чи мають вони біляве волосся.