D,x ≡ ting D,y ≡ ting p ≡ For alle x, hvis x er en dom, så er x’s sandhedsværdi relativ. Dx ≡ x er en dom. Fx ≡ x’s sandhedsværdi relativ Gxy ≡ x er sand for y. 1. For alle x, hvis x er en dom, så er x’s sandhedsværdi relativ. (Hypotese) (∀x)(Dx→Fx)…