Пусть k означает свойство «быть четным числом», p: «быть простым числом». Тогда высказывание «существуют нечетные простые числа» символически записывается так