Informasi yang berkaitan dengan vi/Khẳng định (logic)