[…] Aby sprawnie myśleć, trzeba wiedzieć, z jakiego zdania jakie zdanie wynika. Logika formalna – czyli logika  w węższym tego słowa znaczeniu – jest nauką o związkach zachodzących między prawdziwością czy fałszywością jakiś zdań ze względu na ich budowę, w szczególności o związku wynikania jednych zdań z drugich. (…)