Should university students know about formal logic