Bir algoritma tasarımında "Tüm x değerleri için P(x) doğrudur" ifadesi hangi mantıksal yapıyla temsil edilir?