Do you mind translating that into English? Edit: I gather the translation is something like: For all x, predicate P is true of x. x is true. Therefore, predica

Do you mind translating that into English? Edit: I gather the translation is something like: For all x, predicate P is true of x. x is true. Therefore, predicate P is true of x.