F（A,B）=｛C∈生物全体｜Cは「AがBを殺しても良い」と思う｝
G（A,B)=｛C∈生物全体｜Cは「AがBを殺してはいけない」と思う｝
H（A,B)=生物全体-F(A,B)-G(A,B)
任意のA,Bに対し，F（A,B)とG（A,G)とH(A,B)は互いに背反で
F（A,B)∪G（A,B)∪H(A,B)＝生物全体．
「殺人がいくない」という命題は「任意のA,Bに対し,F(A,B)及びH(A,B)が空集合」
と仮定する．

この仮定の下で，
「殺人がいくない」ことが真であることは，
F(A,B)とH(A,B)が空集合であるということに言い換えられる．

同様に
「殺人をしても良い」という命題は「任意のA,Bに対し，G(A,B),H(A,B)が空集合」
と仮定する．

この仮定の下で，「殺人をしても良い」が真であることは，
G(A,B),H(A,B）が空集合であるということに言い換えられる．