For elementary propositions there are 冢κ冣 Kn k= ways in which a proposition can agree and disagree with their truth possibilities We can express agreement with truth possibilities by correlating the mark 'T' (true) with them in the schema.