Bir doğal sayılar kümesi \(K = \{1, 2, 3, 4, 5, 6, 7\}\) veriliyor. "K kümesinde öyle bir \(x\) elemanı vardır ki, \(x+2\) sayısı 7'den küçüktür." ifadesini doğrulamak isteyen bir kişi, aşağıdaki mantıksal niceleyicilerden hangisini kullanarak bu ifadeyi sembolik olarak yazmalı ve doğrulamalıdır?
A) ` \(\forall\) x \(\in\) K, x+2 < 7`
B) ` \(\exists\) x \(\in\) K, x+2 < 7`
C) ` \(\forall\) x \(\in\) K,
eg (x+2 < 7)`
D) `
eg (\(\exists\) x \(\in\) K, x+2 < 7)`
E) ` \(\exists\)! x \(\in\) K, x+2 < 7` (Tek bir \(x\) elemanı vardır ki...)