Логика в действии: истинные высказывания