Bolzano mantığın temel kavramı olan önermeler arasındaki “mantıksal sonuç” kavramını daha sonra Polonyalı mantıkçı ve matematikçi Alfred Tarski (1901-1983) tarafından geliştirilen tanıma da kaynak oluşturacak biçimde tanımlamayı başarmıştır. Bolzano’nun tanımına göre, B önermesinin A önermesinin sonucu olması demek, değişkenlerin A önermesini doğru yapacak biçimdeki her yorumunun B önermesini de doğru yapması demektir (Bolzano’nun tanımı aslında daha geneldir ve bir grup önermenin diğer bir grup önermenin sonucu olması durumunu da kapsamaktadır). Bu bilgilerden de anlaşıldığı gibi doğru cevap B’dir.