set A = {0,1};

0 in {0,1} by ZFMISC_1:32;

then consider a being Element of {0,1} such that

C1: a = 0 ;

1 in {0,1} by ZFMISC_1:32;

then consider b being Element of {0,1} such that

C2: b = 1 ;

take L = Values_with_TF(# {0,1},a,b #); :: thesis: L is consistent

thus L is consistent by C1, C2; :: thesis: verum

0 in {0,1} by ZFMISC_1:32;

then consider a being Element of {0,1} such that

C1: a = 0 ;

1 in {0,1} by ZFMISC_1:32;

then consider b being Element of {0,1} such that

C2: b = 1 ;

take L = Values_with_TF(# {0,1},a,b #); :: thesis: L is consistent

thus L is consistent by C1, C2; :: thesis: verum