"Toplamları 12 olan en az iki doğal sayı vardır."
önermesinin sembolik mantık diliyle yazılışı aşağıdakilerden hangisidir?
A) "3x, yeN, x + y = 12"
B) "Vx, уEN, x + y = 12"
C) "3XEN, VEN, x + y = 12"
D) "Vx, yEZ, x + y = 8"
E) "VxEN, 3уEN, x + y = 12"