Informasi yang berkaitan dengan vi/Classical logic