Pošalji tekstualnu poruku: Reasoning and formal logic :