RT MK A1 Ayer, Alfred Jules T1 언어, 논리, 진리